• Hopp til hovedinnhold
 
UiO Universitetet i Oslo
No En
  • For ansatte
  • Mine studier
  • Forsiden
  • Forskning
  • Studier
  • Livet rundt studiene
  • Tjenester og verktøy
  • Om UiO
  • Personer
Undermeny
  • Studier
  • Emner
  • Matematikk og naturvitenskap
  • Informatikk
  • IN1150
  • Vår 2026
    • Ofte stilte spørsmål
    • Grupper
    • Innleveringer
    • Avslutningsfest
    • Forelesningsmateriale
    • Forkurs
Studier > Emner > Matematikk og naturvitenskap > Informatikk > IN1150 > Vår 2026
IN1150 - Logiske metoder

Semesterside for IN1150 - Vår 2026

  • Timeplan i TP
  • Pensum/litteratur i Leganto
  • Eksamen: Tid og sted

Faglærere

  • Arild Torolv Søetorp Waaler Universitetet i Oslo
  • Henrik Forssell Universitetet i Oslo

Gruppelærere og rettere

  • Einar Guttu Ekeberg
  • Luna Artemis Midttun Hukkelberg
  • Åsmund Olai Sand-Larsen
  • Mathias Knudsen
  • Sigurd Sevaldrud
  • Ada-Marie Sørensen Sneve
  • Jonathan Okafor Okoli

Ressurser

  • Nettkurs
  • Discourse
  • Retteliste til Logiske metoder
  • Ofte stilte spørsmål
  • Tidligere eksamener

Beskjeder

  • Lykke til på eksamen (og siste ukens nøtt) 31. mai 2026 15:18
  • Takk for følget, og lykke til på eksamen! (Info) 21. mai 2026 18:33
  • Siste uke med undervisning 18. mai 2026 11:11
Se flere beskjeder

Kontakt

Institutt for informatikk

Universitetet i Oslo logo

Kontakt

Kontakt oss
Finn frem

Om nettstedet

Bruk av informasjonskapsler
Tilgjengelighetserklæring

Ansvarlig for denne siden

Studieredaktør

Logg inn