1. Cálculo de proposições
2. Cálculo de predicados
3. Teoria de conjuntos
Pretende-se que, no final desta Unidade Curricular, o estudante seja capaz de:
• Reconhecer a utilidade da formalização do raciocínio, especialmente do raciocínio matemático.
• Aplicar as principais técnicas do cálculo proposições, do cálculo de predicados e da teoria de conjuntos.
Bibliografia principal:
M. J. Edmundo. Lógica e Teoria de Conjuntos (2013/14) (disponibilizado online).
Bibliografia complementar:
Natural Deduction: An Introduction to Logic with Real Arguments, a Little History, and Some Humour.
Autor: Richard T.W. Arthur.
Editora: Broadview Press, 2011.
ISBN: 1770481974, 9781770481978.
E-learning.