| Lecturer | Uwe Wolter, e-mail: Uwe.Wolter, office: room 4146, HiB
|
| exercises: | Thomas Agotnes
|
|---|
| READING |
|---|
| required : |
lecture notes
:final updated version (not exactly the same as the notes below)
|
|---|
| non-required : |
A brief history of mathematical logic ,
lecture-slides |
|---|
,
| recommended : |
1. ``Foundations of Computing'', T.Scheurer, Addison-Wesley |
|---|
| |
2. ``Logic: A Foundation for Computer Science'', |
|---|
| | V.Sperschneider, G.Antoniou, Addison-Wesley |
|---|
| Other stuff |
a) prøveeksamen 1996
( English version)
|
| |
b) eksamen 1996
( English version) ( solution )
|
| |
c) eksamen 1997
( English version) ( solution )
|
| |
d) eksamen 1998
( English version) ( solution )
|