Beskjeder

Publisert 13. des. 2017 15:13

The examination (for both INF3170 and INF4171) will take place on

(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.

Publisert 1. des. 2017 13:51

The deadline for submitting Oblig 2 is extended to Sunday, 3 December 2017, 18:00 CET.

Publisert 1. des. 2017 08:37

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).

Publisert 29. nov. 2017 03:06

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).

Publisert 14. nov. 2017 22:14

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".

Publisert 26. okt. 2017 14:38

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.

Publisert 16. okt. 2017 20:48

Arne Tobias has compiled some additional material and solutions available on his web page at ...

 

Publisert 6. okt. 2017 03:27

These are the slides and exercises of the description logic lectures (by L. H. Karlsen):

Publisert 29. aug. 2017 09:07

The information on the pensum/syllabus page has been updated.

Publisert 17. aug. 2017 00:12

The lectures will start on Wednesday, 30th August.

Publisert 27. juni 2017 14:11

The lectures will be in english this autumn.

Publisert 27. juni 2017 14:10

Forelesningene vil h?sten 2017 foreg? p? engelsk