UTDELAT MATERIAL M.M. 2000
I MOMENTET LOGIK, TEMAT
DESIGN OCH VERIFIKATION
.
OH föreläsning 1
Uppgifter till lektion 1
PROP SAT
(Ett verktyg för att avgöra satisfierbarhet.)
Exempel på en gammal (
OBS GAMMAL
)
tenta
.
Hemtentamen 5-7 februari 2001 [
postscript
|
pdf
].
U. Nilsson