Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
S?k i nettsidene til UiO
S?k
澳门葡京手机版app下载
澳门葡京手机版app下载
澳门葡京手机版app下载
Livet rundt studiene
Tjenester og verkt?y
Om UiO
Personer
Undermeny
澳门葡京手机版app下载
Emner
Matematikk og naturvitenskap
Informatikk
INF3170
H?st 2017
澳门葡京手机版app下载
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF3170
>
H?st 2017
Dette emnet er erstattet av
IN3070 – Logikk
.
INF3170 - Logikk
Semesterside for INF3170 - H?st 2017
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Beskjeder
Examination and permitted material
13. des. 2017 15:13
Deadline extension for Oblig 2
1. des. 2017 13:51
Group sessions and repetition session
1. des. 2017 08:37
Some remarks for Oblig 2
29. nov. 2017 03:06
Oblig 2 available
14. nov. 2017 22:14
Oblig 1 available
26. okt. 2017 14:38
Additional material
16. okt. 2017 20:48
Description Logic: Slides and Exercises
6. okt. 2017 03:27
Se flere beskjeder
Kontakt
Institutt for informatikk