Sumários
Lógica Proposicional - III
11 Novembro 2016, 10:00 • António José Teiga Zilhão
O Problema da Decisão. Métodos semântico e sintáctico de o resolver.
Lógica Proposicional - II
10 Novembro 2016, 10:00 • António José Teiga Zilhão
Derivação de substituibilidades na álgebra das proposições.
Lógica Proposicional - I
8 Novembro 2016, 10:00 • António José Teiga Zilhão
Teoria das funções de verdade. Conceito de uma álgebra das proposições. Definição de fórmula da álgebra das proposições. Definição de substituibilidade. Apresentação de um elenco de substituibilidades elementares. Definição de substituibilidade parcial
Avaliação - I
4 Novembro 2016, 10:00 • António José Teiga Zilhão
Exercício escrito de avaliação das competências adquiridas no âmbito dos módulos I e II do programa.
Teoria dos Conjuntos - X
3 Novembro 2016, 10:00 • António José Teiga Zilhão
Resolução de exercícios na Teoria dos Conjuntos.