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
- Sem aula
- 01 Sep
- Resolução via SAT
Tópico 05 - Indução e Recursão
- 20 Out
- 22 Out
- 27 Out
- Sem aula
- 30 Out
- Aula de dúvidas
- 01 Nov
- Prova 2
- 03 Nov
- 05 Nov
- 10, 12 Nov
- 17, 19 Nov
- 24 Nov
- Circuitos e SAT
- 26 Nov
- Aula de dúvidas
- 29 Nov
- Prova 3
- 01 Dez
- Prova substitutiva
- 10 Dez
- Exame Especial