Sumários
TP13
21 Outubro 2016, 14:00 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 2B (início).
TP14
21 Outubro 2016, 11:00 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 2B (início).
Exercícios 2B
21 Outubro 2016, 11:00 • Mário Jorge Edmundo
Resolução de exercícios da folha de Exercícios 2B.
Tema: Teorias, definições, teoremas e demonstrações
20 Outubro 2016, 11:30 • Mário Jorge Edmundo
Teorias: objectos e relações de teorias; axiomas, objectos primitivos e relações primitivas, definições implícitas; definições explicitas; teoremas; demonstrações. Teoremas e implicações lógicas; o que é uma demonstração de um teorema.
Exercícios 2B
20 Outubro 2016, 10:00 • Mário Jorge Edmundo
Resolução de exercícios da folha de Exercícios 2B.