5200 Paradigma de Programação Lógico e Funcional
Edição 2014/1 - Informática
Nesta disciplina vamos estudar os fundamentos teóricos dos paradigmas de programação lógico e funcional e implementar programas utilizando estes paradigmas.
Veja o [programa](http://www.din.uem.br/graduacao/programas-e-criterios/5200-Paradigma de Programacao Logica e Funcional.pdf) e o [critério de avaliação](http://www.din.uem.br/graduacao/programas-e-criterios/5200-Paradigma de Programa Logico e Funcional-crit.pdf) da disciplina.
Os alunos desta disciplina devem inscrever-se no grupo uem-pplf para receberem informações e discutirem o conteúdo da disciplina. Por favor, use o seu nome verdadeiro na lista para o professor poder identificá-lo.
Atendimento
- Segunda-feira, 18:00 as 19:10, sala 204
- Quinta-feira, 15:30 as 17:10, sala 204
- Monitoria: Terça e quinta das 18:40 as 22:00, sala 005
- Entre em contado com o professor se precisar de atendimento em outro horário
Avaliações
- 1° avaliação (peso 1)
- 23/04 - Prova escrita (conteúdo: paradigma de programação funcional)
- 2° avaliação (peso 2)
- 21/04 (até as 23h) - Trabalho tetris-racket
- 3° avaliação (peso 1)
- 11/06 - Prova escrita (conteúdo: paradigma de programação lógico)
- 4° avaliação (peso 2)
- 16/06 (até as 23h) - Trabalho tetravex-prolog
- Exame
- Data a definir - Prova escrita
Aulas
Paradigma de programação lógico
Utilizaremos como referência para estudar o Paradigma Lógico os livros
- Programming in Prolog (não disponível online); e
- Learn Prolog Now!
| Data | Conteúdo | Downloads |
|---|---|---|
| 28 e 30/04 | Introdução | Notas de aula, exemplos |
| 05, 07 e 14/05 | Fundamentos | Notas de aula, exemplos, exercícios e algumas soluções |
| 19, 21/05 e 02/06 | Dados compostos | Notas de aula, exemplos, exercícios e algumas soluções |
| 28/05 | Implementação do trabalho | |
| 04 e 09/06 | Retrocesso e corte | Notas de aula, exemplos, exercícios e algumas soluções |
| 11/06 | Avaliação |
Paradigma de programação funcional
| Data | Conteúdo | Downloads |
|---|---|---|
| 03/02 | Introdução | Notas de aula, exercícios |
| 05, 10 e 12/02 | Fundamentos | Notas de aula, exemplos, exercícios e algumas soluções |
| 17, 19 e 24/02 | Dados compostos | Notas de aula, exemplos, exercícios e algumas soluções |
| 25/02 | Naturais | Notas de aula, exemplos, exercícios e algumas soluções |
| 26/02 | Composição de templates | Notas de aula, exemplos, exercícios e algumas soluções |
| 12 e 17/03 | Apresentação do trabalho | Jogo flappy bird |
| 19, 21 e 26/03 | Funções | Notas de aula, exemplos, exercícios |
| 31/03 | Implementação do trabalho | |
| 02 e 07/04 | Acumuladores | Notas de aula, exemplos, exercícios |
| 09 e 14/04 | Sequências e streams | Notas de aula, exemplos, exercícios |
| 16/04 | Desenvolvimento do trabalho | |
| 23/04 | Avaliação |