TheGI 3 (StuPO90): Unterschied zwischen den Versionen
| Zeile 1: | Zeile 1: | ||
==Theoretische Grundlagen der Informatik 3== | ==Theoretische Grundlagen der Informatik 3== | ||
| − | Pflichtveranstaltung im Grundstudium Informatik. | + | Pflichtveranstaltung im [[Grundstudium]] der [[Informatik_(Studienfach)|Informatik]], 4 [[Semesterwochenstunden|SWS]]. |
| + | |||
| + | Vorkenntnisse: | ||
| + | * [[TheGI 2]] ist nützlich (aber nicht zwingend erforderlich). | ||
| + | * Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise). | ||
| + | |||
| + | ==Inhalt== | ||
| + | * [http://de.wikipedia.org/wiki/Aussagenlogik Aussagenlogik] | ||
| + | ** [http://de.wikipedia.org/wiki/Hilbertkalk%C3%BCl Hilbertkalkül] | ||
| + | ** [http://de.wikipedia.org/wiki/Sequenzenkalk%C3%BCl Sequenzenkalkül] | ||
| + | ** [http://de.wikipedia.org/wiki/Resolutionskalk%C3%BCl Resolutionskalkül] | ||
| + | * [http://de.wikipedia.org/wiki/Pr%C3%A4dikatenlogik Prädikatenlogik erster Ordnung] | ||
| + | ** 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) | ||
| + | |||
| + | ==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== | ==Klausuren== | ||
| Zeile 18: | Zeile 34: | ||
* 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 | ||
| − | |||
| − | |||
[[Kategorie: Lehrveranstaltungen]] | [[Kategorie: Lehrveranstaltungen]] | ||
Version vom 4. April 2005, 00:52 Uhr
Inhaltsverzeichnis
Theoretische Grundlagen der Informatik 3
Pflichtveranstaltung im Grundstudium der 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
- WS2004/2005 (1. Version 1.6MB)
- WS2004/2005 (2. Version 200kb)
