Especificações Algébricas de Tipos de Dados Abstratos

Material:

• Algumas notas introdutórias e exercícios básicos sobre álgebras heterogêneas
  - Exercícios sobre Σ-homomorfismos, Σ-subálgebras e Σ-isomorfismos (versões produzidas por alunos de: 2014.2 / 2015.2 / 2016.1)

• Algumas notas e exercícios sobre a geração de álgebras heterogêneas
  Tópicos cobertos:
  - fechos indutivos & o princípio da indução associado
  - álgebras livremente geradas & o teorema da única extensão homomórfica

• Algumas notas e exercícios sobre a álgebra dos termos
  Tópicos cobertos:
  - pura sintaxe: a álgebra dos termos de uma dada assinatura heterogênea
  - álgebras iniciais
  - analogias concernentes à semântica denotacional de linguagens de programação

• Algumas notas e exercícios sobre congruências heterogêneas

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

• Lista de vídeos

Referência principal:

• Theorem Proving and Algebra, por Joseph Goguen