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
H?st 2024
Ofte stilte sp?rsm?l
innleveringer
澳门葡京手机版app下载
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN1150
>
H?st 2024
IN1150 - Logiske metoder
Semesterside for IN1150 - H?st 2024
Timeplan
Pensum/litteratur i Leganto
Eksamen: Tid og sted
Fagl?rere
Lars Tveito
Universitetet i Oslo
Jon 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
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