On this page, you may find the specifics to the Logic 2 course. You may find on the general Logic courses page detailed information on lecture notes, communication and grading, which apply to both this and the Logic 1 course. In particular make sure to study the Logic Rondo lecture notes before the lectures.

The course will be organised as follows. Throughout the semester, there are 6 lectures and 6 exercise classes, see the Course Schedule for details. You will have to submit homework assignments and the grade of the homework will make 30% of your final grade and the course will end with an exam, which makes 70% of your final grade, see the Exam times section below. You will have to have a passing grade for both the exam and the final grade. Details can be found on the common Logic page.

Course Schedule

The lectures take place weekly in Gorlaeus BM.1.33 according to the timetable below, while the exercise classes take are in various rooms, see Practical Rooms below. The homework deadlines will be available on Brightspace.

Here is the timetable of the course, numbered by semester week:

You may find the content of the lectures below.

Lecture 1 (Chapter 8 Logic Rondo)

FOL with equality including natural deduction system ND₁ and cND₁, uniqueness quantifier

Lecture 2 (Chapter 9 Logic Rondo)

Labelled trees and their induction principles, iteration and induction for formulas

Lecture 3 (Chapter 10 Logic Rondo)

Models of FOL, Semantics of terms, Boolean semantics of formulas, Substitution lemma, soundness

Lecture 4 (Chapter 11 Logic Rondo)

Semantic equivalence, completeness for cND₁, compactness, Reachability not expressible

Lecture 5 (Chapter 12 Logic Rondo)

Computable functions, axiomatisations, primitive recursion and primitive recursive arithmetic

Lecture 6 (Chapter 13 Logic Rondo)

Expressing provability inside FOL, Gödel’s Incompleteness Theorems

Exam Times

The exam and retake take place in the University Sports Centre are scheduled for

• Fri, 05 Jun, 09:00 and
• Mon, 29 Jun, 09:00, respectively.

Practical Rooms

You will be distributed over rooms through enrolling in exercise groups on Brightspace at the beginning of the course. The following table shows the detailed list of rooms where exercise classes take place and which exercise group is assigned to each.