English
Logik: Deutschsprachige Literatur
Hier ein paar deutschsprachige Bücher, die ähnlich (d.h. Aussagenlogik, Prädikatenlogik, natürliches Schliessen, Resolution) wie das in der Vorlesung benutzte Buch "Language, proof and logic" (LPL) vorgehen. Allerdings ist LPL einzigartig, weil es viele Übungsaufgaben enthält, die auch unter Verwendung der Programme Tarski's World und Fitch gelöst werden sollten. Ich empfehle daher, sich die Aufgaben aus LPL in jedem Fall anzusehen. Zudem kommt in LPL der Begriff des Modells erst sehr spät, stattdessen wird mit einem Standard-Modell (dem von Tarski's World) gearbeitet. Diese didaktische Vereinfachung ist in deutschsprachigen Büchern ebenfalls nicht zu finden.
Natürliches Schliessen (Kalkül von Fitch)
- Elementare Logik : (Praedikatenlogik der ersten Stufe). a mat 018/315(2)
- Logik für Anfänger. 2 Bände. a mat 016 fb 142a
- Einfuehrung in die mathematische Logik, Einfuehrung in die Mengenlehre, Aufbau der Zahlenbereiche. a mat 010 fk 531 (Kapitel 1-5)
Resolution (Kapitel 17.4 und 18.7 in LPL)
- Uwe Schöning: Logik für Informatiker.
- 1. Auflage: BI-Wissenschaftsverlag 1987. a kyb 305 f 726.
- 3. Auflage: BI-Wissenschaftsverlag 1992. s inf 410 ef/381(3)
- 5. Auflage: Spektrum 2000. a inf 410 ef 381(5)
- Bernhard Heinemann, Klaus Weihrauch. Logik fuer Informatiker : eine Einfuehrung. Teubner 1992. a kyb 302 e/837.
Datentypen (ergänzend zu Kapitel 16 in LPL)
- Hans-Jörg Kreowski. Logische Grundlagen der Informatik. Oldenbourg 1991.
Autor: Dr. Till Mossakowski
| Zuletzt geändert am: 20. Oktober 2005 |  |