Beskjeder

Her er l?sningsforslaget til eksamen 2025. God sommer!

Mandag 2/6 12-16 fortsetter vi med eksamensoppgave 2016, hvor vi vel ble ferdig med 2c.  Vi tar resten.  Deretter oppgave 2 i eksamen 2024. Deretter eksamen 2014.  Videre kanskje b?de midterm og final exam 2008?  Se timeplanen for linker og sted.

Update: vi ser ogs? p? oppgave 175, og jeg ble bedt om mere likhetslogikk. Merk at onsdag er vi i Lille Aud i nabobygget hvis jeg ikke f?r adm til ? finne et annet rom.

Sjekk timeplanen.  Vi snakker om tidligerev eksamensoppgaver neste mandag 26.5 fra kl 12:15 til 16.  Merk sted for 14:15-16. Vi fortsetter der vi slapp sist med resten (fra oppgave 1e og utover) av eksamensoppgaven 2024. Deretter eksamen 2016. deretter eksamen 2014.  Se undervisningsplanen for detaljer og lenker.

Se timeplanen p? hvilke tidligere eksamensoppgaver jeg tenker ? gjennomg? NESTE mandag og onsdag (19/5 og 21/5).  Tenker ? gjennomg? tidligere eks-oppgaver b?de 12-:1514 og 14:15-16 p? mandag, og 10:15-12 p? onsdag. Jeg har ogs? frigjort en god del l?sningsforslag (p? oppgaver jeg ikke tenker ? gjennomg?).

Som vanlig satser vi p? ? gjennomg? ulike eksamensoppgaver og andre ting og oppgaver dere lurer p? i resten av semesteret. 

P? timeplanen har jeg satt opp tidligere eksamensoppgaver ? gjennomg? b?de f?rstkommende mandag 12:15-14:00 (normalt "orakeltime") og mandag 14:15-16:00.  Hva som skal gjennomg?s st?r p?  "timeplanen".     Det blir ingen ekstraundervisning *denne* onsdagen (14/5), men hvis interesse, fortsetter vi mandager og onsdager fremover.  Merk: send meg gjerne forslag p? ting som dere ?nsker at vi gjennomg?r!   (Merk at timeplanen er noe oppdatert fredag ettermiddag.)

Systemet virker litt tungrodd og jeg m?tte taste inn SMS-kode tre ganger, men jeg skal ha scheduled zoom-forelesningen  med

Join Zoom Meeting
https://uio.zoom.us/j/62548826937?pwd=ok7a0JAcUcZGZmkrTVEfTDkvWjvN0Z.1

Meeting ID: 625 4882 6937
Passcode: 497979

I tilfelle denne ikke funker, bruker vi f?lgende backup-l?sning: https://ethz.zoom.us/j/64622530979

Endelig f?r man ?ve seg p? eksamensoppgaver og distributerte systemer i oblig3!  Jeg er veldig gener?s med fristen, ONSdag 30. april, men den b?r l?ses lenge f?r det. 

Husk innleveringsfrist obligatorisk oppgave 2 fredag 7. mars

Obligatorisk oppgave 2 har frist 7.3.  Oppgavene under punkt 1 kan gj?res etter forelesningen 5. februar, oppgavene under pkt 2 (terminering) etter forelesningen 12. februar, og oppgaven under punkt 3 (konfluens) etter forelesningen 19. februar.

Jeg har satt opp en plan for teamer for forelesningene, men denne er *veldig forel?pig* og *vil* bli endret i l?pet av semesteret av ulike grunner, som f eks at jeg m? v?re andre steder.  For eksempel vil jeg kanskje av og til bytte om p? forelesning og oppgavegjennomgang.

Siden programmering/modellering i det (for mange) nye spr?ket Maude er meget sentralt i emnet har vi denne gang en ordning med "orakel-tjeneste" mandager 12-14. Det betyr vel at jeg sitter der og hjelper folk med ? l?se oppgaver p? maskin.  Deretter oppgavegjennomgang mandager 14-16.  Den f?rste mandagen (27. januar) vil det v?re forelesning mandag 14-16, for at vi kommer godt igang. Obligatorisk oppgave 1 har ogs? innleveringsfrist  14. februar, men b?r gj?res ferdig lenge f?r det.