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.
+Pflichtveranstaltung im [[Grundstudium Informatik]], 4 [[Semesterwochenstunden|SWS]].
+Vorkenntnisse:
+* [[TheGI 1]] und [[TechGI 1]] sind nützlich (aber nicht zwingend erforderlich).
+* Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise).
+==Inhalt==
+* [[Wikipedia:Aussagenlogik|Aussagenlogik]]
+** [[Wikipedia:Hilbertkalkül|Hilbertkalkül]]
+** [[Wikipedia:Sequenzenkalkül|Sequenzenkalkül]] (nicht im WS06/07)
+** [[Wikipedia:Resolutionskalkül|Resolutionskalkül]]
+* [[Wikipedia:Prädikatenlogik|Prädikatenlogik erster Stufe]]
+** 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 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 18: / Zeile 66: @@
 * 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
-(Hab' gerade keine Zeit, daher nur erstmal eine ganz provisorische Seite angelegt...--[[Benutzer:Thomas|Thomas]] 01:53, 21. Feb 2005 (CET))
+* http://flp.cs.tu-berlin.de/lv/wise-0607-thegi3.html
 [[Kategorie: Lehrveranstaltungen]]
+__NOTOC__