TheGI 3 (StuPO90): Unterschied zwischen den Versionen
(Keine Zeit, daher nur erstmal eine ganz provisorische Seite angelegt...) |
Mutax (Diskussion | Beiträge) K (Klausurbox) |
||
| (18 dazwischenliegende Versionen von 9 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. | + | 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== | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==Weblinks== | ==Weblinks== | ||
| Zeile 18: | Zeile 66: | ||
* http://flp.cs.tu-berlin.de/lehre/wise03-04/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/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__ | ||
Aktuelle Version vom 6. September 2011, 18:28 Uhr
Musterklausuren
Bitte beachte die Hinweise zu Altklausuren.
WiSe 2005/2006
WiSe 2004/2005
WiSe 2003/2004
WiSe 2002/2003
WiSe 2001/2002
WiSe 2000/2001
WiSe 1999/2000
WiSe 1996/1997
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)
- 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 1 benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)
Studententips
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
- http://flp.cs.tu-berlin.de/lv/wise-0607-thegi3.html
