COPPE/Departamento de Engenharia de Sistemas e Computação
Lógica Matemática
Material de apoio:
Apostila do Prof. Mario Benevides
Notas de aula sobre Lógica (baseadas no livro do Russell, caps 6,
7 e 9):
- Fundamentos
- Lógica Proposicional e de Primeira Ordem
- Lógica de Primeira Ordem (cont.)
- Lógica de Primeira Ordem (cont.)
- Lógica de Primeira Ordem (cont.)
- Exercícios sugeridos em lógica proposicional (livro do
Russel and Norvig, cap 6: 1, 2, 3, 4, 5, 7, 8, 9, 10, 12, 13 e 16)
Sobre Prolog: