TheGI 3 (StuPO90): Unterschied zwischen den Versionen

Version vom 21. August 2006, 20:13 Uhr

Klausuren

WiSe 2004/2005

WiSe 2003/2004

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

@@ Zeile 1: / Zeile 1: @@
+<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+<h2>Klausuren</h2>
+WiSe 2004/2005
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004HK.pdf Klausur (Version 1.6MB)]
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004-2005.pdf Klausur (Version 200kb)]
+WiSe 2003/2004
+* [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 2001/2002
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102.ps Klausur]
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102_nachklausur.ps Nachklausur]
+WiSe 2000/2001
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0001.pdf Klausur]
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS0001NK.pdf Nachklausur]
+WiSe 1999/2000
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS9900HK.pdf Klausur]
+WiSe 1996/1997
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS9697HK.pdf Klausur]
+</div>
 {{EntsprechungB|[[TheGI 3 (Bachelor)]]}}
@@ Zeile 20: / Zeile 46: @@
 :(Das ist das selbe Buch, welches in [[TheGI 2]] benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)
-==Klausuren==
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS9697HK.pdf WS1996/1997]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS9900HK.pdf WS1999/2000]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0001.pdf WS2000/2001]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS0001NK.pdf WS2000/2001 Nachklausur]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102.ps WS2001/2002]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102_nachklausur.ps WS2001/2002 Nachklausur]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0304_thegi3_klausur.ps WS2003/2004]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0304_thegi3_nachklausur.ps WS2003/2004 Nachklausur]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004HK.pdf WS2004/2005 (1. Version 1.6MB)]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004-2005.pdf WS2004/2005 (2. Version 200kb)]
 ==Weblinks==
@@ Zeile 39: / Zeile 54: @@
 * http://flp.cs.tu-berlin.de/lehre/wise04-05/thegi3.html
 * http://flp.cs.tu-berlin.de/lehre/wise05-06/thegi3.html
 [[Kategorie: Lehrveranstaltungen]]
+__NOTOC__