Logic
Full course description
Section titled “Full course description”Logic introduces the student to three core logical systems, namely propositional logic, first-order predicate logic and epistemic logic. Understanding these logical systems will improve the ability of the student to think in a structural way about, among others, problem solving and program design. Besides logical systems the course will focus on proving and reasoning techniques. These techniques are relevant to various kinds of logics and include, among others, semantic tableaux, deduction, and proof systems. After completing this course the student has obtained a solid basis in the three core logical systems. Additionally the ability of the student to reason and communicate about problems has been improved.
Prerequisites
Section titled “Prerequisites”None.
Recommended reading
Section titled “Recommended reading”None.
- Logic - June 2020 Protocol
- Logic Exam 2004
- Logic Exam 2005-06-03
- Logic Exam 2006-05-31
- Logic Exam 2007-05-30
- Logic Exam 2007-06-29
- Logic Exam 2008-06-04
- Logic Exam 2008-07-02
- Logic Mockexam 2016
Source: Previous wiki page