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
- 17 Mar
- Introdução ao curso
- Slides
- 19 Mar
- 24 Mar
- 26 Mar
- Resolução via SAT