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