UiO Universitetet i Oslo

IN1150 - Logiske metoder

Semesterside for IN1150 - V?r 2019

Fagl?rere

Roger Antonsen

Ressurser

Gruppel?rere og rettere

Beskjeder

Sensuren er klar 9. juni 2019 20:54
Takk for et et flott semester! 24. mai 2019 19:13
Fjor?rets eksamen skal n? v?re tilgjengelig i Inspera 11. mai 2019 22:07
Siste uke er repetisjonsuke 11. mai 2019 14:17
Velkommen til IN1150-avslutningsfest (med pizza og premier) 9. mai 2019 09:23
Gruppeundervisningen i uke 19 (6.–10. mai) og uke 20 6. mai 2019 07:47
Informasjon om avsluttende eksamen 5. mai 2019 12:48
Siste ordin?re fellestime og flytting av IN1150-kafé til C 3. mai 2019 07:54
Siste uke: Formelle spr?k, grammatikker og naturlig deduksjon 29. apr. 2019 10:19
Fredagssp?rsm?l, p?skepause og fire kapitler igjen 11. apr. 2019 09:15
Halvveis i kurset! 18. mars 2019 12:29
Induktivt definerte mengder og rekursive funksjoner 6. mars 2019 09:56
En tredjedel av kurset 27. feb. 2019 10:56
Fellestimene 19. feb. 2019 15:21
Faglig krydder 19. feb. 2019 15:18
Fredagskafé 19. feb. 2019 15:17
Velkommen til f?rste fellestime 31. jan. 2019 20:20
Velkommen til IN1150 for v?ren 2019 3. jan. 2019 21:05

Kontakt

Institutt for informatikk