TheGI 3 (StuPO90): Unterschied zwischen den Versionen
(→Weblinks) |
(→Klausuren) |
||
| Zeile 25: | Zeile 25: | ||
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102.ps WS2001/2002] | * [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/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-WS2004HK.pdf WS2004/2005 (1. Version 1.6MB)] | ||
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004-2005.pdf WS2004/2005 (2. Version 200kb)] | * [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004-2005.pdf WS2004/2005 (2. Version 200kb)] | ||
Version vom 27. Mai 2006, 15:12 Uhr
Inhaltsverzeichnis
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)
- logische Signaturen und Strukturen
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.)
Klausuren
- WS1996/1997
- WS1999/2000
- WS2000/2001
- WS2000/2001 Nachklausur
- WS2001/2002
- WS2001/2002 Nachklausur
- WS2003/2004
- WS2003/2004 Nachklausur
- WS2004/2005 (1. Version 1.6MB)
- WS2004/2005 (2. Version 200kb)
Weblinks
- http://flp.cs.tu-berlin.de/lehre/wise00-01/thegi3.html
- http://flp.cs.tu-berlin.de/lehre/wise01-02/thegi3.html
- http://flp.cs.tu-berlin.de/lehre/wise02-03/thegi3.html
- 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
