| Aulas | Data | Assunto |
| 1 | 22/02/2010 | Introdução a Lógica Matemática - Formalismo |
| 2 | 24/02/2010 | Sentenças e Tabelas Verdade |
| 3 | 26/02/2010 | Implicações Lógicas, Equivalências |
| 4 | 01/03/2010 | Quantificadores e Fórmulas |
| 5 | 03/03/2010 | Noções Básicas de Demonstração: Vacuidade, Contradição, Construção |
| 6 | 05/03/2010 | Noções Básicas de Demonstração: Vacuidade, Contradição, Construção |
| 7 | 08/03/2010 | Noções Básicas de Demonstração: Vacuidade, Contradição, Construção |
| 8 | 10/03/2010 | Introdução à Teoria dos Conjuntos |
| 9 | 12/03/2010 | Definições |
| 10 | 15/03/2010 | Os Axiomas |
| 11 | 17/03/2010 | Operações Elementares |
| 12 | 22/03/2010 | Propriedades |
| 13 | 24/03/2010 | Exercícios |
| 14 | 26/03/2010 | Revisão para a Prova |
| 15 | 29/03/2010 | 1o prova (lógica, demonstrações e teoria dos conjuntos) |
| 16 | 31/03/2010 | Relações, Funções e Ordens - Pares Ordenados |
| 17 | 05/04/2010 | Relações Binárias em um Conjunto |
| 18 | 07/04/2010 | Equivalências e Partições |
| 19 | 09/04/2010 | Ordens Parciais |
| 20 | 12/04/2010 | Ordens Parciais |
| 21 | 14/04/2010 | Funções |
| 22 | 16/04/2010 | Funções |
| 23 | 19/04/2010 | Cardinalidade de Conjuntos - Números Naturais |
| 24 | 23/04/2010 | Números Naturais |
| 25 | 26/04/2010 | Princípio da Indução Matemática |
| 26 | 28/04/2010 | Princípio da Indução Matemática |
| 27 | 30/04/2010 | Exercícios |
| 28 | 03/05/2010 | Revisão para prova |
| 29 | 05/05/2010 | 2o prova (relações, funções, ordens parciais e indução matemática) |
| 30 | 07/05/2010 | Princípio da Casa dos Pombos |
| 31 | 10/05/2010 | Conjuntos Infinitos |
| 32 | 12/05/2010 | Conjuntos Infinitos |
| 33 | 14/05/2010 | Sequências e Recorrências |
| 34 | 17/05/2010 | Contagem - Princípio da Inclusão e Exclusão |
| 35 | 19/05/2010 | Permutações e Combinações |
| 36 | 21/05/2010 | Permutações e Combinações |
| 37 | 24/05/2010 | Permutações e Combinações |
| 38 | 26/05/2010 | Probabilidade Discreta |
| 39 | 28/05/2010 | Probabilidade Discreta |
| 40 | 31/05/2010 | Exercícios |
| 41 | 02/06/2009 | Revisão para a prova |
| 42 | 04/06/2009 | 3o prova (indução matemática, conjuntos infinitos, permutações, combinações, probabilidade) |
| 43 | 07/06/2009 | Exercícios |
| 44 | 09/06/2009 | Exercícios |
| 45 | 11/06/2009 | Exercícios |
| 46 | 14/06/2009 | 4o prova (substitutiva) (toda matéria vista) |
| 47 | 16/06/2009 | Exercícios |
| AF | 18/06/2009 | AF |
| AF | 21/06/2009 | AF (2o chamada) |