Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

TheGI 3 (Bachelor): Unterschied zwischen den Versionen

(TheGI 3 Klausuren hochgeladen und verlinkt)
 
(3 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
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.
 
'''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 ==
 
+
* 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 ==
Zeile 19: Zeile 28:
 
== Persönliche Kommentare ==
 
== Persönliche Kommentare ==
  
{{EntsprechungD|[[TheGI 3 (StuPO90)]]}}
 
  
 +
__NOTOC__
 
[[Kategorie: Lehrveranstaltungen]]
 
[[Kategorie: Lehrveranstaltungen]]

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

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