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: