| INE 5363 - Programação Funcional - Plano de Ensino 2007.1 | |||||
|
Aula Nº
|
Data
|
|
Assunto | Trabalho passado em Aula | Data Entrega |
| Capítulo 1: Cálculo Lambda | |||||
|
1
|
19/3/2007
|
Aldo | Aula
introdutória e apresentação do plano de ensino.
Aula 1.1: Introdução e Conceitos Básicos |
||
|
2
|
26/3/2007
|
Martin | Aula 1.2: Semântica Operacional do Cálculo Lambda | 1ª Lista de Exercícios de Calculo Lambda |
9/4/2007
|
|
3
|
2/4/2007
|
Martin | Aula 1.3: Ordem de Redução e Funções Recursivas em Cálculo Lambda | 2ª Lista de Exercícios de Calculo Lambda |
16/4/2007
|
|
4
|
9/4/2007
|
Martin | Aula 1.4: Semântica Denotacional do Cálculo Lambda e Resolução de Exercícios | 3ª Lista de Exercícios de Calculo Lambda |
23/4/2007
|
| Capítulo 2: LISP | |||||
|
5
|
16/4/2007
|
Aldo | Aula
2.1: Introdução a LISP
http://www.inf.ufsc.br/~awangenh/func/lisp1.html |
1º
Exercício de LISP
http://www.inf.ufsc.br/~awangenh/func/lisp1.html#Exercicio |
30/4/2007
|
|
6
|
23/4/2007
|
Aldo e Martin | Aula
2.2: Funções e Estruturas em LISP
http://www.inf.ufsc.br/~awangenh/func/lisp2.html |
2º
Exercício de LISP
http://www.inf.ufsc.br/~awangenh/func/lisp2.html#Heading12 |
7/5/2007
|
|
7
|
30/4/2007
|
Aldo | Aula
2.3: LISP Avançado e Funções de Ordem Superior
http://www.inf.ufsc.br/~awangenh/func/lisp3.html |
3º
Exercício de LISP (2 Listas)
http://www.inf.ufsc.br/~awangenh/func/lisp3.html#Heading9 e http://www.inf.ufsc.br/~awangenh/func/lisp4.html |
14/5/2007
|
|
8
|
7/5/2007
|
Aldo e Martin | Aula
2.4: Aplicações de LISP: Matemática Discreta
http://www.inf.ufsc.br/~awangenh/func/lisp5.html |
4º
Exercício de LISP: Dijkstra ou outro
http://www.inf.ufsc.br/~awangenh/func/lisp5.html#Heading3 |
21/5/2007
|
|
9
|
14/5/2007
|
Aldo e Martin | Aula
2.5: Orientação a Objetos e LISP
http://www.inf.ufsc.br/~awangenh/func/clos.html |
5º
Exercício de LISP
http://www.inf.ufsc.br/~awangenh/func/clos.html#Heading9 |
28/5/2007
|
|
10
|
21/5/2007
|
Aldo e Martin | Aula
2.6: LISP e Inteligência Artificial
http://www.inf.ufsc.br/~awangenh/func/ia.html |
Trabalho Final de LISP |
16/7/2007
|
|
11
|
28/5/2007
|
Martin | Aula 2.7: Solucionamento de Dúvidas sobre os trabalhos | ||
| Capítulo 3: Haskell | |||||
|
12
|
4/6/2007
|
Dovicchi | |||
|
13
|
11/6/2007
|
Dovicchi | |||
|
14
|
18/6/2007
|
Dovicchi | |||
|
15
|
25/6/2007
|
Dovicchi | |||
|
16
|
2/7/2007
|
Dovicchi | |||
|
17
|
9/7/2007
|
Dovicchi | |||
|
18
|
16/7/2007
|
Aldo e Martin | Defesa dos Trabalhos e Publicação do Tema do Trabalho de Recuperação | Trabalho de Recuperação |
23/7/2007
|
|
19
|
23/7/2007
|
Aldo e Martin | Recuperação | ||