UiO Universitetet i Oslo

IN1150 - Logiske metoder

Semesterside for IN1150 - Vår 2024

Faglærere

Lars Tveito Universitetet i Oslo
Jon Henrik Forssell Universitetet i Oslo

Gruppelærere og rettere

Ressurser

Beskjeder

God sommer og foreløpig løsningsforslag 14. juni 2024 17:59
Takk for følget, og lykke til på eksamen! 7. juni 2024 14:36
Avslutningsfest 🎉 24. mai 2024 22:06
Siste undervisninguke 19. mai 2024 18:25
Tid for repetisjon 10. mai 2024 20:28
Nå kan du alt 3. mai 2024 18:32
Ingen beskjeder i dag, bare nøtt 26. apr. 2024 14:16
..og snart en algebraiker også! 19. apr. 2024 20:33
Nå er du en logiker 5. apr. 2024 17:45
Obligatorisk innleveringsoppgave er publisert 22. mars 2024 16:20
Rettelse: Justeringer i timeplanen 11. mars 2024 20:45
En liten pause i IN1150 8. mars 2024 21:08
Induksjon, rekursjon og repetisjon 1. mars 2024 16:48
Mer induksjon og rekursjon 23. feb. 2024 16:12
Steg for steg, og et lite pust i bakken 16. feb. 2024 12:54
Funksjoner og sykt store mengder 9. feb. 2024 16:48
Bevis og relasjoner 2. feb. 2024 17:49
En uke full av formler! 26. jan. 2024 19:49
IN1150 er i gang! 19. jan. 2024 16:53
Velkommen til IN1150 våren 2024 19. des. 2023 19:08

Kontakt

Institutt for informatikk