Classification and Contents
|
| Title: |
Logik, Semantik, Wissensrepräsentation |
| Lecturer: |
Liskiewicz, Reischuk |
| Classification: |
Master-Studiengang 2. Semester |
| Content: |
|
| Literature: |
- Michael R. A. Huth and Mark D. Ryan: Logic in Computer
Science: Modelling and reasoning about systems. Cambridge
University Press, 2.Aufl., 2004
- Achim Jung: Logik. Kapitel 1 in: P. Rechenberg und G. Pomberger (Hrg): Informatik-Handbuch, 3. Aufl. Hanser 2002
- Dirk van Dalen: Logic and Structure. 4th edition.Springer 2004
- Uwe Schöning: Logic for Computer Scientists. Birkhäuser 1989 (auch auf Deutsch erhältlich)
- Dirk Siefkes: Formalisieren und Beweisen: Logik für Informatiker. 2. Aufl. Vieweg 1992
|
Exercise |
| Exercise: |
|
