Semesterside for IN2100 - Vår 2023

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