Forelesninger finner sted mandager 12.15-15.00 i Seminarrom Postscript, rom 2458 i Ole-Johan Dahls hus.
Gruppeøvelser finner sted fredager kl 10.15-12.00 i Seminarrom Java, rom 2423 i Ole-Johan Dahls hus.
English dictionary: forelesning(er) means lecture(s) and takes place Mondays 12.15-15.00 in seminar room Postscript. Oppgave(r) means exercise(s); they are discussed on Fridays at 10.15am in room Java. Oppgavesett means Problem set.
| Date | Teacher | Place | Topic | Lecture notes / comments |
| 14.01.2013 | Peter Ølveczky | Seminarrom Postscript, Ole-Johan Dahls hus rom 2458 | Introduksjon til kurset; litt om signaturer (introduction; signatures) | Slides |
| 18.01.2013 | Peter Ølveczky | Seminarrom Python, Ole-Johan Dahls hus, rom 2269 | *Forelesning*: likhetsspesifikasjoner (*lecture!*) | Slides
Merk at dette er en ekstra forelesning for å komme godt igang med kurset, noe som gjør det mulig å avslutte forelesningsrekken tidligere. Merk stedet (rom Python) |
| 21.01.2013 | Peter Ølveczky | Seminarrom Postscript, OJDs hus, rom 2458 | Order-sorted spesifikasjoner og innebygde moduler | Kapitlene 2.3.4, 2.3.6, 2.4, 2.5 og 2.7 av kompendiet. |
| 25.01.2013 | Lucian Bentea | Seminarrom Java, OJDs hus rom 2423 | Oppgaver/Exercises | Oppgavesett 1 |
| 28.01.2013 | Lucian Bentea | Sem.rom Postscript, OJDs hus 2458 | Assosiativitet og kommutativitet; operasjonell semantikk | Slides
Kapitlene 3.1, 3.2, 3.6 og 3.7. Obligatorisk oppgave 2 ute. Frist 27/2 Mandatory homework assignment 2 has to be submitted by February 27 |
| 01.02.2013 | Lucian Bentea | Sem.rom Java, OJD 2423 | Oppgavegjennomgang/Exercises | Oppgavesett 2 |
| 04.02.2013 | Lucian Bentea | Sem.rom Postscript, OJD 2458 | Terminering | Slides
Kapittel 3.3
|
| 06.02.2013 | Innleveringsfrist obligatorisk oppgave 1
Deadline for mandatory homework assignment 1 |
|||
| 08.02.2013 | Lucian Bentea | Sem.rom Java, OJD 2423 | Oppgavegjennomgang/Exercises | Oppgavesett 3
Gjør også noen termineringsoppgaver fra Oppgavesett 4 (Also try some termination excercises from Problem Set 4) |
| 11.02.2013 | Peter Ölveczky | Sem.rom Postscript, OJDs hus 2458 | Konfluens/Confluence | Slides
Kapittel 3.4
|
| 15.02.2013 | Lucian Bentea | Java, OJD 2423 | Oppgavegjennomgang/Exercises | Gjør resten av Oppgavesett 4 (Solutions )
og gjør så noe konfluens fra Oppgavesett 5 (Solutions ) (Rest of problem set 4 and then some from problem set 5) |
| 18.02.2013 | Peter Ölveczky | Sem.rom Postscript, OJD 2458 | Likhetslogikk | Kapittel 4 |
| 22.02.2013 | Lucian Bentea | Java, OJD 2423 | Oppgavegjennomgang/Exercises | Oppgavesett 6
(Solutions ) Vi gjør kanskje noen etterslengere fra Oppgavsett 4 og Opgavesett 5 |
| 25.02.2013 | Peter Ölveczky | Postscript, OJD 2458 | Introduksjon til Del II; omskrivningslogikk | Slides |
| 27.02.2013 | Innleveringsfrist obligatorisk oppgave 2
Deadline for mandatory homework assignment 2 |
|||
| 01.03.2013 | Lucian Bentea | Java, OJD 2423 | Oppgavegjennomgang/Exercises | Vi gjør Oppgavesett 6, og eventuelt noe fra Oppgavsett 7 hvis det blir noe tid til overs. |
| 04.03.2013 | Peter Ölveczky | Postscript, OJD 2458 | Distribuerte objekter i (Full) Maude | Slides |
| 08.03.2013 | Lucian Bentea | Java, OJD 2423 | Oppgavegjennomgang/Exercises | Oppgavesett 7 og Oppgavesett 8 |
| 11.03.2013 | Peter Ølveczky | Postacript, OJD 2423 | Modellering av kommunikasjon i Maude; "TCP", Alternating Bit Protocol, Sliding Window Protocol | Slides
Kapittel 8, unntatt 8.3.3. Merk at mye som av det som gjennomgås ikke er med i kompendiet, selv om det er pensum i aller høyeste grad. Dette er det eneste sted/forelesning som ikke dekkes ("i meget stor grad") av kompendiet. Etter denne forelesningen har man grunnlag for å løse obligatorisk oppgave 3 (You can now do Mandatory Assignment 3 ) |
| 15.03.2013 | Lucian Bentea | Java, OJD 2423 | Oppgavegjennomgang/Exercises | Oppgavesett 9 and Oppgavesett 10 (Problem Set 10 in English ) |
| 18.03.2013 | Peter Ölveczky (?) | Postscript, OJD 2458 | To-fase-commit-protokollen for distribuerte databaser/Temporale egenskaper |
Slides: http://folk.uio.no/peterol/INF3230V13/Forelesninger/f13-12.pdf
Kapittel 9 og 10 i kompendiet gjennomgås. Maude spesifikasjon av 2PC (bruker filen new-LINK.maude |
| 22.03.2013 | Ölveczky/Bentea | Java, OJD 2423 | Oppgavegjennomgang/Exercises | Oppgavesett 11 |
| 25.03.2013 | ----- | ----- | ----- | According to University regulations, this week is devoted to self-study. Therefore no lecture. |
| 29.03.2013 | ---- | ---- | ---- | Påskearbeidsuke (ingen oppgavegjennomgang) |
| 01.04.2013 | ---- | ---- | ---- | Påskearbeidsuke (ingen forelesning)
This is a national holiday, to allow all Norwegians to attend church this day. So, no lecture. |
| 05.04.2013 | ---- | ---- | ---- | Ingen oppgaver til denne uken, men jobb hardt med Oblig 3!
(No exercises; work hard on Mandatory Homework Assignment 3)
Note that the *deadline* for Oblig 3 is April 12!! No lecture before then! |
| 15.04.2013 | Peter Ölveczky | Postscript, OJD 2458 | Kryptografiske protokoller (NSPK-protokollen) | Kapittel 12 av kompendiet
Note date!!! The stupid web system has been updated, so have to do it this way. |
| 19.04.2013 | Peter Ölveczky | Java, OJD 2423 | Oppgavegjennomgang/Exercises | Oppgavesett 12 |
| 22.04.2013 | ------ | ------ | No more lectures! | |
| 29.04.2013 | Peter Ölveczky | Postscript, OJD 2458 | Oppgaver/Exercises |
http://folk.uio.no/peterol/INF3230V13/Oppgaver/eks12.pdf (exam 2012)
Note, we will have seminars on Mondays instead of lectures. Maybe a Friday every now and then |
| 06.05.2013 | Peter Ölveczky | Postscript, OJD 2458 | Oppgaver/Exercises | Først eksamen 2009 og så midterm eksamen 2008 og deretter eksamen 2008 |
| 13.05.2013 | Peter Ölveczky | Postscript, OJD 2458 | Exercises from earlier exams | Oppgave 2 fra Midterm exam 2006 og (alle oppgavene) fra Final Exam 2006 ogMidterm exam 2007 og Final Exam 2007 .
Jeg vil nok snakke mer om de "teoretiske delene" men det anbefales at man gjør "modelleringsdelene" i Maude; jeg har selv skrevet alle i Maude, og modellene ("programmene") er stort sett bare noen få linjer. Merk at dette er på mandag |
|
24.05.2013 27.05.2013
------------------------ 7.6.2013 |
Peter Ölveczky Peter Ölveczky
----------------------------- Peter Ölveczky |
Java Postscript
------------------------------------ Java (10.15am) |
Oppgaver/Exercises |
This is *Friday*. WE'll do exams from 2008 This is *Monday*. We'll do exams from 2007 (and maybe NSPK-2008) ------------------------------------------------------- More exam problems: Exercises 214, 215, 216, 220, 231, and 234 (in no particular order) |
|
13.06.2013
|
Eksamen (exam) | 14.15-18.30 | Eksamen. Sjekk universitets offisielle sider for å være sikker på tid og sted.
Final exam. Check official web pages for time and place. Most likely 2.45pm. |