TheGI 3 (StuPO90): Unterschied zwischen den Versionen

Version vom 14. Dezember 2010, 22:57 Uhr

WiSe 2005/2006

WiSe 2004/2005

WiSe 2003/2004

WiSe 2002/2003

WiSe 2001/2002

WiSe 2000/2001

WiSe 1999/2000

WiSe 1996/1997

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

Pflichtveranstaltung im Grundstudium Informatik, 4 SWS.

Vorkenntnisse:

Aussagenlogik
- Hilbertkalkül
- Sequenzenkalkül (nicht im WS06/07)
- Resolutionskalkül
Prädikatenlogik erster Stufe
- 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 1 benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)

@@ Zeile 55: / Zeile 55: @@
 ==Literatur==
 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.)
+:(Das ist das selbe Buch, welches in [[TheGI 1]] benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)
 ==Studententips==
-Besucht das Tutorium von Sebastian Bab. Das ist einer der wenigen Tutoren, die ich kenne, die einem wirklich etwas beibringen wollen ... und er kann es dann auch noch.