Logic

Pre-requisites: None

Course objectives: Student should learn the formal language of first-order predicate logic, they should learn to decide what formulae are tautologies and to construct proofs in a natural deduction system for classical first-order predicate logic.

Course description: Classical propositional and first-order predicate logic, basic concepts about syntax and semantics, basic concepts about natural deduction.

Learning Outcomes: Student have mastered the formal language of first-order predicate logic, they have learned to decide what formulae are tautologies, and they can construct proofs in a natural deduction system for classical first-order predicate logic.