Institutionen för datavetenskap Umeå Universitet


Logik för datavetare, HT-04


Kursplan
Lärare och handledare
Kursutvärderaren

Schema
Kursöversikt/läsanvisningar
Kurslitteratur
Handledning

OH-bilder
Gruppövningar
   Övning 1
   Övning 2
   Övning 3
Utdelat material
Tentor
Tentaanmälan

Obligatoriska uppgifter
Laboration 1 PS / PDF
Laboration 2 PS / PDF
Laboration 3 PS / PDF
Resultat
Under dessa sidor kommer information gällande kursen att fortlöpande läggas in.

Nyheter

2004-09-24: Har äntligen kommit ihåg att lägga ut gruppövningarna!
2004-09-24: Lagt ut sista labben
2004-09-17: Lagt ut andra labben
2004-09-17: Lagt ut andra labben
2004-09-15: Uppdaterat schemat (se 22/9)
2004-09-08: Lagt ut första labben
2004-09-08: Litteratursidan uppdaterad
2004-09-01: Ska fylla på med innehåll fr.o.m. nu
- Litteratursidan är uppe nu
- och nu också OH-bilderna från i tisdags
2004-03-01: 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/TDBB42/HT04/index.html
Ansvarig för sidan: Per Lindström
Senast ändrad 2004-11-19
Copyright © 2004. All rights reserved.