Überblick in die Entwicklung der Logik.
Didaktisches Vorgehen: Frontalvortrag mittels Folien.
Aktuelles:
Formale Logik weist eine jahrhundertelange Tradition auf und ist heute ein mächtiges Werkzeug der Wissensrepräsentation. In dieser Lehrveranstaltung wird ein Streifzug durch die Geschichte der Logik anhand der Arbeiten ihrer wichtigsten Pionieregeboten. Aus dem Inhalt:
Mündliche Prüfung.
Nicht erforderlich
Kneale & Kneale: The Development of Logic
Nidditch: The Development of Mathematical Logic
Doxiadis & Papadimitriou:Logicomix - An Epic Search for Truth
Cryan, Shatil, & Mayblin: Logic - A Graphic Guide
Elementare Kenntnisse der formalen Logik.