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
Høst 2024
Ofte stilte spørsmål
innleveringer
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN1150
>
Høst 2024
IN1150 - Logiske metoder
Semesterside for IN1150 - Høst 2024
Timeplan i TP
Pensum/litteratur i Leganto
Eksamen: Tid og sted
Faglærere
Lars Tveito
Universitetet i Oslo
Henrik Forssell
Universitetet i Oslo
Rettere
Embrik Buflod Bovollen
Hanne-Kristin Schrøder Leiros
Sigurd Sevaldrud
Stanislaw Marek Frey
Theodor Berg-Hansen
Ressurslenker
Nettkurset
Discourse
Retteliste til Logiske metoder
Ofte stilte spørsmål
Tidligere eksamener
Beskjeder
Løsningsforslag til eksamen, takk for nå, og lykke til med den nye semesteret nå
7. jan. 2025 16:38
Takk for følget, og lykke til på eksamen!
18. nov. 2024 17:23
Den obligatoriske oppgaven er publisert
8. okt. 2024 19:03
Nettkurset er oppe igjen
1. okt. 2024 14:14
Nettkurset er nede
30. sep. 2024 18:47
Noen tips og påminnelser
16. sep. 2024 17:50
Beklager urettet feil i timeplanen som sa det var Oppgaveverksted i dag!
21. aug. 2024 19:23
Velkommen til IN1150 – Logiske metoder
21. aug. 2024 19:18
Kontakt
Institutt for informatikk