UiO Universitetet i Oslo

IN1150 - Logiske metoder

Semesterside for IN1150 - Vår 2025

Faglærere

Anne-Marie George Universitetet i Oslo
Henrik Forssell Universitetet i Oslo

Gruppelærere og rettere

Mer om Gruppelærere og rettere

Ressurser

Beskjeder

Løsningsforslag til konteeksamen 18. sep. 2025 09:24
Løsningsforslag til eksamen og takk for nå! 30. mai 2025 15:15
Attende Forelesningsuke (¬Forelesning) 19. mai 2025 13:36
Avslutningsfest og prøveeksamen 14. mai 2025 08:36
Syttende Forelesningssuke 12. mai 2025 11:01
Ny frist for Innlevering 11 er 15.05.2025 6. mai 2025 10:02
Sekstende Forelesningssuke 5. mai 2025 10:21
Femtende Forelesningssuke 28. apr. 2025 10:39
Fjortende uke 22. apr. 2025 08:46
Tolvte Forelesningssuke 7. apr. 2025 10:47
Ellevte Forelesningssuke 31. mars 2025 10:09
Tiende Forelesningssuke 24. mars 2025 10:13
Niende Forelesningssuke 17. mars 2025 10:14
Åttende Forelesningssuke 10. mars 2025 07:47
Obligatoriske oppgaver 7. mars 2025 09:03
Syvende Forelesningsuke 3. mars 2025 11:42
Sjette Forelesningsuke 24. feb. 2025 10:36
Femte Forelesningsuke 17. feb. 2025 08:52
Fjerde Forelesningsuke 10. feb. 2025 08:42
Tredje Forelesningsuke 3. feb. 2025 08:56

Se flere beskjeder

Kontakt

Institutt for informatikk