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.