UPPSALA UNIVERSITET
Matematiska institutionen
Datavetenskapliga programmet
Vårterminen 1999
Logik och bevisteknik DV1
Allmän information
Kurslitteratur, examination, tentadagar m.m.
Information för recentiorer (
ps
,
PDF
)
Undervisningsplan (
ps
,
PDF
)
Läsanvisning (
ps
,
PDF
,)
Utdelat material i elektronisk form
(Hämta i första hand materialet vid föreläsningstillfället)
Datorhjälpmedel i logik
Satslogisk kalkylator (rekommenderas!) finns tillgänglig som exekverbara filer i följande kataloger
/stud/docs/kurs/automata/logkalk.docs
- DoCSs Sunnar (deras Tk är för gammal för vanliga versionen ?!)
/stud/docs/kurs/automata/logkalk
- Den normala versionen för Tcl 7.5 / Tk 4.1 eller senare, t.ex. Linux.
Användarhandledning (
ps,
PDF
)
Arbetsblad för satslogik
att ladda ner i MAPLE.
Laboration och inlämningsuppgifter
Förbättrade villkor: bonuspoängen kan tillgodoräknas även vid omtentamen i juni och augusti (1999).
Inlämningsuppgift, del A (
ps
,
PDF
)
Inlämningsuppgift, del B (
ps
,
PDF
)
Laborationsfiler
(filkatalog)
Gamla tentor
Övningstenta (
ps
,
PDF
)
Ordinarie tentamen 99-05-28 (
ps,
PDF
). Lösningar (
ps,
PDF
)
Omtentamen 99-06-17 (
ps,
PDF
). Lösningar (
ps,
PDF
).
Omtentamen 99-08-09 (
ps,
PDF
).
Erik Palmgren
.