• Hopp til hovedinnhold
 
UiO Universitetet i Oslo
No En
  • For ansatte
  • Mine studier
  • 亚博娱乐官网_亚博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 i TP
  • Eksamen: Tid og sted

Fagl?rere

  • Peter Csaba ?lveczky Universitetet i Oslo

Videomappe

  • Lenke til videomappe i Panopto

Oppgaver/Exercises

  • Oppgavesett 1 (Problem Set 1)
  • Delvis l?sning p? oppgavesett 1, som Maude-fil
  • Oppgavesett 2
  • Oppgavesett 3
  • L?sningsforslag oppgavesett 2 og 3, som Maude fil

Mandatory Homework Assignments (Obligatoriske oppgaver)

  • Assignment 1 in English
  • Oblig 1 p? norsk (frist 12/9)
  • Oblig 2 (frist 26/9)

Beskjeder

  • Obligatorisk oppgave 2 ute 8. sep. 2025 17:33
  • Husk: frist for obligatorisk oppgave 1 er 12. september! 3. sep. 2025 09:54
  • Formattering av OO termer 29. aug. 2025 15:41
Se flere beskjeder

Kontakt

Institutt for informatikk

Universitetet i Oslo logo

Kontakt

Kontakt oss
Finn frem

Om nettstedet

Bruk av informasjonskapsler
Tilgjengelighetserkl?ring

Ansvarlig for denne siden

亚博娱乐官网_亚博pt手机客户端登录edakt?r

Logg inn