Lógica e Especificação

Avisos

Datas importantes

Atenção: essas datas constam de uma previsão e podem sofrer alterações.

Resultados de testes

Slides

• Aula 0

Listas de exercícios

• Gradiance (Class Token: AFB5B45E)

Ferramentas

• Tableaux Prover
• PDL Tableaux
• nuXmv
• Truth Table Generator
• Tree Proof Generator
• Logic++

Bibliografia

• Enderton, H. B. (1972). A mathematical introduction to logic. Academic press New York
• Smullyan, Raymond M. (2009). Lógica de Primeira Ordem. Editora Unesp
• Restall, Greg (2006). Logic: An introduction. Série Fundamentals of Philosophy. John Shand (editor). Routledge
• van Dalen, Dirk (2004). Logic and structure. Springer
• Goldblatt, Robert (1992). Logics of time and computation. 2a. Ed. Center for the Study of Language and Information
• Open Logic Project (2017). The Open Logic Text.
• Mortari, Cezar (2016). Introdução à lógica. Editora UNESP
• Rangel, José Lucas (2001). "Conjuntos, Funções e Relações" em Linguagens Formais e Autômatos.