| Date | Teacher | Place | Topic | Lecture notes / comments |
| 24.01.2011 | Olaf Owe? | Prolog 2465 Ole-Johan Dahls hus? | Introduksjon til kurset; litt om signaturer (introduction; signatures)? | ? |
| 31.01.2011 | Olaf Owe? | Prolog 2465 Ole-Johan Dahls hus? | Forelesning: likhetsspesifikasjoner (Equational specifications)? | ?Obligatorisk oppgave 1 Mandatory homework assignment 1 ? |
| 04.02.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises ? | Problem set 1 (in Norwegian) Problem set 1 (in English) ? |
| 07.02.2011 | Olaf Owe? | Prolog 2465 Ole-Johan Dahls hus? | Forelesning: Order-sorted spesifikasjoner og innebygde moduler ? | ? |
| 11.02.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus ? | Oppgaver/Exercises? | Remaining exercises from Problem set 1 (17-18)Problem set 2 ? |
| 14.02.2011 | Olaf Owe? | Prolog 2465 Ole-Johan Dahls hus ? | Assosiativitet og kommutativitet; operasjonell semantikk ? | ? |
| 18.02.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus ? | Oppgaver/Exercises? | Remaining exercises from problem set 2 (31-40 and partial orders)? |
| 21.02.2011 | Rudi Schlatte? | Prolog 2465 Ole-Johan Dahls hus? | Terminering/termination ? | ? |
| 25.02.2011 | Rudi Schlatte ? | Shell 1456 Ole-Johan Dahls hus ? | Oppgaver/Exercises ? | Oppgavesett 3/Problem Set 3 (solutions in English )and try to do some of the exercises on termination in oppgavesett 4/problem Set 4 ? |
| 28.02.2011 | Rudi Schlatte ? | Prolog 2465 Ole-Johan Dahls hus ? | Konfluens/Confluence ? | ? |
| 04.03.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises ? | Oppgavesett 4/Problem Set 4 (solutions in English )? |
| 07.03.2011 | Rudi Schlatte ? | Prolog 2465 Ole-Johan Dahls hus? | Equational logic and inductive theorems ? | Mandatory homework assignment 2? |
| 11.03.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises? | Do the rest of the termination exercises in oppgavesett 4/problem set 4 and the confluence exercises in oppgavesett 5/problem set 5(solutions in English )? |
| 14.03.2011 | Rudi Schlatte ? | Prolog 2465 Ole-Johan Dahls hus? | Start of Part II: Rewriting Logic? | ? |
| 18.03.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises? | Oppgavesett 6/Problem Set 6 (solutions in English )In addition, we will also discuss some confluence problems from Oppgavesett 5/Problem Set 5 ? |
| 21.03.2011 | Rudi Schlatte ? | Prolog 2465 Ole-Johan Dahls hus? | Distributed Objects in Maude? | ? |
| 25.03.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises? | Oppgavesett 7/Problem Set 7 Possibly, we can discuss some problem left from Oppgavesett 6/Problem Set 6 ? |
| 28.03.2011 | Rudi Schlatte ? | Prolog 2465 Ole-Johan Dahls hus? | Modeling Communication in Maude (I)? | ? |
| 01.04.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises? | Continue with some problem left from Oppgavesett 7/Problem Set 7 Start Oppgavesett 8/Problem Set 8 ? |
| 04.04.2011 | Ingrid Chieh Yu? | Prolog 2465 Ole-Johan Dahls hus? | Modeling communication in Maude (II)? | This week's lecture will start at 10am.? |
| 08.04.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises? | Continue with some problem left from Oppgavesett 8/Problem Set 8 Start Oppgavesett 9/Problem Set 9 ? |
| 11.04.2011 | Ingrid Chieh Yu? | Prolog 2465 Ole-Johan Dahls hus? | Two-phase commit protocol for distributed databases/Temporal properties (requirement spec's)? | Mandatory homework assignment 3?? |
| 13.04.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises? | Oppgavesett 10/Problem Set 10 ? |
| 18.04.2011 | Easter break? | ? | ? | ? |
| 20.04.2011 | Easter break? | ? | ? | ? |
| 25.04.2011 | Easter break? | ? | ? | ? |
| 27.04.2011 | Easter break? | ? | ? | ? |
| 02.05.2011 | Ingrid Chieh Yu? | Prolog 2465 Ole-Johan Dahls hus? | Needham-Schroeder Public-key Authentication Protocol? | ? |
| 06.05.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises? | Oppgavesett 11/Problem Set 11 ? |
| 09.05.2010 | ? | ----? | ----? | No more lectures! ? |
| 13.05.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Oppgaver/Exercises? | Oppgavesett 12/Problem Set 12 ? |
| 16.05.2010 | Ingrid Chieh Yu? | Prolog 2465 Ole-Johan Dahls hus? | Earlier exam? | We solve the final exam in 2008 and if time allows the midterm exam in 2008? |
| 20.05.2011 | Daniela Lepri? | Shell 1456 Ole-Johan Dahls hus? | Earlier Exam? | We solve the Exam from 2009? |
| 23.05.2011 | Ingrid Chieh Yu? | Prolog 2465 Ole-Johan Dahls hus? | Earlier exam? | We continue with 2008 exams? |
| 07.06.2011 | ? | ? | Final Exam!? | Good Luck!? |
Teaching plan
Publisert 18. jan. 2011 11:12
- Sist endret 19. jan. 2012 13:27