Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

TheGI 3 (Bachelor)

Entsprechung in der (alten) StuPO 90: TheGI 3 (StuPO90).
(Dort findet ihr Klausuren und mehr)

Theoretische Grundlagen der Informatik 3: Logiken und Kalküle ist eine Pflichtveranstaltung im dritten Semester des Studiengangs Informatik nach neuer Bachelor-StuPO. Sie besteht aus 2 SWS Vorlesung und 2 SWS Übung und entspricht 6 ECTS-Leistungspunkten.

Inhalt

  • Aussagenlogik
    • Syntax und Semantik der klassischen Aussagenlogik: aussagenlogische Formeln und Gültigkeit
    • aussagenlogische Folgerung
    • aussagenlogische Äquivalenz und Normalformen
    • Hilbert-Kalküle o Sequenzenkalküle
    • Resolutionsverfahren
  • Prädikatenlogik erster Stufe
    • Syntax der klassischen Prädikatenlogik: logische Signaturen, Terme, Prädikationen, prädikatenlogische Formeln
    • Semantik der klassischen Prädikatenlogik: Strukturen und Gültigkeit prädikatenlogischer Formeln
    • prädikatenlogische Folgerung und Äquivalenz
    • prädikatenlogische Substitution und Umbenennung
    • Hilbertkalkül der klassischen Prädikatenlogik
  • Mathematische Grundlagen der logischen und funktionalen Programmierung
    • Unifikation und logische Programme

Tipps und nützliche Infos

Literatur

  • Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik. Siehe Hinweise auf der TheGI-1-Seite.


Persönliche Kommentare