Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

TheGI 3 (StuPO90): Unterschied zwischen den Versionen

(Weblinks)
K (Klausurbox)
 
(14 dazwischenliegende Versionen von 6 Benutzern werden nicht angezeigt)
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==
 
==Theoretische Grundlagen der Informatik 3==
 
Pflichtveranstaltung im [[Grundstudium Informatik]], 4 [[Semesterwochenstunden|SWS]].
 
Pflichtveranstaltung im [[Grundstudium Informatik]], 4 [[Semesterwochenstunden|SWS]].
  
 
Vorkenntnisse:
 
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).
 
* Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise).
  
 
==Inhalt==
 
==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==
 
==Literatur==
 
Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz: "Mathematisch-strukturelle Grundlagen der Informatik", Springer Verlag, ISBN: 3-540-41923-3
 
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==
 
==Weblinks==
Zeile 35: Zeile 67:
 
* http://flp.cs.tu-berlin.de/lehre/wise04-05/thegi3.html
 
* 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/lehre/wise05-06/thegi3.html
 +
* http://flp.cs.tu-berlin.de/lv/wise-0607-thegi3.html
 +
 
[[Kategorie: Lehrveranstaltungen]]
 
[[Kategorie: Lehrveranstaltungen]]
 +
__NOTOC__

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

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

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

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