Beskjeder

Melding fra studieadministrasjonen:

Kontinuasjonseksamen vil v?re muntlig. Datoen for eksamen er 11. august og ikke 12. august som det st?r p? fakultetets sider. Alle studenter som er meldt til eksamen skal m?te utenfor rom 2G kl. 08:45. Studentene det gjelder har f?tt e-post.

problemer med ? printe kap 9? Noe rart med pdf-filen, har n? lagt ut postscript-versjon , som ser ut til ? g? bedre.

L?sningsforslag til eksamensoppgavene er ogs? tilgjengelig: eksamen02L.pdf og eksamen03L.pdf .

LYKKE TIL P? EKSAMEN!

HUSK KURSEVALUERINGEN!

Eksamensoppgavene fra 2002 og 2003 kan lastes ned. I ?r er det bare 3-timers eksamen (uten hjelpemidler), s? dere kan regne med at oppgavene vil v?re litt mer rett frem enn disse (og litt f?rre oppgaver...). Likevel: det er god trening ? l?se gamle eksamensoppgaver!

Hint oblig 4: S?kerommet for sliding window protokollen kan bli ganske omfattende og kan til og med sprenge minnet p? maskinen. Det kan v?re lurt ? ha dette i tankene. Hvis vi kan spesifisere det samme systemet p? en litt mer deterministisk m?te, slik at s?kerommet blir litt mindre, kan det gj?re at s?kene blir mye lettere ? gjennomf?re.

Det kan ogs? v?re lurt ? pr?ve s?kene for mer deterministiske systemer f?rst. F.eks. kan man teste for protokoll uten tap og duplisering, s? bare med tap, s? bare med duplisering. Til slutt, n?r disse virker fornuftige, kan man pr?ve med b?de tap og duplisering.

Ekstra gruppetime 2. juni: Ellef tar en ekstra gruppetime i Lille Aud. 2. juni kl. 10-12. Alle kan m?te opp og stille spm. hvis noe er uklart i pensum.

Utsatt frist oblig 4: Frist for ? levere oblig 4 er utsatt til 10 mai. H?per dette minker arbeidspresset litt denne uken!

Konstruksjon av Pair: Konstrukt?ren fra forelesning gir feilmelding i ny versjon av Maude. Se her .

Har dere problemer med ? utf?re s?k i Full Maude 2.1? Fant en bug i g?r som skal (uoffisielt) v?re fikset p? IFI-systemet n?. For dere som har installert Maude 2.1 privat, foresl?r jeg at dere gj?r endringen som er beskrevet her .

Oblig 4 omhandler Sliding window protokollen. Oppgaveteksten er n? lagt ut.

Forelesningen i dag fredag 23. april er flyttet til Auditorium 3 i Helga Engs hus.

Har lagt ut noen foiler om formatering av Maude kode . Eksempelfil: format.maude . Kan nok v?re nyttig... Dessuten en del l?sningsforslag til de siste ukene.

Ny versjon av Maude: Maude 2.1 er endelig lagt opp p? IFI.

Ser ut til at ny versjon av Maude parser litt annerledes enn f?r. Parsefeil i denne ukens oppgaver l?ses med

subsort String < Oid .

Se oppgaveteksten.

Foiler til denne (og neste?) uke og oppgaver til neste er n? tilgjengelig. Legg merke til at forelesningene fremover ikke lenger er dekket av kompendiet. Jeg har derfor pr?vd ? la foilene v?re mer utfyllende enn det vi rekker ? g? gjennom p? forelesningene. Det kan v?re lurt ? ta en titt p? foilene f?r forelesning...

En del spesifikasjoner som har v?rt brukt p? forelesninger er n? lagt ut her .

Oppgavene til neste uke er n? lagt ut.

Ellef har laget en liten oversikt over relasjoner som kan v?re nyttig. Lastes ned her . Merk at stiordninger f?rst blir gjennomg?tt p? fredag.

Gledelig overraskelse! Numereringen av oppgaver i oblig02 er forskj?vet. Se ny oppgavetekst ! De som har gjort de gamle oppgavene f?r ta det som en bonus.

Oblig 2 er n? lagt ut! Se undervisningsplanen .

Oppgave 74 om konfluens utsettes til neste uke . Se oppdatert oppgavesett for denne uken.

Mye ? gj?re til gruppen denne uka?

Det blir neppe anledning til ? g? gjennom alle oppgavene p? gruppetimen. Foresl?r at f?lgende oppgaver prioriteres:

13, 15, 20 insertFront, 21.1 og .3, 25, 26, 27, 23.1 og .2, 16.1, 17, 18.

Gruppe 3 har flyttet til IFI-bygget, rom 3B, torsdager fra 10.00 til 12.00.

Oblig 1 er n? lagt ut! Se undervisningsplanen .