Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage Prädikatenlogik höherer Stufe von jener erster Stufe abzugrenzen. Studierende werden dann auch in der Lage sein, komplexe mathematische Sätze in Systemen der Higher-order Logik zu formalisieren und zu verifizieren. Die Lehrveranstaltung wird zu einem vertieften Verständnis der arithmetischen Theorien und der natürlichen Zahlen führen und selbständige Forschungsarbeit auf diesem Gebiet ermöglichen.
Präsentation in der Vorlesung, Übungen und Diskussion der Lösungen
Weiterführende Literatur:
Mündliche Prüfung und Beurteilung der Mitarbeit in Übungen und Diskussionen
Nicht erforderlich
Gute Kenntnisse der Logik erster Stufe