Beskjeder
The examination (for both INF3170 and INF4171) will take place on
- 18 December 2017, from 14:30 to 18:30 (4 hours), at
- Lesesal B Eilert Sundts hus, A-blokka
(see also the information on the web site). The only material allowed to use is a printout of the slides of the lectures with your own written remarks. I have compiled a printer-friendly version of the lecture slides.
Good luck for the examination.
The deadline for submitting Oblig 2 is extended to Sunday, 3 December 2017, 18:00 CET.
There will be group sessions today (1 December) and next week (8 December), where questions, e.g. about Oblig 2, will be answered. Time is from 12.15 to 14.00 in seminar room Perl (OJD).
In order to prepare for the examination, there will be a repetition session on Tuesday 12 December from 12.15 to 16.00 in seminar room Java (OJD).
The original formula F2 of Exercise O2.1 is not valid in classical logic. Oblig 2 has been updated with a correct (valid) version of F2; alternatively, you can provide a counter model or a failed proof for the original version of F2.
The supplementary material available at Supplementary Material for "Oblig 2" has been updated (and now includes a program frame for an implementation in Prolog).
The second obligatory exercises/assignments are available (see schedule at Gruppeundervisning). Deadline for handing in solutions via https://devilry.ifi.uio.no is 1 December 2017, 23:59 CEST (Central European Summer Time). These exercises will also be discussed during the group meeting on 24 November.
Supplementary material (e.g. test formulae for exercises O2.2 and O2.3) is available at Supplementary Material for "Oblig 2".
The first obligatory exercises/assignments are available (see schedule at Gruppeundervisning). Deadline for handing in solutions via https://devilry.ifi.uio.no is 10 November 2017, 23:59 CEST (Central European Summer Time). These exercises will be discussed during the group meeting tomorrow, 27 October.
Arne Tobias has compiled some additional material and solutions available on his web page at ...
These are the slides and exercises of the description logic lectures (by L. H. Karlsen):
The information on the pensum/syllabus page has been updated.