Semesterside for IN2100 - Vår 2024

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

Pensum/læringskrav

• pensum

Tidligere eksamensoppgaver

• Tidligere eksamensoppgaver med løsningsforslag

• Hvilke eksamensoppgaver er ikke lenger pensum?

Obligatoriske oppgaver

• Obligatorisk oppgave 1 (frist 9. februar)
• Obligatorisk oppgave 2 (frist 8. mars)

• Obligatorisk oppgave 3 (frist 26. april)

Ukeoppgaver og løsningsforslag til ukeoppgaver

• Oppgavesett 1
• Løsningsforslag 1
• Oppgavesett 2
• Løsningsforslag 2
• Oppgavesett 3
• Løsningsforslag 3
• Oppgavesett 4
• Løsningsforslag 4
• Oppgavesett 5
• Løsningsforslag 5
• Oppgavesett 6
• Løsningsforslag 6
• Oppgavesett 7
• Løsningsforslag 7 (av tidligere gruppelærer)

• Oppgavesett 8
• Løsningsforslag 8
• Oppgavesett 9
• Løsningsforslag 9
• Oppgavesett 10
• Løsningsforslag 10
• Oppgavesett 11
• Løsningsforslag 11
• Oppgavesett 12
• Løsningsforslag 12
• Oppgavesett 13
• Oppgavesett 14
• Løsningsforslag 14

Opptak av forelesninger

• Opptak av forelesninger skal visstnok ligge her

Pensumbok og pensumartikkel

• Pensumbok: P. C. Ölveczky: Designing Reliable Distributed Systems (fås kjøpt på Akademika)

• Pensumartikkel: Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff: How Amazon Web Services Uses Formal Methods