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
- 09 Mar
- Introdução ao curso
- Slides
- 11 Mar
- 16 Mar
- 18 Mar
- Resolução via SAT