Tipos de Dados Recursivos
Material:
Slides básicos sobre Raciocínio Recursivo Bem-Fundado
Material produzido e corrigido por alunos de 2014.2
- Conjuntos Indutivamente Definidos
- Relações Bem-Fundadas
- Teoria das Listas
- Teoria das Árvores Binárias
- Teorias Combinadas das Árvores-Strings e das Árvores-Listas
Material produzido e corrigido por alunos de 2015.2
- Sobre o "Universo das Coisas" (gênero nat)
- Listas: inversa e prefixo
- Listas: a inversa da inversa
- Espelhando árvores
- Caracterização indutiva dos números primos
- Somatório sobre o gênero nat (Avaliação 00)
Alguns exercícios:
- Continuidade e Pontos Fixos
- Fechos
- Linguagens Formais