Resolução da folha nº1

26 Setembro 2018, 08:00 André Souto

Resolução dos exercícios da folha nº1 correspondentes ao uso de notação de strings e tipos de provas. Indução e construção.