Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
S?k i nettsidene til UiO
S?k
篮球即时比分_nba比分直播-彩客网重点推荐
篮球即时比分_nba比分直播-彩客网重点推荐
篮球即时比分_nba比分直播-彩客网重点推荐
Livet rundt studiene
Tjenester og verkt?y
Om UiO
Personer
Undermeny
篮球即时比分_nba比分直播-彩客网重点推荐
Emner
Matematikk og naturvitenskap
Informatikk
IN1150
V?r 2026
Ofte stilte sp?rsm?l
Grupper
Innleveringer
Forelesningsmateriale
Forkurs
篮球即时比分_nba比分直播-彩客网重点推荐
>
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
N? er du en logiker
9. apr. 2026 21:12
Tolkning, semantikk og modeller
26. mars 2026 17:14
Endret innleveringsfrist for frivillig innlevering 8
25. mars 2026 13:02
Se flere beskjeder
Kontakt
Institutt for informatikk