Sumários
Revisões
19 setembro 2017, 08:30 • Paulo Sérgio De Brito e Silva dos Anjos Lopes
Resolução de problemas da ficha 1.
Apresentação
18 setembro 2017, 13:00 • Catarina Vilar Campos de Carvalho
Apresentação - informações gerais e introdução à cadeira. Revisões de Lógica: implicação, equivalência, quantificadores.
Apresentação
18 setembro 2017, 09:00 • Catarina Vilar Campos de Carvalho
Apresentação - informações gerais e introdução à cadeira. Revisões de Lógica: implicação, equivalência, quantificadores.