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
>
Forelesningsmateriale
IN1150 - Logiske metoder
Forelesningsmateriale
Forelesning 2: Kapittel 3 og 4 (2026-01-30)
Forelesning: Kap 17 (2026-04-10)
Forelesning: Kapittel 20, Litt Algebra (2026-04-17)
Forelesning: Kapittel 23,
Formelle språk (2026-05-04)
Publisert
30. jan. 2026 12:45
-
Sist endret
4. mai 2026 15:30
Del på e-post
Del på Facebook
Del på X