Logik

Worum geht's

Du lernst die Grundlagen der Aussagen- und Prädikatenlogik: Syntax, Semantik und formale Beweissysteme. Am Ende kannst du in deduktiven Systemen Beweise führen, Soundness und Completeness nachweisen, Probleme formalisieren und einfache Entscheidungs- oder Semi-Entscheidungsverfahren wie Resolution anwenden.

Was du danach kannst

• Unterscheidung zwischen Syntax und Semantik
• Führen von Beweisen in einem deduktiven System
• Beweisen von Soundness und Completeness eines Systems
• Verstehen der Grenzen der Logik und ihre Beziehung zur Berechenbarkeit
• Beweisen der Undentscheidbarkeit grundlegender Probleme (z. B. Gültigkeit)
• Formalisation von Problemen der Informatik/Mathematik in Logik
• Anwenden von Entscheidungs- und Semi‑Entscheidungsverfahren (z. B. Resolution)

Aus was das Modul besteht

• VorlesungVermittlung der Theorie durch Dozent/in im Dialog mit den Studierenden
• Übung/TutoriumBearbeitung von Aufgaben einzeln oder in Kleingruppen mit Unterstützung durch Tutor/innen

Lehrmethode

• VorlesungEinführung und Erklärung der Konzepte, gemeinsamer Austausch
• Tutorien/ÜbungenAnwendung des Gelernten an Aufgaben, Übung von Beweistechniken und Verfahren
• Schriftliche Aufgaben/Computerbasierte KomponentenVertiefung durch Hausaufgaben und ggf. implementatorische Übungen