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
IN1150
Vår 2026
Ofte stilte spørsmål
Grupper
Innleveringer
Avslutningsfest
Forelesningsmateriale
Forkurs
Studier
>
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
Tidligere eksamener
Beskjeder
Lykke til på eksamen (og siste ukens nøtt)
31. mai 2026 15:18
Takk for følget, og lykke til på eksamen! (Info)
21. mai 2026 18:33
Siste uke med undervisning
18. mai 2026 11:11
Se flere beskjeder
Kontakt
Institutt for informatikk