Beskjeder

Publisert 19. mai 2005 12:04

EKSAMEN

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

Publisert 13. mai 2005 11:55

PENSUM

Hele boka med unntak av f?lgende

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

Publisert 22. apr. 2005 02:00

PLAN VIDERE

  • Forelesning 29.04
  • Ingen forelesning 06.05
  • Siste forelesning 13.05

Innlevering oblig3 - 13.05

Muntlig eksamen i uke 22

Publisert 19. apr. 2005 02:00

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

Publisert 25. feb. 2005 01:00

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.

Publisert 31. jan. 2005 01:00

Tidsplan

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

Muntlig eksamen uke 22

Publisert 21. jan. 2005 01:00

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

Publisert 21. jan. 2005 01:00

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$

Publisert 17. jan. 2005 01:00

Nytt tidspunkt for forelesning

Fredag 1015 - 1200

Hypermedialabben (som f?r)

Publisert 18. nov. 2004 01:00

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