TheGI 3 (Bachelor): Unterschied zwischen den Versionen
Mutax (Diskussion | Beiträge) K (Klausurbox) |
PaulG (Diskussion | Beiträge) K |
||
| Zeile 1: | Zeile 1: | ||
| + | {{EntsprechungD|[[TheGI 3 (StuPO90)]]}} | ||
{{Vorlage:KlausurBox|titel=|klausurliste= | {{Vorlage:KlausurBox|titel=|klausurliste= | ||
<!-- Bitte hier als Liste einfügen. --> | <!-- Bitte hier als Liste einfügen. --> | ||
| Zeile 4: | Zeile 5: | ||
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3_Bachelor/WiSe07_TheGI3_EK.pdf 2007 Endklausur] | * [http://docs.freitagsrunde.org/Klausuren/TheGI_3_Bachelor/WiSe07_TheGI3_EK.pdf 2007 Endklausur] | ||
}} | }} | ||
| − | |||
'''Theoretische Grundlagen der Informatik 3: Logiken und Kalküle''' ist eine Pflichtveranstaltung im dritten Semester des [[Lehrveranstaltungen Informatik|Studiengangs Informatik]] nach neuer [[StuPO Informatik|Bachelor-StuPO]]. Sie besteht aus 2 SWS [[Vorlesung]] und 2 SWS [[Übung]] und entspricht 6 [[ECTS]]-Leistungspunkten. | '''Theoretische Grundlagen der Informatik 3: Logiken und Kalküle''' ist eine Pflichtveranstaltung im dritten Semester des [[Lehrveranstaltungen Informatik|Studiengangs Informatik]] nach neuer [[StuPO Informatik|Bachelor-StuPO]]. Sie besteht aus 2 SWS [[Vorlesung]] und 2 SWS [[Übung]] und entspricht 6 [[ECTS]]-Leistungspunkten. | ||
| − | |||
| − | |||
== Inhalt == | == Inhalt == | ||
Version vom 20. Oktober 2011, 19:42 Uhr
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.
