Semesterside for IN2100 - V?r 2024

• Timeplan
• 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