TheGI 3 (Bachelor): Unterschied zwischen den Versionen
TheGI 3 Klausuren hochgeladen und verlinkt |
→Inhalt: Auszzüge aus Modulbeschreibung ergänzt |
||
| Zeile 9: | Zeile 9: | ||
== Inhalt == | == 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 == | == Tipps und nützliche Infos == | ||
Version vom 31. August 2010, 10:42 Uhr
Klausuren
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
Entsprechung in der (alten) StuPO 90: TheGI 3 (StuPO90).
(Dort findet ihr Klausuren und mehr)