Vorlesung Logik (WS 2006/07)

Hörerkreis: 1. Semester
Informatik, Softwaretechnik

Vorlesung: Di 09:45-11:15,
Do 09:45-11:15 (14-tägig)
Raum V38.01

Literatur:

Die Vorlesung stützt sich im wesentlichen auf:

Uwe Schöning:

Logik für Informatiker
Spektrum, 2000. Preis: 20,00 EUR

Weitere Logik-Bücher:

Hans Kleine Büning, Theodor Lettmann:

Aussagenlogik: Deduktion und Algorithmen
Teubner, 1994.

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas:

Einführung in die mathematische Logik
Spektrum, 1996.

Jon Barwise and John Etchemendy:

Language, Proof, and Logic
Seven Bridges Press, 2000.

Bücher zur Geschichte der Logik:

William and Martha Kneale:

The Development of Logic
Clarendon Press, 1985.

Einführende/unterhaltsame Literatur:

Douglas R. Hofstadter:

Gödel, Escher, Bach: An Eternal Golden Braid
Basic Books, 1999.
auf deutsch: Gödel, Escher, Bach: Ein Endloses Geflochtenes Band
dtv, 1991.

Raymond M. Smullyan:

"To Mock a Mockingbird" and Other Logic Puzzles
Knopf, 1985.
auf deutsch: Spottdrosseln und Metavögel
W. Krüger Verlag, 1986.