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
IN1150
V?r 2026
Ofte stilte sp?rsm?l
Grupper
Innleveringer
Forelesningsmateriale
Forkurs
澳门葡京手机版app下载
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN1150
>
V?r 2026
IN1150 - Logiske metoder
Semesterside for IN1150 - V?r 2026
Timeplan i TP
Pensum/litteratur i Leganto
Eksamen: Tid og sted
Fagl?rere
Arild Torolv S?etorp Waaler
Universitetet i Oslo
Henrik Forssell
Universitetet i Oslo
Gruppel?rere og rettere
Einar Guttu Ekeberg
Luna Artemis Midttun Hukkelberg
?smund Olai Sand-Larsen
Mathias Knudsen
Sigurd Sevaldrud
Ada-Marie S?rensen Sneve
Jonathan Okafor Okoli
Ressurser
Nettkurs
Discourse
Retteliste til Logiske metoder
Ofte stilte sp?rsm?l
Beskjeder
Funksjoner og sykt store mengder
19. feb. 2026 21:39
Beviser og relasjoner
13. feb. 2026 12:48
Avlyst gruppetime 9.2
9. feb. 2026 10:15
Se flere beskjeder
Kontakt
Institutt for informatikk