TheGI 3 (StuPO90)

Klausuren

WiSe 2004/2005

• Klausur (Version 1.6MB)
• Klausur (Version 200kb)

WiSe 2003/2004

• Klausur
• Nachklausur

WiSe 2002/2003

• Test 1 Lösung
• Test 2 Lösung
• Test 3
• Test 3 Lösung
• Test 4

WiSe 2001/2002

• Test 1
• Klausur
• Nachklausur

WiSe 2000/2001

• Klausur
• Nachklausur

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

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