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.