Semesterside for IN2100 - V?r 2023

• Timeplan
• Eksamen: Tid og sted

Pensum

• Pensum

Tidligere eksamensoppgaver

• Tidligere eksamensoppgaver og l?sningsforslag

• Hvilke eksamensoppgaver er ikke lenger pensum?

Obligatoriske oppgaver

• Obligatorisk oppgave 1 (frist 17.2)
• Obligatorisk oppgave 2 (frist 17.3)

• Obligatorisk oppgave 4 (frist 14.4) ("frivillig")
• Obligatorisk oppgave 3 (frist 5.5)

L?sninger p? ukeoppgaver

• L?sningsforslag oppgavesett 1
• L?sningsforslag oppgavesett 2
• L?sningsforslag oppgavesett 3
• L?sningsforslag oppgavesett 4
• L?sningsforslag oppgavesett 5
• L?sningsforslag oppgavesett 6
• L?sningsforslag oppgavesett 7

• L?sningsforslag oppgavesett 8
• L?sningsforslag oppgavesett 9
• L?sningsforslag oppgavesett 10
• L?sningsforslag oppgavesett 11
• L?sningsforslag oppgavesett 12
• L?sningsforslag oppgavesett 14

Ukeoppgave-sett (se planen for hva som gj?res n?r)

• Oppgavesett 1
• Oppgavesett 2
• Oppgavesett 3
• Oppgavesett 4
• Oppgavesett 5
• Oppgavesett 6
• Oppgavesett 7
• Oppgavesett 8

• Oppgavesett 9
• Oppgavesett 10
• Oppgavesett 11
• Oppgavesett 11
• Oppgavesett 12
• Oppgavesett 13
• Oppgavesett 14

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