Linguagens de Programção II
Raul H.C. Lopes
Programa
O objetivo final do curso consiste em abordar o estudo de algoritmos e
estrutura de dados, usando lógica e programação
funcional.
- Lógica de primeira ordem
- Contagem e teoria de conjuntos
- Indução Matemática
- Definições indutivas e tipos abstratos
- Sequências
- Avaliação: Lazy x Eager
- Definições recursivas e co-recursivas
- Árvores
- Grafos
- Correção de programas
- Classes e Tipos
- Concorrência
- Fundamentos de análise de algoritmos
Documentos Fundamentais
Referências básicas
Notas de aula
Ferramentas
Exemplos
Trabalhos
Provas