Dette emnet er erstattet av IN3070 – Logikk.

Semesterside for INF3170 - Høst 2016

Det blir ingen gruppetime i morgen, 8. desember. Lykke til på eksamen!

7. des. 2016 20:35

Next week will be the last week of lectures. The lecture Non-classical Logics II will be repeated on Monday, and the lecture Non-clausal Connection Calculus is moved to Wednesday. We do not have time for the last of Jens Otten's lectures this semester.

2. des. 2016 14:28

There will be a repetition lecture on Wednesday 30th. The lecture on Monday 28th is cancelled.

27. nov. 2016 13:49

Jens Otten's last two lectures will be in December. There will be repetition lectures on one or both of Nov 28 and Nov 30. Make sure to check the schedule for updates about repetition lectures.

21. nov. 2016 15:35

Fullstendig pensumliste ligger nå ute på emnesidene.

21. nov. 2016 14:25

Se Pensum/Læringskrav for en oversikt over artiklene INF4171-studenter kan velge mellom. Vi vil holde muntlige høringer om disse artiklene mot slutten av November. Sende en epost til Andreas hvis du har spørsmål om artiklene eller ønsker å være med på seminar om den artikkelen du velger.

9. nov. 2016 10:26

Oblig 2 ligger nå ute. Innleveringsfrist er torsdag 17. november klokken 23:59. Det er meningen at gruppelærer skal gi gode hint til hvordan denne oppgaven kan løses, så bruk gruppetimene godt.

6. nov. 2016 19:20

Dagens forelesning er avlyst grunnet sykdom.

31. okt. 2016 11:21