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
IN3070
H?st 2020
exercises
undervisningsmateriale
澳门葡京手机版app下载
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN3070
>
H?st 2020
IN3070 - Logikk
Semesterside for IN3070 - H?st 2020
Timeplan
Eksamen: Tid og sted
Fagl?rere
Martin Giese
Universitetet i Oslo
L?rebok
Ben-Ari: Mathematical Logic for Computer Science
Diskusjonsforum
Course padlet
Resources
Example proof tree in LaTeX (overleaf)
Beskjeder
This year’s exam, model answers, and grading guidelines
8. des. 2020 09:20
Last year’s exam
24. nov. 2020 08:19
Tomorrow's group session
23. nov. 2020 17:31
Se flere beskjeder
Kontakt
Institutt for informatikk