CAIA013 - Lógica para Computação

Publicado 8/30/2021, 2:06:31 PM, última modificação 8/30/2021, 2:08:12 PM

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.