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
IN5100
H?st 2025
亚博娱乐官网_亚博pt手机客户端登录
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN5100
>
H?st 2025
IN5100 - Utvalgte emner i omskrivningslogikk
Semesterside for IN5100 - H?st 2025
Timeplan
Eksamen: Tid og sted
Fagl?rere
Peter Csaba ?lveczky
Universitetet i Oslo
Paul Kobialka
Universitetet i Oslo
Beskjeder
Forel?pig plan for f?rste m?ned av semesteret/Tentative schedule for the first month
11. aug. 2025 13:12
Velkommen til IN5100/Welcome to IN5100
11. aug. 2025 12:42
Kontakt
Institutt for informatikk