Sumários
Teórica #20
30 novembro 2009, 11:00 • Carlos Caleiro
Introdução à lógica de correcção de programas: correcção parcial, triplos de Hoare, invariante de um ciclo, exemplos de aplicação (aulaT15.nb) .
Teórica #19
27 novembro 2009, 11:00 • Carlos Caleiro
Mais complementos de programação imperativa: cálculo eficiente de exponencial (square&multiply), pesquisa de palavra em texto (autómatos, Knuth-Morris-Pratt, Boyer-Moore).
Prática #09
26 novembro 2009, 11:00 • Carlos Caleiro
Implementação de tipos de dados e construção de pacotes - notebook9&10.
Prática #09
24 novembro 2009, 11:00 • Carlos Caleiro
Implementação de tipos de dados e construção de pacotes - notebook9&10.
Teórica #18
23 novembro 2009, 11:00 • Carlos Caleiro
Complementos de programação por reescrita: moldes, definição de linguagens, aplicação à manipulação simbólica de fórmulas da lógica proposicional clássica (aulaT09.nb)