TheGI 3 (StuPO90)

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
  • Resolutionskalkül
• 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)

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

Klausuren

• WS1996/1997
• WS1999/2000
• WS2000/2001
• WS2000/2001 Nachklausur
• WS2001/2002
• WS2001/2002 Nachklausur
• WS2003/2004
• WS2003/2004 Nachklausur
• WS2004/2005 (1. Version 1.6MB)
• WS2004/2005 (2. Version 200kb)

Weblinks

• http://flp.cs.tu-berlin.de/lehre/wise00-01/thegi3.html
• http://flp.cs.tu-berlin.de/lehre/wise01-02/thegi3.html
• http://flp.cs.tu-berlin.de/lehre/wise02-03/thegi3.html
• http://flp.cs.tu-berlin.de/lehre/wise03-04/thegi3.html
• http://flp.cs.tu-berlin.de/lehre/wise04-05/thegi3.html
• http://flp.cs.tu-berlin.de/lehre/wise05-06/thegi3.html