Logic

Summer

(in German: Logik )

Intended learning outcomes:
Die Studierenden können

• die für Logik relevanten Begriffe und deren Definitionen erklären,
• logische Syntax (insbesondere
  logische Formeln und Argumente lesen)
• Situationen durch logische Formeln beschreiben,
• logische Formeln ins Deutsche übersetzen und umgekehrt,
• Normalformen erkennen und herstellen,
• Situation als modelltheoretische Struktur aufschreiben,
• zwischen formaler Repräsentation und der Bedeutung (reale Welt/Anwendung) unterscheiden,
• Argumente auf logische Folgerungen überprüfen,
• Beweise selbstständig konstruieren,
• Algorithmen zur Auswertung und Umformung logischer Ausdrücke und Argumente anwenden.

Content:

• Anwendungsfelder für Logik in der Informatik,
• Logische Syntax (Formelbegriff und Argumentbegriff für Aussagenlogik und Prädikatenlogik),
• formale Repräsentation von Wissen,
• Logische Semantik von zwei- und dreiwertiger Aussagenlogik sowie Prädikatenlogik,
• Domänenspezifische Sprachen und Abstraktion zu allgemeinen logischen Sprachen,
• Folgerungsbegriff und logische Folgerung,
• Regelsysteme (u.a. für Formeln und Beweise),
• grundlegende Algorithmen für logische Probleme (SAT-Solving, Hornformel-Algorithmus, Überführung in Normalformen)

Workload:

• Präsenzzeiten: 14 X 4h = 56 h
• Selbstständiges Nachbereiten der Vorlesung: 94 h

Comments: