Messages

Published May 29, 2007 4:49 PM

EXTRA LECTURE In the last lecture, sufficiently many of you were interested in having a final lecture, with your questions, etc. Therefore, we will have such a final lecture (entirely based on your questions by email) Friday, Juni 1. Lille Auditorium should be available from 12.15 to 14.00.

Published May 14, 2007 7:47 PM

Let me know if you are interested in an extra lecture the week before the exam (I'm in Cyprus the week of the exam). Let me know if you will attend, when you can(not) attend, and what subject(s)/exercise(s) you want me to talk about.

I think that Thursday or Friday are the most appropriate days, but let me know.

Published Apr. 23, 2007 5:53 PM

Obligatorisk oppgave 3 er endelig ute. Frist 11/5.

(Mandatory homework assignment 3 is finally out! Due May 11.)

Published Apr. 20, 2007 4:19 PM

We have now finished grading the midterm exam. The results are posted next to my office door in 亚博娱乐官网_亚博pt手机客户端登录sparken, Office 31146.

(Regarding Exercise 2.3, it could indeed be solved using lpo, so don't worry, an lpo solution gives full score, of course.)

Published Feb. 2, 2007 7:04 PM

Two things

Published Jan. 24, 2007 4:56 PM

Ang?ende Eclipse for Maude, fikk jeg f?lgende mail fra en student: "Jeg bare skulle gi tilbakemelding p? at plugin til Eclipse for Maude fungerer utmerket! Den kan hentes fra http://moment.dsic.upv.es/. Enkleste m?te ? installere p? er ? bruke den innebygde "find and install" funksjonen til Eclipse og lime inn update-siten til denne pluginen (http://moment.dsic.upv.es/updates/), da g?r alt automatisk."

Published Jan. 24, 2007 3:28 PM

Her er kompendiet (Here are my lecture notes )

Published Jan. 22, 2007 5:47 PM

Obligatorisk oppgave 1 er n? ute. (Med forbehold om mulige sm? oppdateringer.) Frist 9.2.

Mandatory homework assignment 1 out. Due Feb 9, 6pm.

Published Jan. 22, 2007 5:43 PM

Husk ekstra forelesning (extra lecture) onsdag 24.1 kl 10.10-12.xx i seminarrom 3B, eller/or torsdag 25.1 kl 12.15-14.xx i seminarrom 3A.

Det vil bli forelesning begge dagene, men de dekker samme stoff, s? man trenger bare komme p? en av forelesningene.

Published Dec. 15, 2006 1:00 AM

Merk at det er en "ekstra" forelesning den f?rste uken, slik at vi f?r startet p? kurset i rimelig tid