Forelesninger finner sted torsdager 12.15-15.00 i Seminarrom Caml, rom 3438 i Ole-Johan Dahls hus.
Gruppe?velser finner sted mandager kl 12.15-14.00 i Seminarrom C, rom 3437 i Ole-Johan Dahls hus.
English dictionary: forelesning(er) means lecture(s) and takes place Thursdays 12.15-15.00 in seminar room Caml (room 3438). Oppgave(r) means exercise(s); they are discussed on Mondays at 12.15am in room C (room 3437). Oppgavesett means Problem set.
| Date | Teacher | Place | Topic | Lecture notes / comments | |
| 16.01.2014 | Peter ?lveczky | Seminarrom Caml, Ole-Johan Dahls hus rom 3438 | Introduksjon til kurset; litt om signaturer (introduction; signatures) | ||
| 20.01.2014 | Peter ?lveczky | Seminarrom Fortress, Ole-Johan Dahls hus, rom 3468 | *Forelesning*: likhetsspesifikasjoner (*lecture!*) |
Merk at dette er en ekstra forelesning for ? komme godt igang med kurset, noe som gj?r det mulig ? avslutte forelesningsrekken tidligere. |
|
| 23.01.2014 | Peter ?lveczky | Seminarrom Caml, OJDs hus, rom 3438 | Order-sorted spesifikasjoner og innebygde moduler |
Kapitlene 2.3.4, 2.3.6, 2.4, 2.5 og 2.7 av kompendiet. |
|
| 27.01.2014 | Peter ?lveczky | Seminarrom Fortress, OJDs hus rom 3468 | Oppgaver/Exercises | Oppgavesett 1 | |
| 30.1.2014 | Peter ?lveczky | Sem.rom Caml, OJDs hus 3438 | Assosiativitet og kommutativitet; operasjonell semantikk |
Kapitlene 3.1, 3.2, 3.6 og 3.7. Obligatorisk oppgave 2 ute. Frist 28/2 Mandatory homework assignment 2 has to be submitted by February 28 |
|
| 3.2.2014 | Lucian Bentea | Sem.rom Fortress, OJD 3468 | Oppgavegjennomgang/Exercises | Oppgavesett 2 | |
| 6.2.2014 | Peter ?lveczky | Sem.rom Caml, OJD 3438 | Terminering |
Kapittel 3.3 Merk: Her vil jeg sannsynligvis trenge alle tre timene; |
|
| 7.2.2014 | Innleveringsfrist obligatorisk oppgave 1
Deadline for mandatory homework assignment 1 |
||||
| 10.2.2014 | Peter ?lveczky | Sem.rom Fortress, OJD 3468 | Oppgavegjennomgang/Exercises | Oppgavesett 3
Gj?r ogs? noen termineringsoppgaver fra Oppgavesett 4 (Also try some termination excercises from Problem Set 4) |
|
| 13.02.2014 | Peter ?lveczky | Sem.rom Caml, OJDs hus 3438 | Konfluens/Confluence |
Kapittel 3.4 |
|
| 17.02.2014 | Peter ?lveczky | Seminar room C, OJD 3437 | Oppgavegjennomgang/Exercises |
Notice new location! |
|
| 20.02.2014 | Peter ?lveczky | Sem.rom Caml, OJD 3438 | Likhetslogikk |
Kapittel 4 |
|
| 24.02.2014 | Peter ?lveczky | Seminar room C, OJD 3437 | Oppgavegjennomgang/Exercises | Oppgavesett 5
Vi gj?r kanskje noen etterslengere fra Oppgavsett 4 og Opgavesett 5 Notice location! |
|
| 27.02.2014 | Peter ?lveczky | Caml, OJD 3438 | Introduksjon til Del II; omskrivningslogikk | Slides | |
| 28.02.2014 | Innleveringsfrist obligatorisk oppgave 2
Deadline for mandatory homework assignment 2 |
||||
| 03.03.2014 | Peter ?lveczky | C, OJD 3437 | Oppgavegjennomgang/Exercises | Oppgavesett 6 | |
| 06.03.2014 | Peter ?lveczky | Caml, OJD 3438 | Distribuerte objekter i (Full) Maude | Slides | |
| 10.03.2014 | Lucian Bentea | C, OJD 3437 | Oppgavegjennomgang/Exercises | Oppgavesett 7 | |
| 13.03.2014 | Lucian Bentea | Caml, OJD 3438 | Modellering av kommunikasjon i Maude; "TCP", Alternating Bit Protocol, Sliding Window Protocol |
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 ) |
|
| 17.03.2014 | Lucian Bentea | C, OJD 3437 | Oppgavegjennomgang/Exercises | Oppgavesett/Problem Set 8 | |
| 20.03.2014 | Lucian Bentea | Caml, OJD 3438 | To-fase-commit-protokollen for distribuerte databaser/Temporale egenskaper |
Kapittel 9 og 10 i kompendiet gjennomg?s. Maude spesifikasjon av 2PC (bruker filen new-LINK.maude |
|
| 24.3.2014 | Lucian Bentea | C, OJD 3437 | Oppgavegjennomgang/Exercises |
|
|
| 27.3.2014 | Peter ?lveczky | Caml, OJD 3438 | Kryptografiske protokoller (NSPK-protokollen) |
Kapittel 12 av kompendiet Siste regul?re forelesning for INF 3230! |
|
| 31.3.2014 | Peter ?lveczky | C, OJD 3437 | Oppgavegjennomgang/Exercises | Oppgavesett 11 | |
| 3.4.2014 | ?lveczky | Caml, OJD 3438 | ---------- | No lecture | |
| 7.4.2014 | Lucian Bentea | C, OJD 3437 | Oppgaver/Exercises | Oppgavesett 12 | |
| 10.4.2014
11.4.2014 |
----
|
---
|
-----
Innleveringsfrist Oblig3 |
Extra lecture has been moved to May 8.
Deadline Mandatory Homework Assignment 3 |
|
|
24.4.2014--11.6.2014
------------------------ 8.5.2014 |
?lveczky/Bentea
----------------------------- Peter ?lveczky |
------------------------------------ CAML, OJD 3438 |
Oppgaver/Exercises
------------------------------------------------------- Extra lecture for INF 4231 students |
Her har vi masse tid til ? gjennomg? gamle eksamensoppgaver og andre relevante ting; eventuelt ogs? oppgaver i ekstra pensum. 24.4.2014: Exam 2013 28.4.2014: Exam 2012 5.5.2014: Exam 2010 22.5.2014: Exam 2009 and if time Exercise 3 from Exam 2013 Dette kan vi diskutere sammen! ------------------------------------ Temporal logic (slides). Merk at slidene definerer pensum i temporallogikk for 4231-studentene, og ogs? inneholder oppgaver til dette temaet! |
|
|
12.06.2014
|
Eksamen (exam) | 8.45--13.00 | 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 8.45pm. |