Old News
- I compiled a list of propositional tautologies that may be of use for derivations in Hilbert systems. This file also includes the PROP rule, and a proof that it is an admissible rule.
- We have changed plans: the last lecture is on Wednesday, not on Monday! Most students found this more convenient, so that there is more time to prepare questions. This also gives the opportunity to return your answers to assignment 3, and discuss it if there is a need to. Summarizing: No lecture on Monday 16, no exercise class on Thu 19. Lecture on Wed 18.
- Next week there is only one lecture, on Monday. There is no lecture on Wednesday. There is no exercise class on Thursday. Monday's lecture is intended for questions; please prepare!
- The final assignment is available. Deadline is Monday 16/3.
- My answers to the second assignment are available.
- I have compiled a list for what to study for the exam. (26/2) The third question in assignment 2 has been changed slightly. (If you have already made the tableaux for the earlier version, then that is OK!)
- (23/2) The second assignment is available. The deadline is Monday 2 March. You can already start solving questions 1 and 2. The background for questions 3 and 4 will be treated during this week's lectures.
- (18/2) The answers to the first assignment are available.
- (18/2) We are a bit behind in schedule (in terms of content), due to the extensive (but hopefully useful) discussion of the assignment. Indeed, we have not treated all of the slides published below.
- (11/2) The location for Thursday's exercise classes for Advanced Logic has changed. Starting from Thursday 12 February (tomorrow) it is room 07A02 of the main building.
- (5/2) Answers to the first set of exercises are available.
- (5/2) The slides have been slightly modified.
- (5/2) You can already start working on the first assignment (due Friday 13/2). The background for questions 3 and 4 will be treated in the lectures next week.