Livro "LÓGICA PARA PROGRAMAÇÃO"
Texto com a matéria dada nesta disciplina.Livro "LÓGICA PARA PROGRAMAÇÃO"
Texto com a matéria dada nesta disciplina.Aulas Práticas
Exercícios a resolver em casa, para serem discutidos nas aulas práticas.- Aula 1
- Aula 10
- Aula 11
- Aula 11 - ex. 11.6 resolvido
- Aula 12
- Aula 13
- Aula 2
- Aula 3
- Aula 4
- Aula 5
- Aula 6
- Aula 7
- Aula 8
- Aula 9
- Aula 1
- Aula 10
- Aula 11
- Aula 11 - ex. 11.6 resolvido
- Aula 12
- Aula 13
- Aula 2
- Aula 3
- Aula 4
- Aula 5
- Aula 6
- Aula 7
- Aula 8
- Aula 9
Aulas Teóricas
- Slides - capítulo 1 - conceitos básicos
- Slides - capítulo 2 - lógica proposicional - OBDDs
- Slides - capítulo 2 - lógica proposicional - parte 1
- Slides - capítulo 2 - lógica proposicional - parte 2
- Slides - capítulo 2 - lógica proposicional - parte 3
- Slides - capítulo 2 - lógica proposicional - parte 4
- Slides - capítulo 3 - LPO - intro
- Slides - capítulo 3 - LPO - sistema dedutivo I
- Slides - capítulo 3 - LPO - sistema dedutivo II
- Slides - capítulo 3 - LPO - sistema semântico
- Slides - capítulo 4 - Progração em Lógica
- Slides - capítulo 5 - Corte e Negação
- Slides - capítulo 5 - Exemplos
- Slides - capítulo 5 - Prolog básico
- Slides - capítulo 5 - Semântica do Prolog e Listas
- Slides-apresentação
- Slides - capítulo 1 - conceitos básicos
- Slides - capítulo 2 - lógica proposicional - OBDDs
- Slides - capítulo 2 - lógica proposicional - parte 1
- Slides - capítulo 2 - lógica proposicional - parte 2
- Slides - capítulo 2 - lógica proposicional - parte 3
- Slides - capítulo 2 - lógica proposicional - parte 4
- Slides - capítulo 3 - LPO - intro
- Slides - capítulo 3 - LPO - sistema dedutivo I
- Slides - capítulo 3 - LPO - sistema dedutivo II
- Slides - capítulo 3 - LPO - sistema semântico
- Slides - capítulo 4 - Progração em Lógica
- Slides - capítulo 5 - Corte e Negação
- Slides - capítulo 5 - Exemplos
- Slides - capítulo 5 - Prolog básico
- Slides - capítulo 5 - Semântica do Prolog e Listas
- Slides-apresentação