|
Universidade
Federal de Uberlândia |
Luiz Gustavo Almeida Martins
·
Material sobre
Lógica Proposicional
·
Exercícios
complementares:
- Lógica
Proposicional:
1.
Conjunto
completo de conectivos
2.
Formas
normais
- Lógica
de Predicados:
1.
Sintaxe
·
NOTAS
·
Bibliografia:
o
Livro
Texto:
1.
João
Nunes de Souza, Lógica para Ciência da
Computação: uma visão concisa, 2ª ed., editora Elsevier-Campus,
2008.
- Resumo Livro – Principais
Definições
- Errata e algumas
respostas de exercícios
o
Bibliografia
Auxiliar:
1.
Guilherme
Bittencourt, Inteligência Artificial: Ferramentas
e Teorias, 3ª ed., editora da UFSC, 2006.
2. Melvin Fitting, First-order
Logic and Automated Theorem Proving, Springer Verlag,
1990.
3. C. Chang, R. Lee, Symbolic
Logic and Mechanical Theorem Proving, Academic Press, 1973.