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.