Sumários
Teórica #22
3 dezembro 2012, 11:00 • Carlos Caleiro
Correcção parcial de programas: exemplos de aplicação (aulaT15.nb).
Teórica #21
30 novembro 2012, 11:00 • Carlos Caleiro
Introdução à lógica de correcção de programas (imperativos): correcção parcial, terminação, correcção total. Triplos de Hoare, pré-condição e pós-condição, regras de inferência, condição invariante de um ciclo (aulaT15.nb).
Prática #09
29 novembro 2012, 11:00 • Carlos Caleiro
Implementação de tipos de dados e construção de pacotes - notebook9&10.