Nach positiver Absolvierung der Lehrveranstaltung sind die Studierenden in der Lage , die folgenden Konzepte zu erklären und verständig anzuwenden: aussagenlogische und prädikatenlogische Formeln, den in der VO besprochenen Beweiskalkül (insbesondere die Rolle des Substitutionsaxioms sowie Metatheoreme wie Deduktionstheorem und Einführung von Quantoren), semantische und syntaktische Konsistenz, Kompaktheit der Aussagenlogik und der Prädikatenlogik erster Stufe, Unifikations- und Resolutionsalgorithmus (und dessen Vollständigkeit), ZFC-Axiome (insbesondere die Rolle des Auswahlaxioms), Modelle und Gegenbeispiele für kleine Fragmente von ZFC, Wohlordnungen und Ordinalzahlen.
Aussagenlogik, Prädikatenlogik 1.Stufe, Vollständigkeitssatz; ZFC-Axiome; Auswahlaxiom, Kardinalität; Einführung in die computationale Logik
Tafelvortrag, unterstützt durch ein Skriptum. Ergänzend: Antworten auf Fragen der Studierenden.
Beginn Donnerstag 3.10.2019, 11:30-13:00 Hauptgebäude HS XV.
Mündliche Prüfung
Nicht erforderlich