Institutionen för datavetenskap Umeå Universitet


Programspråksteori, HT02
Kursplan
Kurslitteratur
Lärare och handledare
Kursutvärderaren
Schema
Handledning
Epostarkiv
Gruppövningar
Utdelat material
OH-bilder
Gamla tentor
Tentaresultat
Obligatoriska uppgifter
Laboration 1
     {ps , pdf, TeX}
Laboration 2
Resultat

Under dessa sidor kommer information gällande kursen att fortlöpande läggas in. Studenter förväntas besöka denna sida regelbundet.

Nyheter:

03-01-30: Tentaresultat utlagda
03-01-08: Ny deadline för godkända labbar: 20/1 16:00.
03-01-07: Gruppövning 5 med lösningsförslag är utlagt.
03-01-07: Gamla tentor utlagda för samlare :-)
02-12-15: Gruppövning 4 utlagd, inkl. lösningsförslag.
02-12-09:  Introduktionen till lambdakalkylen finns under utdelat material.
02-12-03:  Gruppövning 3 utlagd.
02-11-22:  Labspecifikation 2 är tillgänglig
02-11-14:  ML-exempel på en enkel parametriserad ADT
02-11-05:  Labspecifikation 1 är tillgänglig
02-11-05:  De första OH-bilderna finns under länken OH-bilder
02-11-05:  Schema med uppgifter om innehåll finns
02-04-04:  Kursens hemsida är initierad!

Regler och riktlinjer vid DV@UmU:

Riktlinjer vid labgenomförande
Att skriva labrapport
Tentamensregler
Hederskodex
Datorkontraktet (som du ska ha undertecknat och lovat följa)
Internansökan
http://www.cs.umu.se/kurser/TDBB34/HT02/index.html
Ansvarig för sidan: Urban Sandström
Senast ändrad 2003-01-30