TheGI 3 (StuPO90)

Klausuren

WiSe 2005/2006

Klausur Version A

WiSe 2004/2005

WiSe 2003/2004

WiSe 2002/2003

WiSe 2001/2002

WiSe 2000/2001

WiSe 1999/2000

Klausur

WiSe 1996/1997

Klausur

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

Theoretische Grundlagen der Informatik 3

Pflichtveranstaltung im Grundstudium Informatik, 4 SWS.

Vorkenntnisse:

TheGI 2 ist nützlich (aber nicht zwingend erforderlich).
Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise).

Inhalt

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)

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.)

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.

Weblinks