| Abril | |
| 4 - 6 | Semana dos calouros (Não haverá aula) |
| 11 | Apresentação do curso |
| 11 - 13 | Sentenças declarativas |
| 18 - 25 | Dedução natural (Quadros: 18/04/2023, 27/04/2023) |
| 27 | Lógica proposicional como uma linguagem formal |
| Maio | |
| 2 |
Quiz 1 Entrega da Lista 1 |
| 4 - 16 | Semântica da lógica proposicional (Quadros: 04/05/2023) |
| 18 | Formas normais |
| 23 | Revisão |
| 25 | Questão aberta 1
Quiz 2 Entrega da Lista 2 |
| 30 | Predicados, variáveis, quantificadores, funções e termos |
| Junho | |
| 1 | Predicados, variáveis, quantificadores, funções e termos |
| 6 - 8 | Não haverá aula |
| 13 | Lógica de predicado como uma linguagem formal |
| 15 - 27 | Teoria da Prova e lógica de predicados |
| 29 |
Quiz 3
Entrega da Lista 3 Semântica da lógica de predicados |
| Julho | |
| 4 - 6 | Semântica da lógica de predicados |
| 11 | Revisão |
| 13 | Questão aberta 2
Quiz 4 Entrega da Lista 4 |
| 18 | Revisão |
| 20 | Prova Final |