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).


Prática #09

29 novembro 2011, 11:00 Carlos Caleiro

Programação funcional -   notebook5.


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).