• 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
  • IN2100
    • Vår 2026
Studier > Emner > Matematikk og naturvitenskap > Informatikk > IN2100 > Vår 2026
IN2100 - Logikk for distribuerte systemer

Semesterside for IN2100 - Vår 2026

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

Faglærere

  • Peter Csaba Ølveczky Universitetet i Oslo

Pensum/læringskrav

  • Pensum/læringskrav

Ukeoppgaver og løsningsforslag til ukeoppgaver

  • Oppgavesett 1
  • Løsningsforslag oppgavesett 1 som Maude-fil
  • Oppgavesett 2
  • Løsningsforslag oppgavesett 2
  • Oppgavesett 3
  • Løsningsforslag oppgavesett 3
  • Oppgavesett 4
  • Løsningsforslag oppgavesett 4
  • Oppgavesett 5
  • Løsningsforslag oppgavesett 5
  • Oppgavesett 6
  • Løsningsforslag oppgavesett 6
  • Oppgavesett 7
  • Løsningsforslag oppgavesett 7
  • Oppgavesett 8
  • Løsningsforslag oppgavesett 8
  • Oppgavesett 9
  • Løsningsforslag oppgavesett 9
  • Oppgavesett 10
  • Løsningsforslag oppgavesett 10
  • Oppgavesett 11
  • Løsningsforslag oppgavesett 11
  • Oppgavesett 12
  • Løsningsforslag oppgavesett 12
  • Oppgavesett 13
  • Oppgavesett 14
  • Løsningsforslag oppgavesett 14
  • Oppgaver til 7/5 (terminering)
  • Oppgaver til 12/5 (konfluens)

Pensumbok og pensumartikkel

  • Pensumbok
  • Pensumartikkel

Tidligere eksamensoppgaver

  • Tidligere eksamensoppgaver med løsningsforslag
  • Hvilke eksamensoppgaver er ikke lenger pensum

Obligatoriske oppgaver

  • Obligatorisk oppgave 1 (frist 13/2)
  • Obligatorisk oppgave 2 (frist 6/3)
  • Obligatorisk oppgave 3 (frist 30/4)

Beskjeder

  • God sommer! 11. juni 2026 09:32
  • Eksamensoppgavegjennomgang 12/5 (og videre) 7. mai 2026 14:33
  • Lenke til zoom-forelesening 5/5 3. mai 2026 16:11
  • Neste uke (5 og 7. mai) 30. apr. 2026 14:40
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