TheGI 2 (StuPO90): Unterschied zwischen den Versionen
(Alte Klausuren verlinkt + auf dem docs-Server (noch) nicht vorhandene hinzugefügt) |
|||
| Zeile 23: | Zeile 23: | ||
Authoren: Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz. | Authoren: Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz. | ||
Springer Verlag ISBN: 3-540-41923-3 | Springer Verlag ISBN: 3-540-41923-3 | ||
| + | |||
| + | == Alte Klausuren == | ||
| + | |||
| + | [http://user.cs.tu-berlin.de/~buchholz/frwiki/klausurSS02.ps SoSe 2002] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss01_nachklausur.ps.gz SoSe 2001 Nachklausur] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss01_klausur.ps.gz SoSe 2001 Klausur] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss00_nachklausur.ps.gz SoSe 2000 Nachklausur] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss00_klausur.ps.gz SoSe 2000 Klausur] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_nachklausur.ps.gz SoSe 1999 Nachklausur] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_klausur.ps.gz SoSe 1999 Klausur] und [http://user.cs.tu-berlin.de/~buchholz/frwiki/loesung.SS99.ps Lösung] (incl. Lösung für Zusatzaufgabe mit struktureller Induktion) | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss98_klausur.ps.gz SoSe 1998 Klausur] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss97_klausur.pdf SoSe 1997 Klausur] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss96_klausur.pdf SoSe 1996 Klausur] und [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss96_lsg.pdf Lösung] | ||
| + | |||
| + | [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss95_klausur.pdf SoSe 1995 Klausur] und [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss95_lsg.pdf Lösung] | ||
== Weblinks == | == Weblinks == | ||
Version vom 21. Februar 2005, 21:01 Uhr
Inhaltsverzeichnis
Theoretische Grundlagen der Informatik 2
Pflichtveranstaltung im Grundstudium für Studierende der Informatik.
Vorraussetzungen: TheGI 1
Inhalt
- Abbildungen und Relationen (wie komme ich von einer Menge in die Andere)
- Datenstrukturen (Mengen die mit bestimten Operationen verknüpft sind)
- Signaturen und Algebren (Signatur: Was Gibt es für Operationen; Algebra: Wie sehen sie aus)
- Homomorphismen (Abbildung zwischen verschiedenen Algebren zur gleichen Signatur)
- Terme und Strukturelle Induktion (Was alles mit einer Datenstrucktur angestell werden kann, und wie man es beweist)
- Termalgebren (Allgemeine Algebra zu einer Signatur)
- Algebraische Spezifikationen (Was eine Algebra alles für kriterien erfüllen sollte)
Wer in Info1 bei Opal aufgepasst hat, dem werden einige Dinge bekannt vorkommen.
Literatur
Für das gesammte Semester und auch für TheGI 2 ist das Buch "Mathematisch-strukturelle Grundlagen der Informatik" zu empfehlen da sich die Lehrveranstaltungen an diesem Buch Orientieren. Authoren: Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz. Springer Verlag ISBN: 3-540-41923-3
Alte Klausuren
SoSe 1999 Klausur und Lösung (incl. Lösung für Zusatzaufgabe mit struktureller Induktion)
