Apoio ao projecto

21 dezembro 2007, 11:00 • Amilcar Sernadas

Apoio ao projecto.

Aula leccionada por Filipe Moura por impossibilidade do docente responsável.

Cálculo de Hoare

20 dezembro 2007, 11:00 • Filipe Moura

Verificação da correcção parcial e total de programas imperativos.

Cálculo de Hoare

18 dezembro 2007, 11:00 • Filipe Moura

Verificação da correcção parcial e total de programas imperativos.

Resolução do exame tipo

17 dezembro 2007, 11:00 • Amilcar Sernadas

Explicação da estrutura do exame escrito. Esboço da resolução do exame tipo. Apoio ao projecto.

Cálculo Omega

14 dezembro 2007, 11:00 • Amilcar Sernadas

Cálculo de convergência de ciclos (cálculo Omega): axiomas, regras e exemplo de aplicação. Breve referência ao método de Dijkstra de síntese de pequenos programas imperativos.