Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
S?k i nettsidene til UiO
S?k
亚博娱乐官网_亚博pt手机客户端登录
亚博娱乐官网_亚博pt手机客户端登录
亚博娱乐官网_亚博pt手机客户端登录
Livet rundt studiene
Tjenester og verkt?y
Om UiO
Personer
Undermeny
亚博娱乐官网_亚博pt手机客户端登录
Emner
Matematikk og naturvitenskap
Informatikk
IN1150
H?st 2024
Ofte stilte sp?rsm?l
innleveringer
亚博娱乐官网_亚博pt手机客户端登录
>
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