Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF3170
Høst 2017
Studier
>
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