TheGI 3 (Bachelor)
History Lesson!
Dieser Artikel spiegelt sehr wahrscheinlich nicht mehr den aktuellen Stand wider, könnte aber trotzdem von Interesse sein.
Dieser Artikel spiegelt sehr wahrscheinlich nicht mehr den aktuellen Stand wider, könnte aber trotzdem von Interesse sein.
Musterklausuren
Bitte beachte die Hinweise zu Altklausuren.
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.
