Sumários
Teórica #19
5 dezembro 2011, 11:00 • Carlos Caleiro
Correcção parcial de programas: regras de inferência, condição invariante de um ciclo, exemplos de aplicação (aulaT15.nb) .
Teórica #18
2 dezembro 2011, 11:00 • Carlos Caleiro
Lógica proposicional clássica: conectivos Booleanos e sua semântica, fórmulas válidas, possíveis e contraditórias. Introdução à lógica de correcção de programas (imperativos): correcção parcial e condições invariantes, terminação e expressões variantes, correcção total. Triplos de Hoare, pré-condição e pós-condição, exemplos de aplicação (aulaT15.nb).
Teórica #17
28 novembro 2011, 11:00 • Carlos Caleiro
Programação nos 3 paradigmas: exponenciação eficiente, simulação imperativa da recursão usando pilhas.
Teórica #17
25 novembro 2011, 11:00 • Carlos Caleiro
Programação nos 3 paradigmas: pacote para manipulação de listas e matrizes esparsas (aulaT13.nb).