Linguagens de Program\c c\~ao II
Raul H.C. Lopes
Programa
O objetivo final do curso consiste em abordar o estudo de algoritmos e
estrutura de dados, usando l\'ogica e programa\c c\~ao
funcional.
- L\'ogica de primeira ordem
- Contagem e teoria de conjuntos
- Indu\c c\~ao Matem\'atica
- Defini\c c\~oes indutivas e tipos abstratos
- Sequ\^encias
- Avalia\c c\~ao: Lazy x Eager
- Defini\c c\~oes recursivas e co-recursivas
- \'Arvores
- Grafos
- Corre\c c\~ao de programas
- Classes e Tipos
- Concorr\^encia
- Fundamentos de an\'alise de algoritmos
Documentos Fundamentais
Refer\^encias b\'asicas
Notas de aula
Ferramentas
Exemplos
Trabalhos
Provas