6902 Paradigma de Programação Lógico e Funcional
Edição 2023/2 - Ciência da Computação
Nesta disciplina vamos estudar os fundamentos e aprender a programar nos paradigmas lógico e funcional.
Os comunicados e as entregas das atividades serão feitas no Google Sala de Aula.
Paradigma lógico
Material
- Livro The Power Of Prolog
- Página do SWI-Prolog
Aulas
| Data | Conteúdo | Downloads |
|---|---|---|
| 02,15/02 | Introdução | Notas de aula, Exemplos, Exercícios |
| 20,22/02 | Fundamentos | Notas de aula, Exemplos, Exercícios -- Soluções |
| 27,29/02,05,12,14/03 | Dados compostos | Notas de aula, Exemplos, Exercícios -- Soluções |
| 19,21/02 | Retrocesso e corte | Notas de aula, Exemplos, Exercícios -- Soluções |
Paradigma funcional
Material
- Resumo da linguagem Racket
- Livro How To Design Program
- Página do Racket
Aulas
| Data | Conteúdo | Downloads |
|---|---|---|
| 16/11 | Introdução | Notas de aula |
| 21,23/11 | Fundamentos | Notas de aula, Prática, Problemas - Soluções |
| 05,07,12/12 | Projeto de funções | Notas de aula, Prática - Soluções, Problemas - Soluções |
| 14,19,21/12 | Tipos de dados | Notas de aula, Prática - Soluções, Problemas - Soluções |
| 09,11,16/01 | Autorreferência e recursividade | Notas de aula, Prática - Soluções, Problemas - Soluções |
| 18/01 (conteúdo extra) | Árvores e processamento simultâneo | Notas de aula, Prática - Soluções |
| 23,25,30/01 | Funções como valores | Notas de aula, Prática - Soluções |
| 01/02 | Acumuladores | Notas de aula, Prática |
| 08/02 | Avaliação |