Sumários
Prática #10
30 novembro 2010, 11:00 • Carlos Caleiro
Implementação de tipos de dados e construção de pacotes - notebook9&10.
Teórica #19
29 novembro 2010, 11:00 • Carlos Caleiro
Pacote para manipulação de listas e matrizes esparsas (aulaT13.nb).
Teórica #18
26 novembro 2010, 11:00 • Carlos Caleiro
Cálculo eficiente de exponencial (square&multiply). 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)
Prática #09
25 novembro 2010, 11:00 • Carlos Caleiro
Prática #09
23 novembro 2010, 11:00 • Carlos Caleiro