Sumários
Avaliação - II
16 Dezembro 2016, 10:00 • António José Teiga Zilhão
Exercício escrito de avaliação das competências adquiridas no âmbito dos módulos III e IV do programa.
Lógica de Predicados - VII
15 Dezembro 2016, 10:00 • António José Teiga Zilhão
Resolução de exercícios no âmbito do Cálculo de Predicados.
Lógica de Predicados - VI
13 Dezembro 2016, 10:00 • António José Teiga Zilhão
Resolução de exercícios no âmbito da Lógica de Predicados.
Lógica de Predicados - V
9 Dezembro 2016, 10:00 • António José Teiga Zilhão
Teoremas do Cálculo de Predicados. A Regra de Introdução de Teoremas (RIT). Semântica do Cálculo de Predicados (satisfazibilidade, insatisfazibilidade e validade num domínio; validade universal). Demonstração da invalidade de fórmulas por meio da sua interpretação num domínio dado.