TheGI 2 (StuPO90): Unterschied zwischen den Versionen
(Verweis auf Grundstudium Informatik, da 1) existent im Gegensatz zu und 2) spezifischer als Informatik.) |
(→Alte Klausuren) |
||
| Zeile 25: | Zeile 25: | ||
== Alte Klausuren == | == Alte Klausuren == | ||
| + | SoSe 2005 - Offenbar gibt's wieder zu viele Studenten im Informatik studium, die SoSe2005 Klausur war um einiges schwieriger als alle hier aufgelisteten. | ||
[http://user.cs.tu-berlin.de/~buchholz/frwiki/klausurSS02.ps SoSe 2002] | [http://user.cs.tu-berlin.de/~buchholz/frwiki/klausurSS02.ps SoSe 2002] | ||
Version vom 13. Juli 2005, 12:17 Uhr
Inhaltsverzeichnis
Theoretische Grundlagen der Informatik 2
Pflichtveranstaltung im Grundstudium 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 Datenstruktur angestellt 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 2005 - Offenbar gibt's wieder zu viele Studenten im Informatik studium, die SoSe2005 Klausur war um einiges schwieriger als alle hier aufgelisteten.
SoSe 1999 Klausur und Lösung, Errata (incl. Zusatzaufgabe mit struktureller Induktion)
