S/Q	Data	Atividade
Q	01/08/2007	Apresentação; Prolog - Fatos, regras, perguntas, variáveis.
S	06/08/2007	Prolog - Sintaxe, unificação, aritmética.
Q	08/08/2007	Prolog - Estruturas: funtores, aridade, listas.
S	13/08/2007	Prolog - Uso de recursão.
Q	15/08/2007	Prolog - Ressatisfação e corte.
S	20/08/2007	Prolog - Entrada/saída e depuração.
Q	22/08/2007	Prolog - Alguns predicados pré-definidos.
S	27/08/2007	Prolog - Gramáticas.
Q	29/08/2007	Prolog - Exercícios.
S	03/09/2007	Prolog - Revisão.
Q	05/09/2007	Prolog - PROVA
S	10/09/2007	Lisp - Motivação; padrão Common Lisp; interpretador
Q	12/09/2007	Lisp - Elementos da linguagem
S	17/09/2007	Lisp - Estrutura da linguagem
Q	19/09/2007	Lisp - Variáveis: valores, atribuição; Recursão: método do quadradão
S	24/09/2007	Lisp - Exercícios
Q	26/09/2007	Lisp - Aritmética: precisão infinita, operações, números complexos
S	01/10/2007	Lisp - Funções, macros. Condicionais. Predicados. (desist. mat.: 01/10)
Q	03/10/2007	Lisp - Algumas funções pré-definidas.
S	08/10/2007	Lisp - Funções para conjuntos. Arrays. (aval.curso:09/10)
Q	10/10/2007	Lisp - Módulos. Exercícios.
S	15/10/2007	Lisp - Revisão.
Q	17/10/2007	Lisp - PROVA
S	22/10/2007	Java - Classes e objetos: instâncias, ponteiros, referências.
Q	24/10/2007	Java - Encapsulamento: private, public, package, protected.
S	29/10/2007	Java - Herança: reuso de código; herança de implementação.
Q	31/10/2007	Java - Classes abstratas e acoplamento dinâmico.
S	05/11/2007	Java - Polimorfismos e sobrecarga.
Q	07/11/2007	Java - Interfaces.
S	12/11/2007	Java - Tratamento de exceções.
Q	14/11/2007	Java - Threads.
S	19/11/2007	Não haverá aulas
Q	21/11/2007	Java - Exercícios.
S	26/11/2007	Java - Revisão.
Q	28/11/2007	Java - PROVA
S	03/12/2007	Semana de estudos
Q	05/12/2007	Semana de estudos
S	10/12/2007	Exame outras disciplinas
Q	12/12/2007	Exame MC336