Material Pedagógico

Conjunto de slides usados na aulas teóricas da UC no ano letivo 2023/2024

Noções básicas de lógica

Pequena introdução
Cálculo proposicional clássico
Cálculo de predicados
Métodos de prova

Princípio de indução simples
Princípio de indução completa

Conceitos básicas de conjuntos
Subconjuntos
Operações com conjuntos
Famílias de conjuntos

Propriedades de relações binárias
Relações de equivalência
Relações de ordem parcial
Diagrama de Hasse