Logik Wintersemester 2010/11
Termine
Vorlesung | Mi 10:00 - 12:00 | EN-B 030 |
Fr 13:00 - 15:00 | EN-D 201 | |
Übung | Do 15:00 - 17:00 | EN-D 201 |
Ankuendigungen
In der ersten Woche des Semesters finden keine Übungen statt.
Mitarbeiter:
Hannes Diener |
Unterlagen:
Unterlagen und Übungsaufgaben
Logik
Mit Logik und logischem Denken
haben sich über Jahrhunderte Philosophen,
Sprachwissenschaftler, Psychologen und Mathematiker
beschäftigt. Anligen der mathematischen Logik ist einerseits
die Untersuchung der Grundlagen der Mathematik. Zum anderen hat
sie das Ziel, die Sprache der Mathematik und vor allem die
mathematischen Beweise zu formalisieren. Anlaß für das
Interesse der Informatiker an der Logik ist die sogenannte
"Softwarekrise", die durch kritische Fehlalarme in
Verteidigungsprogrammen des US-Militärs ausgelöst wurde.
Daraufhin wurden Kalküle entwickelt, die es dem Programmierer
ermöglichen, Korrektheitsbeweise für umfangreiche
Softwarepakete mit Unterstützung des Rechners auszuführen.
Inhalt:
- Aussagenlogik
- Prädikatenlogik 1. und 2. Stufe
- Herleitungen, natürliches Schließen
- mathematische Theorien
- Resolution, Herbrand-Theorien, Resolutionskalkül
- Logikprogrammierung
- Intuitionistische Logik