TheGI 3 (StuPO90): Unterschied zwischen den Versionen

Aktuelle Version vom 6. September 2011, 18:28 Uhr

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

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

Fehler in den Lösungen an uns melden

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

Theoretische Grundlagen der Informatik 3

Pflichtveranstaltung im Grundstudium Informatik, 4 SWS.

Vorkenntnisse:

TheGI 1 und TechGI 1 sind 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 1 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 1 benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)

Studententips

Weblinks

@@ Zeile 1: / Zeile 1: @@
+{{Vorlage:KlausurBox|titel=|klausurliste=
+<!-- Bitte hier als Liste einfügen. -->
+WiSe 2005/2006
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0506-version-A.pdf Klausur Version A]
+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 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]
+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]
+}}
+{{EntsprechungB|[[TheGI 3 (Bachelor)]]}}
 ==Theoretische Grundlagen der Informatik 3==
 Pflichtveranstaltung im [[Grundstudium Informatik]], 4 [[Semesterwochenstunden|SWS]].
 Vorkenntnisse:
-* [[TheGI 2]] ist nützlich (aber nicht zwingend erforderlich).
+* [[TheGI 1]] und [[TechGI 1]] sind nützlich (aber nicht zwingend erforderlich).
 * Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise).
 ==Inhalt==
-* [http://de.wikipedia.org/wiki/Aussagenlogik Aussagenlogik]
+* [[Wikipedia:Aussagenlogik|Aussagenlogik]]
-** [http://de.wikipedia.org/wiki/Hilbertkalk%C3%BCl Hilbertkalkül]
+** [[Wikipedia:Hilbertkalkül|Hilbertkalkül]]
-** [http://de.wikipedia.org/wiki/Sequenzenkalk%C3%BCl Sequenzenkalkül]
+** [[Wikipedia:Sequenzenkalkül|Sequenzenkalkül]] (nicht im WS06/07)
-** [http://de.wikipedia.org/wiki/Resolutionskalk%C3%BCl Resolutionskalkül]
+** [[Wikipedia:Resolutionskalkül|Resolutionskalkül]]
-* [http://de.wikipedia.org/wiki/Pr%C3%A4dikatenlogik Prädikatenlogik erster Ordnung]
+* [[Wikipedia:Prädikatenlogik|Prädikatenlogik erster Stufe]]
-** logische Signaturen und Strukturen<br />(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)
+** logische Signaturen und Strukturen<br />(nach [[TheGI 1]] 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.)
+:(Das ist das selbe Buch, welches in [[TheGI 1]] benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)
+==Studententips==
-==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/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 35: / Zeile 67: @@
 * http://flp.cs.tu-berlin.de/lehre/wise04-05/thegi3.html
 * http://flp.cs.tu-berlin.de/lehre/wise05-06/thegi3.html
+* http://flp.cs.tu-berlin.de/lv/wise-0607-thegi3.html
 [[Kategorie: Lehrveranstaltungen]]
+__NOTOC__