Logik

Worum geht's

Du lernst die Grundlagen der formalen Logik: Aussagenlogik und Prädikatenlogik erster Stufe. Am Ende kannst Du natürliche Sprachäußerungen formal darstellen, die Syntax und Semantik der Systeme verstehen und formale Beweise im Kalkül des natürlichen Schließens führen sowie zentrale metatheoretische Resultate wie Korrektheit und Vollständigkeit einordnen.

Was du danach kannst

• Vertrautheit mit formalen Werkzeugen und Methoden des logischen Denkens
• Aussagen aus natürlicher Sprache in logische Ausdrücke formalisieren
• Syntax und Semantik logischer Systeme verstehen
• Formale Beweise mit dem Kalkül des natürlichen Schließens (NK) konstruieren
• Einsicht in metatheoretische Ergebnisse: Korrektheit und Vollständigkeit

Aus was das Modul besteht

• VorlesungVermittelt die theoretischen Grundlagen von Aussagen- und Prädikatenlogik
• Geführte ÜbungenEinüben von Formalisierung und Beweisführung

Lehrmethode

• VorlesungenEinführung und Erklärung der Konzepte
• Geführte ÜbungenPraktische Anwendung beim Formalisieren und Beweisen