T/Q	Data	Atividade
Ter	18/08/2009	Apresentação
Qui	20/08/2009	Lisp - Motivação; padrão Common Lisp; interpretador
Ter	25/08/2009	Lisp - Elementos da linguagem
Qui	27/08/2009	Lisp - Estrutura da linguagem
Ter	01/09/2009	Lisp - Variáveis: valores, atribuição; Recursão: método do quadradão
Qui	03/09/2009	Lisp - Aritmética: precisão infinita, operações, números complexos
Ter	08/09/2009	Lisp - Funções, macros. Condicionais. Predicados.
Qui	10/09/2009	Exercícios
Ter	15/09/2009	Exercícios
Qui	17/09/2009	Lisp - Algumas funções pré-definidas.
Ter	22/09/2009	Lisp - Funções para conjuntos. Arrays.
Qui	24/09/2009	Lisp - Exercícios de Programação.
Ter	29/09/2009	Lisp - PROVA
Qui	01/10/2009	Prolog - Sintaxe, unificação, aritmética.
Ter	06/10/2009	Prolog - Estruturas: funtores, aridade, listas.
Qui	08/10/2009	Prolog - Uso de recursão.
Ter	13/10/2009	Prolog - Ressatisfação e corte.
Qui	15/10/2009	Prolog - Entrada/saída e depuração. (desist. mat.: 15/10)
Ter	20/10/2009	Exercícios. (aval.curso: 20/10)
Qui	22/10/2009	Prolog - Alguns predicados pré-definidos. (congresso IC: 23-24/09)
Ter	27/10/2009	Prolog - Gramáticas.
Qui	29/10/2009	Prolog - Exercícios.
Ter	03/11/2009	Prolog - Exercícios de Programação.
Qui	05/11/2009	Prolog - PROVA (tranc.: 05/11)
Ter	10/11/2009	Java - Classes e objetos: instâncias, ponteiros, referências.
Qui	12/11/2009	Java - Encapsulamento: private, public, package, protected.
Ter	17/11/2009	Java - Herança: reuso de código; herança de implementação.
Qui	19/11/2009	Java - Classes abstratas e acoplamento dinâmico.
Ter	24/11/2009	Java - Polimorfismos e sobrecarga.
Qui	26/11/2009	Java - Interfaces.
Ter	01/12/2009	Java - Tratamento de exceções.
Qui	03/12/2009	Java - Threads.
Ter	08/12/2009	Não haverá atividades
Qui	10/12/2009	Java - Exercícios de Programação.
Ter	15/12/2009	Comparação entre as três linguagens
Qui	17/12/2009	Java - PROVA
Ter	22/12/2009	Exame
Qui	24/12/2009	Não haverá atividades