Sumários

aula 1

16 Fevereiro 2022, 10:00 Lígia Amado

Apresentação.

Introdução à IO e à PL.
Formalização do Prot1.
Hipóteses fundamentais de PL: apresentação e discussão.