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
- 14 Ago
- Introdução ao curso
- Slides
- 18 Ago
- 25 Ago
- 27 Ago
- Resolução via SAT