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
- \'arvores
- grafos
- Corre\c c\~ao de programas
- Fundamentos de an\'alise de algoritmos
Refer\^encias b\'asicas
Notas de aula
Ferramentas
Trabalhos
Provas