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

• Avaliações:
  - Exame-Tipo 00: enunciado
  - Exame-Tipo 01: enunciado
  - Exame-Tipo 02: enunciado
  - Exame-Tipo 03: enunciado - gabarito