TheGI 3 (Bachelor)

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

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

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