TheGI 3 (StuPO90): Unterschied zwischen den Versionen

Version vom 21. August 2006, 20:09 Uhr

Entsprechung in der Bachelor-StuPO: TheGI 3 (Bachelor).

Pflichtveranstaltung im Grundstudium Informatik, 4 SWS.

Vorkenntnisse:

Aussagenlogik
Prädikatenlogik erster Ordnung
- logische Signaturen und Strukturen
  (nach TheGI 2 ein ziemliches déjà vu-Erlebnis; für Leute, die diesbezüglich keine Vorkenntnisse oder diese schon vergessen haben, gibt es auch eine Wiederholung)

Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz: "Mathematisch-strukturelle Grundlagen der Informatik", Springer Verlag, ISBN: 3-540-41923-3

(Das ist das selbe Buch, welches in TheGI 2 benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)

@@ Zeile 9: / Zeile 9: @@
 ==Inhalt==
-* [http://de.wikipedia.org/wiki/Aussagenlogik Aussagenlogik]
+* [[Wikipedia:Aussagenlogik|Aussagenlogik]]
-** [http://de.wikipedia.org/wiki/Hilbertkalk%C3%BCl Hilbertkalkül]
+** [[Wikipedia:Hilbertkalkül|Hilbertkalkül]]
-** [http://de.wikipedia.org/wiki/Sequenzenkalk%C3%BCl Sequenzenkalkül]
+** [[Wikipedia:Sequenzenkalkül|Sequenzenkalkül]]
-** [http://de.wikipedia.org/wiki/Resolutionskalk%C3%BCl Resolutionskalkül]
+** [[Wikipedia:Resolutionskalkül|Resolutionskalkül]]
-* [http://de.wikipedia.org/wiki/Pr%C3%A4dikatenlogik Prädikatenlogik erster Ordnung]
+* [[Wikipedia:Prädikatenlogik|Prädikatenlogik erster Ordnung]]
 ** logische Signaturen und Strukturen<br />(nach [[TheGI 2]] ein ziemliches déjà vu-Erlebnis; für Leute, die diesbezüglich keine Vorkenntnisse oder diese schon vergessen haben, gibt es auch eine Wiederholung)