Prova 1: 24/08/2021 - Questão aberta
| Julho | |
| 13 | Apresentação do curso |
| 13, 15 | Sentenças declarativas - Quadros: 13 15 |
| 20, 22, 27, 29 | Dedução natural - Quadros: 20 22 27 29 |
| Agosto | |
| 3 | Lógica proposicional como uma linguagem formal - Quadro: 3 |
| 5, 10, 12, 17 | Semântica da lógica proposicional - Quadros: 5 10 12 17 |
| 19 | Formas normais - Quadro: 19 |
| 24 | Prova 1 |
| 26, 31 | Predicados, variáveis, quantificadores, funções e termos - Quadros: 26 31 |
| Setembro | |
| 2 - Quadros: 2 | Lógica de predicado como uma linguagem formal |
| 7 | Feriado: dia independência |
| 9, 14, 16 | Teoria da Prova e lógica de predicados - Quadros: 9 14 16 |
| 21, 23, 28 | Semântica da lógica de predicados - Quadros: 21 23 28 |
| 30 | Indecibilidade da lógica de predicados - Quadros: 30 |
| Outubro | |
| 5 | Indecibilidade da lógica de predicados - Quadros: 5 |
| 7 | Revisão - Parte 1 |
| 12 | Feriado: nossa senhora |
| 14 | Revisão - Parte 2 |
| 19 | Prova 2 |
| 21 | Prova Final |