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
V?r 2025
FAQ
Forelesningsnotater
Gruppel?rere og Rettere
innleveringer
Ordlister
Sp?rsm?l
亚博娱乐官网_亚博pt手机客户端登录
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN1150
>
V?r 2025
IN1150 - Logiske metoder
Semesterside for IN1150 - V?r 2025
Timeplan
Eksamen: Tid og sted
Fagl?rere
Anne-Marie George
Universitetet i Oslo
Jon Henrik Forssell
Universitetet i Oslo
Gruppel?rere og rettere
Mer om Gruppel?rere og rettere
Ressurser
Nettkurset
Discourse
Ofte stilte sp?rsm?l
Andere sp?rsm?l?
Retteliste til Logiske metoder
Tidligere eksamener
Videomappe
Ordlister
Beskjeder
Femte Forelesningsuke
17. feb. 2025 08:52
Fjerde Forelesningsuke
10. feb. 2025 08:42
Tredje Forelesningsuke
3. feb. 2025 08:56
Andre Forelesningsuke
27. jan. 2025 10:31
F?rste forelesningsuke
20. jan. 2025 09:14
Velkommen til IN1150 v?ren 2025
5. jan. 2025 16:55
Kontakt
Institutt for informatikk