Logik und Beweistheorie

What it is about

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.

What you will be able to do

• 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

What the module consists of

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

Teaching method

• 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