UiO Universitetet i Oslo

IN1150 - Logiske metoder

Semesterside for IN1150 - H?st 2020

Fagl?rere

Roger Antonsen

Ressurser

Rettere

Anna Kejvalova

Beskjeder

Sensuren er klar 27. nov. 2020 13:32
Eksamen er over og l?sningsforslag er publisert 17. nov. 2020 20:08
Lykke til p? eksamen og takk for f?lget! ? 16. nov. 2020 22:06
Informasjon om digital hjemmeeksamen i IN1150 12. nov. 2020 12:33
Pr?veeksamen i Inspera 6. nov. 2020 16:40
Eksamen n?rmer seg 5. nov. 2020 20:12
Litt om eksamen 2. nov. 2020 12:56
Noen p?minnelser 29. okt. 2020 20:54
Zoom-sp?rretime p? fredager 15. okt. 2020 10:59
Induksjonsbevis og sp?rreskjema 14. sep. 2020 15:35
Status uke 4 7. sep. 2020 09:50
Denne uken b?r du gj?re kapitlene 5, 6 og 7 31. aug. 2020 10:30
Anbefalt progresjon, innleveringer, Mattermost, nettkurset og p?minnelser 24. aug. 2020 15:16
Praktisk informasjon og om IN1150 som et rent nettkurs 20. aug. 2020 12:36
Velkommen til IN1150 som nettkurs for h?sten 2020 11. aug. 2020 16:10

Kontakt

Institutt for informatikk