Change: Assignment 2 has been postponed and is now due 3pm, May 23rd.
Assignment 2 is published. The assignment is due 3pm, May 19th.
The completeness compendium from the lecture on April 4th can be found here .
The lecture on May 2nd is moved from Lille Auditorium to seminar room 3A, Ifi, 3rd floor.
Welcome back to the second half of the course! We hope you all have had a relaxing Easter Holiday! Some announcements:
The teaching plan has been updated. We will procede with completeness of first-order logic and automated reasoning.
The article "Systems of Deduction" by Göran Sundholm will be lectured as the last topic of this course. The article is in English and is contained in the compendium "Kopisamling INF3170/4170 Logikk og analysemetoder", which can be bought at Kopiutsalget, Akademika campus bookshop. The article is part of the syllabus of this course.
Time and place for the midterm exam is published on the exam page . Note that the midterm exam is obligatory for all students on this course.
Arild Waaler will present his article Connections in Nonclassical Logics at the Master Seminar in Logic (INF5170) starting on Monday February 21st 17:15 (not 28th as previously announced). All INF3170 students are welcome!
The lecture series will be held in Buerommet (Ifi, 3rd floor) and will continue every Monday for 6-8 weeks. Matrix and sequent calculus proof procedures are presented and compared for classical, intuitionistic and modal logics.
Waaler will start from scratch such that it is possible for INF3170 students to follow the lectures. The lectures are held in Norwegian.
The textbook is: Melvin C. Fitting: First-Order Logic and Automated Theorem Proving, 1996. Springer-Verlag, Berlin. ISBN: 0-387-94593-8. 2. ed.
Det er obligatorisk fremmøte på første forelesning. Hvis du ikke møter eller ikke har fått fritak for fremmøte før forelesningen, så mister du plassen på emnet.
Etteranmelding til emner som eventuelt har ledig kapasitet, kan skje tidligst dagen etter første forelesning i det aktuelle emnet. Opptak gjøres deretter fortløpende frem til emnet er fullt.