TheGI 3 (StuPO90): Unterschied zwischen den Versionen

Version vom 24. September 2006, 10:28 Uhr

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
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 8: / Zeile 8: @@
 * [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0304_thegi3_klausur.ps Klausur]
 * [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0304_thegi3_nachklausur.ps Nachklausur]
+WiSe 2002/2003
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test1_loesung.ps Test 1 Lösung]
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test2_loesung.ps Test 2 Lösung]
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test3.ps Test 3]
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test3_loesung.ps Test 3 Lösung]
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test4.ps Test 4]
 WiSe 2001/2002
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102_test1.ps Test 1]
 * [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102.ps Klausur]
 * [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102_nachklausur.ps Nachklausur]