Aulas
Esta págica contém as aulas previamente ministradas e notas de aulas, além de leituras a serem feitas.
Capítulos e seções nas notas de aula são do livro-texto, exceto quando especificado de outra forma.
Tópico 01 - Lógica proposicional
- 11 Mar
- Introdução ao curso
- Slides
- 13 Mar
- 18 Mar
- 20 Mar
- Resolução via SAT
- 25, 27 Mar
- 27 Mar, 01 Abr
Tópico 02 - Lógica de Predicados e Métodos de Demonstração
- 03 Abr
- Sem aula (paralização dos professores)
- 08, 10 Abr
- 10 Jun
- Revisão
- 12 Jun
- Lógica de predicados
- 17, 19 Jun
- 31 Jul, 04 Ago
- 07, 12 Ago