University Courses
by Pedro Almeida

Computational Logic

Course Focus:

Knowledge Syntax and semantics of propositional and first-order logic Resolution methods for propositional and first-order logic Natural deduction systems for propositional and first-order logic

Skills Specification logical formulae from descriptions in natural language Assessment of the logical validity of formulae, semantically, axiomatically, and syntactically Use resolution algorithms to establish the logical validity of formulae

Competences Ability of abstract and rigorous reasoning Ability of manipulating formal structures