Logik und Beweistheorie

Worum geht's

In diesem Modul untersuchst Du die Struktur natürlicher Sprache und die Grundlagen der mathematischen Logik. Du lernst, wie formale Grammatiken aufgebaut werden, welche Möglichkeiten und Grenzen sie haben (u. a. Gödel'sche Sätze) und wie Logikkalküle für Spezifikation und automatische Theorembeweiser eingesetzt werden können.

Was du danach kannst

• Beziehungen und Unterschiede zwischen Sprache und Logik erkennen
• Formale Argumentation und Form verstehen
• Kenntnis verschiedener Logiken und Frage nach Universalität
• Grundlagen der propositionalen Logik beherrschen
• Bedeutung von Quantoren und Prädikaten kennen
• Grundlagen der Beweistheorie verstehen
• Grenzen einzelner Logiken erkennen

Aus was das Modul besteht

• Gruppenarbeitaktive Auseinandersetzung mit Aufgaben und Projekten
• ProjekteAnwendung der erarbeiteten Konzepte
• AufgabenVertiefung und Übung des Stoffes
• Plenumsvortrag und EinweisungVorstellung und Einordnung von Ergebnissen

Lehrmethode

• Gruppenarbeitfördert gemeinsame Problemlösung und Diskussion
• Projekteermöglichen praktische Anwendung und Vertiefung
• Aufgabensichern Übung und Verständnis
• Plenumsvortrag und Einweisungstellt Inhalte vor und gibt Orientierung