- 19/08, 26/08, 02/09 e 09/09: Noções básicas de LaTeX
- 23/09, 30/09 e 07/10: A tradução da lógica proposicional clássica na lógica proposicional intuicionista.
- 21/10: Teoria ingênua dos conjuntos
- 04/11: O Paradoxo de Russell
- 11/11: Cantor e o conceito de infinito
- 18/11: Propriedades de conjuntos definíveis na lógica de primeira ordem
- 25/11, 02/12 e 09/12: Modalidades e lógica modal
LoTTec
Lógica – Teorias e Técnicas