Teórica #21
30 novembro 2012, 11:00 • Carlos Caleiro
Introdução à lógica de correcção de programas (imperativos): correcção parcial, terminação, correcção total. Triplos de Hoare, pré-condição e pós-condição, regras de inferência, condição invariante de um ciclo (aulaT15.nb).