UiO Universitetet i Oslo

IN1150 - Logiske metoder

Semesterside for IN1150 - V?r 2020

Fagl?rere

Roger Antonsen

Ressurser

Krydder og ekstra

Gruppel?rere og rettere

Beskjeder

L?sningsforslag og god sommer! ?? 29. juni 2020 14:51
Sp?rsm?l og svar om hjemmeeksamen 25. mai 2020 16:48
Takk for f?lget, og lykke til med hjemmeeksamen! 21. mai 2020 15:55
Avslutnings-Zoom-fest 14. mai 13. mai 2020 23:56
Pr?veksamen og planen for den siste uken 8. mai 2020 22:18
Kapittel 23 og 24 27. apr. 2020 15:09
P?skeuken og veien videre 3. apr. 2020 19:19
Skriftlig hjemmeeksamen 22. mai i Inspera 3. apr. 2020 16:34
Digital undervisning fremover 22. mars 2020 20:00
Innleveringsfrister og Mattermost 17. mars 2020 16:29
Ingen undervisning denne uken 16. mars 2020 14:39
Mer digital undervisning og veien videre 11. mars 2020 21:34
Induksjonsbevis, undervisningstilbud og veien videre 2. mars 2020 10:27
Grublegrupper, snublegrupper og opptak p? YouTube 18. feb. 2020 15:43
Sp?rreunders?kelse og kort oppdatering 12. feb. 2020 11:23
Andre uke er godt i gang: En oppdatering 28. jan. 2020 12:51
Velkommen til IN1150 for v?ren 2020 8. jan. 2020 11:23

Kontakt

Institutt for informatikk