TheGI 3 (Bachelor): Unterschied zwischen den Versionen

Aktuelle Version vom 5. März 2013, 18:59 Uhr

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.

Persönliche Kommentare

@@ Zeile 1: / Zeile 1: @@
-<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+{{KlausurBox|TheGI_3_Bachelor}}
-<h2>Klausuren</h2>
+{{EntsprechungD|[[TheGI 3 (StuPO90)]]}}
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3_Bachelor/WiSe07_TheGI3_ZK.pdf 2007 Zwischenklausur]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3_Bachelor/WiSe07_TheGI3_EK.pdf 2007 Endklausur]
-__NOTOC__
-</div>
 '''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 ==
+* 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 ==
@@ Zeile 19: / Zeile 28: @@
 == Persönliche Kommentare ==
-{{EntsprechungD|[[TheGI 3 (StuPO90)]]}}
+__NOTOC__
 [[Kategorie: Lehrveranstaltungen]]