Aula #14

22 outubro 2024, 10:00 • Carlos Caleiro

Terminação de programas: expressão variante de um ciclo, ordem parcial bem-fundada, exemplos (NB12).

Aula #13

21 outubro 2024, 09:00 • Carlos Caleiro

Introdução à correcção de programas (imperativos): correcção parcial, terminação. Correcção parcial: triplos de Hoare, condição invariante de um ciclo; correcção parcial de um ciclo inicializado, exemplos (NB12).

LAB 12

17 outubro 2024, 12:30 • Diogo Miguel Ferreira Poças

Resolução de exercícios de programação imperativa (EX04).

Secção 2: Exs 21, 23, 25, 26, 30. Secção 4: Ex 1.

LAB 12

17 outubro 2024, 10:30 • Diogo Miguel Ferreira Poças

Resolução de exercícios de programação imperativa (EX04).

Secção 2: Exs 21, 23, 25, 26, 30. Secção 4: Ex 1.

LAB11

16 outubro 2024, 10:30 • João Ribeiro