Beskjeder
* Man har en halvtime ekstra til ? levere inn besvarelsen.
* Dere ?nsket ikke felles "zoom-tr?sterunde" s? eventuelle sml m? sendes p? mail (eller ringe meg p? telefon). Ingen kontakt med andre!
* Eksamensoppgaven er her
Lykke til!
Etter ?nske kj?rer vi eksamensoppgavegjennomgang ogs? Kristi Himmelfartsdag kl 10.15. Tror det blir p? f?lgende lenke:
https://uio.zoom.us/j/62292787826?pwd=VC9XM2F4OXZ5WCtCZ3BXUVRTZUlLUT09
Det f?lgende m? alle kjenne til (fra én eller annen admin-person ett eller annet sted):
-------------------------------------
Generell informasjon:
- Viktige beskjeder under eksamen blir gitt direkte fra fagl?rer p? emnets semesterside (eller i email til alle studenter?). Det er derfor viktig at du sjekker emnets semesterside jevnlig.
- Besvarelsen din skal reflektere ditt eget, selvstendige arbeid og skal v?re et resultat av din egen l?ring og arbeidsinnsats.
- Alle hjelpemidler er tillatt ved skriftlig hjemmeeksamen. Dersom du gjengir tekst fra b?ker, nettartikler eller lignende, s? m? det henvises til disse kildene i besvarelsen for ? unng? mistanke om ulovlig tekstlikhet. Dette gjelder ogs? dersom du oversetter tekst fra andre spr?k.
- Du er selv ansvarlig for ? s?rge for at eksamensbesvarelsen din ikke er tilgjengelig for andre under eksamenstiden, hverken ...
Fra og med neste uke, og s? lenge det er interesse for det, skal vi gjennomg? tidligere eksamensoppgaver. Kanskje b?de onsdager (14.15) og torsdager (10.15). Jeg ?nsker ? gj?re det interaktivt, s? fint hvis man har pr?vd ? l?se oppgavene p? forh?nd. Vi starter med ? se p? (i rekkef?lge):
- Eksamen 2019, de oppgavene som ikke ble gjort i Oblig 3, dvs 1h-j og oppgave 2.
- ...
Her er den innspilte forelesning 15, den siste forelesningen i emnet. Som vanlig vil vi snakke om denne p? onsdag.
I denne videoen pr?ver jeg ? l?se oppgavene 225.1, 229.2, 231.1 og 3 og 236 fra oppgavesett 14.
Klassisk zoom-innspilling av forelesning 14. Denne skal vi snakke om p? "forelesningen" onsdag; v?r vennlig og send sp?rsm?l og/eller ting jeg skal besvare/klargj?re, etc. p? onsdag.
Siden gjesteforelesningen til Ralf Sasse i h?yeste grad er pensum ?nsker jeg ? bruke en time p? onsdag til ? diskutere med dere: hva l?rte dere av gjesteforelesningen? S? fint hvis man tenker over den forelesningen (slides p? emneplanen).
Fin-fint bes?k denne dagen: Ralf Sasse fra ETH Zürich holder "live zoom" forelesning vanlig tid 14.15, om hvordan Maude og multisett-omskrivning har knekket Internet Explorer, 5G-standarden og de betalingssystemene vi bruker til daglig. Forelesningen er i h?yeste grad pensum.
Innspilt forelesning 13 er her. Send meg ?nsker/sp?rsm?l som ?nskes besvart/diskutert p? onsdagens diskusjonsrunde/forelesning.
Obligatorisk oppgave 3 inneholder tre oppgaver fra tidligere eksamensoppgaver, og omhandler stort sett enkle distribuerte algoritmer. Totalt utgjorde de tre oppgavene 165% av en 4-timers-eksamen, som omtrent blir én seks-timers-eksamen. Veldig bra hvis man setter igang s? fort som mulig. Merk at noen (markerte) deloppgaver kan l?ses etter forelesningen 7/4.
Den f?rste timen av forelesning 12 (knekke sikkerhetsprotokoller) er her. H?per del 2 kommer i natt eller imorgen tidlig.
Jeg har n? pr?vd ? l?se oppgavene 174 og 177 "live" p? direkten. Hvordan det gikk kan man se i denne videoen. Merk at analysen noe overraskende oppdaget en feil i min spec av TCP med linker.
Tok ekstra lang tid denne gangen (tidligere slides kun p? engelsk). Ble litt sliten; h?per det er forst?elig likevel. Her er den. Husk ? sende meg sp?rsm?l om hva som m? gjennomg?s dypere p? onsdag.
Min fil full-maude.maude for Maude 2.7.1. Vet ikke om dere ogs? har en slik som gir "formattert" output av objekter. Hvis ikke, kan dere bruke min fil.
Her er forelesning 10-videoen. Som alltid: send meg sp?rsm?l om ting som b?r besvares/diskuteres/forklares bedre p? forelesningen onsdag.
I denne videoen l?ser jeg oppgavene 154 og 155.
Her en pre-innspilt forelesning 9. Send meg kommentarer hvis dere ?nsker at det er noe rundt denne forelesningen jeg skal ta opp p? onsdag.
Her er videoen hvor jeg gjennomg?r en veldig liten del av oppgavesett 8.
Her er videoen. Hvis noe tilfeldigvis skulle v?re uklart, eller trenger mer/bedre forklaringen, send meg sp?rsm?l, s? diskuterer vi det p? forelesning onsdag.
Oppgavene 85.2, 85.4 og 93 gjennomg?s i denne videoen.
L?reboken er n? tilgjengelig p? Akademika Blindern. De har ?pent som vanlig. Og hvis de m? lukke kan man likevel bestille og hente der. Dermed vil jeg ikke legge ut flere kapitler, og vil snart fjerne de andre fra emnesiden.
Her er innspilt forelesning 6. Studér den n?ye, og send meg sp?rsm?l som vi skal diskutere p? forelesning-sp?rsm?lsrunden p? onsdag.