Sumários
Capítulo I
25 Setembro 2012, 15:00 • Fátima Fabião
1.2 Expressões com variáveis
1.3 Quantificadores
Resolução de exercícios da ficha de Lógica: 3, 4, 5, 6.
Capítulo I - Elementos de Lógica Matemática e Teoria de Conjuntos
20 Setembro 2012, 15:00 • Fátima Fabião
1.1 Designações e Proposições.
Álgebra proposicional.
Apresentação
18 Setembro 2012, 15:00 • Fátima Fabião
Apresentação da UC:
Programa
Bibliografia
Método de Avaliação.