CAIA013 - Lógica para Computação
Carga horária: 45 horas-aula (3 créditos)
Ementa: Introdução à Lógica Computacional. Aplicações de Lógica na Computação. Sintaxe e semântica da lógica proposicional. Sistemas dedutivos para lógica proposicional. Formalização e verificação de argumentos em lógica proposicional. Sintaxe e semântica da lógica de predicados. Pesquisa em Lógica para Computação. Implementação de provadores automáticos de teoremas.
Bibliografia:
- SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. Segunda edição. São Paulo, SP: Thomson, 2017. x, 234 p. ISBN 8522105170.
- HUTH, Michael; RYAN, Mark. Lógica em ciência da computação: modelagem e argumentação sobre sistemas . 2. ed. Rio de Janeiro, RJ: LTC, 2008. x, 322 p. ISBN 9788521616108.
- ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo, SP: Nobel, c1975. 203 p. ISBN 852130403X.
- GALLIER, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. 2003. Disponível em: http://www.cis.upenn.edu/~jean/gbooks/logic.html.
- BARLAND, Ian; et alli. Intro to Logic. Disponível: http://cnx.org/content/col10154/latest/.
- BRODA, Krysia; EISENBACH, Susan; KHOSHNEVISAN, Hessam; VICKERS, Steve. Reasoned Programming. Prentice-Hall, 1994. Disponível em: http://www.doc.ic.ac.uk/pandora/firstyearbook.pdf.
- CONIGLIO, Marcelo; CARNIELLI, Walter A.; BIANCONI, Ricardo. Lógica e Aplicações (em andamento). Disponível em: http://www.cle.unicamp.br/prof/coniglio/LIVRO.pdf . Acesso em: 12 dez. 2008.
- SOUZA, João Nunes de. Lógica para ciência da computação: fundamentos de linguagem, semântica e sistemas de dedução. Rio de Janeiro: Campus, 2002. 308 p. ISBN 85-352-1093-8
- Artigos científicos da área.