Beskjeder
Remember that you can bring written and printed material to the exam. It is an "open-book exam". Good luck!
The correct (?) version of Full Maude is 2.4l of July 28, 2009. It is available here!
Fristen for oblig2 utsatt én uke, til 3. Mars.
Deadline for mandatory homework assignment 2 extended by one week to March 3.
Notice that there is a typo in the English version of Exercise 1e from the exam in 2002:
'Can you give an example of a system that can be shown terminating using the lexicographic path ordering but cannot be shown terminating using lpo?'
should of course be
'Can you give an example of a system that can be shown terminating using the exam ordering but cannot be shown terminating using lpo?'
Thanks to Benjamin Johansson for pointing out this embarrassing mistake!
Lecture 2 will take place both on Tuesday and on Friday (12.15-14.00 both days). You need only attend ONE of these; it's the same content.
The "official" seminar time is Friday. However, if it turns out that noone attending the seminars mind moving them to Tuesdays, we will move them, but for now, Friday is the seminar day.
Velkommen til kurset INF 3230. For ? komme kjapt igang med kurset vil det bli en ekstra forelesning den foerste uken, enten p? tirsdag eller p? fredag p? samme tid og sted som oevingsgruppene blir avholdt, avhengig av n?r det passer best for dere.
Welcome to INF 3230. To get a flying start, we will have an additional lecture the first week, either on Tuesday or on Friday, depending on when it is more suitable. Let me know if you have any preferences.