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

K (Klausurbox)
 
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
Zeile 1: Zeile 1:
{{Vorlage:KlausurBox|titel=|klausurliste=
+
{{KlausurBox|TheGI_3_Bachelor}}
<!-- Bitte hier als Liste einfügen. -->
+
{{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]
 
}}
 
  
 
'''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.
 
{{EntsprechungD|[[TheGI 3 (StuPO90)]]}}
 
  
 
== Inhalt ==
 
== Inhalt ==
Zeile 34: Zeile 29:
  
  
 
+
__NOTOC__
 
[[Kategorie: Lehrveranstaltungen]]
 
[[Kategorie: Lehrveranstaltungen]]
__NOTOC__
 

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