| Abril | |
| 12, 14 | Semana dos calouros |
| 12, 19 | Apresentação do curso |
| 19 | Sentenças declarativas |
| 21 | Feriado de Tiradentes |
| 26, 28 | Dedução natural - Aula excepcionalmente remota |
| Maio | |
| 3 | Dedução natural - Aula excepcionalmente remota Quadro |
| 5 | Dedução natural |
| 10 | Dedução natural Entrega da Lista 1 |
| 12 | Lógica proposicional como uma linguagem formal Quiz 1 |
| 17, 19, 24, 26 | Semântica da lógica proposicional |
| 31 | Formas normais |
| Junho | |
| 2 | Questão aberta 1
Entrega da Lista 2 (até 10h) Quiz 2 |
| 7,9 | Predicados, variáveis, quantificadores, funções e termos |
| 14 | Lógica de predicado como uma linguagem formal |
| 16 | Feriado de Corpus Christi |
| 21, 23 | Teoria da Prova e lógica de predicados |
| 28 | Teoria da Prova e lógica de predicados Entrega da Lista 3 |
| 30 | Semântica da lógica de predicados Quiz 3 |
| Julho | |
| 5 | Indecibilidade da lógica de predicados |
| 7 | Não haverá aula |
| 12 | Revisão |
| 14 | Não haverá aula |
| 19 | Questão aberta 2 Quiz 4 Entrega da Lista 4 (até 10h) |
| 21 | Revisão |
| 26 | Prova Final |