Aula #13

31 outubro 2022, 08:30 • Carlos Caleiro

Lógica de correcção de programas (imperativos): terminação de programas, expressão variante de um ciclo, ordem parcial bem-fundada; exemplos (NB12).