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 2021
亚博娱乐官网_亚博pt手机客户端登录
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN5100
>
H?st 2021
IN5100 - Utvalgte emner i omskrivningslogikk
Semesterside for IN5100 - H?st 2021
Timeplan
Pensum/litteratur i Leganto
Eksamen: Tid og sted
Fagl?rere
Peter Csaba ?lveczky
Universitetet i Oslo
Obligatoriske oppgaver
obligatorisk oppgave 1
Oblig2/Mandatory assignment 2
Beskjeder
Notes on biology
9. des. 2021 11:49
Extra "lecture" Monday December 6
2. des. 2021 12:25
Curriculum in the Formal Semantics of Blockchain Languages
9. nov. 2021 21:12
Se flere beskjeder
Kontakt
Institutt for informatikk