Beskjeder

EKSAMEN

Muntlig eksamen blir torsdag 2. juni fra kl. 10 i Hypermedielaben (HW609) - se oppslag på døren for tidsplan.

PENSUM

Hele boka med unntak av følgende

• Kap 5: Fra 5.5 og ut kapitlet
• Kap 8: Hele kapitlet
• Kap 9: 9.4

PLAN VIDERE

• Forelesning 29.04
• Ingen forelesning 06.05
• Siste forelesning 13.05

Innlevering oblig3 - 13.05

Muntlig eksamen i uke 22

OBLIG 3 - Innlevering 13.05

Du skal skrive et essay på 3-5 sider om bysantinske generaler med utgangspunkt i boka og det du måtte finne på web. Noen forslag til tema:

• generaliser moteksempelet for G = 3 og F = 1, til G = 3F
• generaliser algoritmen for G = 4 og F = 1, til G > 3F
• beskriv eksemplene på en mer formell måte ved bruk av allmenn kunnskap
• undersøk kompleksiteten til algoritmen
• drøft hva som kan skje når en forræder ikke holder seg til protokollen ved f eks å svare på noen men ikke alle spørsmål
• rett opp feil i beskrivelsen i boka

OBLIG 2 - Innlevering 01.04

I kapittel 3 i boka er det en del teoremer der bevisene bare er antydet. Ta for deg et av teoremene - teorem 13, 14, 15, 16, 17, 18 - og skriv det ut på maks 5 sider. Du velger selv hvilket teorem og velger selv hvor mange detaljer du har med og hva du bruker av bakgrunnsstoff.

Tidsplan

Oblig 1 - innlevering 11.02 Oblig 2 - innlevering 01.04 Oblig 3 - innlevering 13.05

Muntlig eksamen uke 22

OBLIG 1

Leveres fredag 11 februar

På side 25 i boka er det 13 aksiomer - fra K til L.

Undersøk om disse aksiomene er gyldige / falsifiserbare i logikkene K T S4 S5 og G

ERRATA i boka - riktig tekst i LaTex nedenfor.

s 19 linje 11: $\Diamond \Neg F, \Neg F, F$

s 20 linje 2: For alle $\Box G \in \Box \Gamma: G,\Diamond \Delta, \Delta$

s 24 linje 4: , og i alle verdener etter denne har vi $\neg \Box G$

Nytt tidspunkt for forelesning

Fredag 1015 - 1200

Hypermedialabben (som før)

Det er obligatorisk frammøte på undervisningen den første uken. Overtredelse kan medføre tap av studieplass på emnet.