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.