TheGI 3 (Bachelor)

Klausuren

• 2007 Zwischenklausur
• 2007 Endklausur

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

Literatur

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

Persönliche Kommentare

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