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
- 10 Ago
- Introdução ao curso
- Slides
- 12 Ago
- 17 Ago
- 19 Ago
- Resolução via SAT