Sumários
Prática #11
13 dezembro 2011, 11:00 • Carlos Caleiro
Lógica de correcção de programas: correcção parcial ( notebook11).
Teórica #21
12 dezembro 2011, 11:00 • Carlos Caleiro
Correcção total de programas: asserções de convergência, terminação de programas, expressão variante de um ciclo, regras de inferência, exemplos de aplicação (aulaT15.nb) .
Teórica #20
9 dezembro 2011, 11:00 • Carlos Caleiro
Correcção parcial de programas: exemplos de aplicação (aulaT15.nb) .