| Aulas | Data | Assunto |
| 1 e 2 | 26/04/2007 | Apresentação da disciplina, plano de aula, sistema de avaliação |
| 3 e 4 | 30/04/2007 | Conjuntos, Relações, Fecho de uma Relação |
| 5 e 6 | 03/05/2007 | Prova por Contradição, Indução |
| 7 e 8 | 07/05/2007 | Alfabeto, Palavras, Linguagens e Gramáticas |
| 9 e 10 | 10/05/2007 | Máquinas de Estados Finitos, Autômato Finito Determinístico (DFA), Linguagens Regulares |
| 11 e 12 | 14/05/2007 | Autômatos Finitos Não-Determinísticos (NFA) |
| 13 e 14 | 17/05/2007 | Equivalência entre DFAs e NFAs |
| 15 e 16 | 21/05/2007 | Expressões Regulares / Linguagens Regulares |
| 17 e 18 | 24/05/2007 | Equivalência entre Expressões Regulares e NFAs |
| 19 e 20 | 28/05/2007 | Gramáticas Regulares |
| 21 e 22 | 31/05/2007 | Revisão para a prova |
| 23 e 24 | 04/06/2007 | 1o prova |
| 25 e 26 | 11/06/2007 | Linguagens Não-Regulares e Lema da Iteração para Linguagens Regulares |
| 27 e 28 | 14/06/2007 | Aplicação do Lema da Iteração para Linguagens Regulares |
| 29 e 30 | 18/06/2007 | Gramáticas Livre de contexto (GLC) e Árvore de Derivação |
| 31 e 32 | 21/06/2007 | Forma Normal de Chomsky |
| 33 e 34 | 25/06/2007 | Forma Normal de Chomsky (cont.) |
| 35 e 36 | 28/06/2007 | Autômatos com Pilha (AFP) |
| 37 e 38 | 30/06/2007 | Computação de um AFP (integralização de 07/07/07) |
| 39 e 40 | 02/07/2007 | Equivalência entre AFP e GLC |
| 41 e 42 | 05/07/2007 | Equivalência entre AFP e GLC (cont.) |
| 43 e 44 | 09/07/2007 | Revisão para a prova |
| 45 e 46 | 12/07/2007 | 2o prova |
| 47 e 48 | 14/07/2007 | Correção da 2o prova (integralização de 26/07/07) |
| 49 e 50 | 16/07/2007 | Lema da Iteração para LLC |
| 51 e 52 | 19/07/2007 | Aplicação do Lema da Iteração para LLC |
| 53 e 54 | 23/07/2007 | Máquina de Turing: Introdução e Definição |
| 55 e 56 | 30/07/2007 | Máquina de Turing: Computação e Exemplos |
| 57 e 58 | 02/08/2007 | Linguagens Recursivas e Recursivamente Enumeráveis. Hierarquia de Chomsky e Tese de Church-Turing |
| 59 e 60 | 06/08/2007 | Revisão para a prova |
| 61 e 62 | 09/08/2007 | 3o prova |
| 63 e 64 | 13/08/2007 | Correção da 3o prova |
| 65 e 66 | 16/08/2007 | Introdução a Teoria da Computação |
| 67 e 68 | 20/08/2007 | Recuperação dos alunos com rendimento inferior a 60 pontos |