Dette emnet er erstattet av IN3070 – Logikk.

Semesterside for INF3170 - Høst 2017

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.

13. des. 2017 15:13

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

1. des. 2017 13:51

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

1. des. 2017 08:37

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

29. nov. 2017 03:06

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

14. nov. 2017 22:14

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.

26. okt. 2017 14:38

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

 

16. okt. 2017 20:48

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

6. okt. 2017 03:27