Sumários

.

10 dezembro 2009, 11:00 • Carlos Caleiro

Deslocação em serviço do docente.

Teórica #22

7 dezembro 2009, 11:00 • Carlos Caleiro

Lógica de correcção de programas: correcção total, terminação, variante de um ciclo, exemplos de aplicação (aulaT15.nb).

Teórica #21

4 dezembro 2009, 11:00 • Carlos Caleiro

Lógica de correcção de programas, correcção parcial: exemplos de aplicação (aulaT15.nb).

Prática #10

3 dezembro 2009, 13:30 • Carlos Caleiro

Continuação da aula anterior.

Prática #10

3 dezembro 2009, 11:00 • Carlos Caleiro

Continuação da aula anterior.