Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

TheGI 2 (StuPO90)

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

Kommentare

SoSe 2005 - Offenbar gibt's wieder zu viele Studenten im Informatik studium, die SoSe2005 Klausur war um einiges schwieriger als alle hier aufgelisteten.

Diesen Kommentar kann ich nur bestätigen. Die Aufgaben waren zum Teil für eine Projektaufgabe oder für die Übungsaufgaben geeignet - aber nicht für eine Klausur unter Zeitdruck. Soeben habe ich folgendes zur Klausur erfahren: Die Klausur mußte gekürzt werden, da die Zeit hinten und vorne nicht reichen konnte. Nach der Klausurkorrektur sind 2/3 !!! durchgefallen (bei weniger als 25/50 Punkten). Danach wurde die Grenze auf 21 Punkte gesetzt - und es sind sage und schreibe immer noch 50% durchgefallen! Keiner hat die volle Punktzahl erreicht. Da hat es wohl jemand sehr sportlich gesehen, mit der Erstellung der Klausuraufgaben. Also dieser Jahrgang war wirklich besch*** dran :(. -- Ellen 20:01, 13. Jul 2005 (CEST)

Tja da hat der Andy sich wohl nen heftigen Einstieg erlaubt im Klausuren ausarbeiten :) meckern bringt nix wir sehen uns bei der Nachklausur :(. -- Baschi 22:18, 13. Jul 2005 (CEST)

Es gibt sehr wohl einige Leute, die annähernd volle Punktzahl haben, einer sogar über 50. Es gibt auch definitiv nicht zuviele Studenten, so dass wir hier irgendwie aussieben wollen - Ihr könnt mir glauben, es macht wirklich keinen Spaß, Leute durchfallen zu lassen, ganz im Gegenteil :( Wer allerdings nicht in der Lage ist, eine Quotiententermalgebra (mehr Schema F geht nun wirklich nicht) zu erstellen oder sich einmal die Definition von Unteralgebra anzusehen, der hätte vermutlich auch bei den älteren Klausuren so seine Probleme gehabt. Manchmal wäre es auch hilfreich gewesen, die Aufgabenstellung in Ruhe zu lesen - was man generell immer machen sollte, nicht nur bei TheGI. -- FelixB 22:09, 13. Jul 2005 (CEST)

Alte Klausuren

SoSe 2002

SoSe 2001 Nachklausur

SoSe 2001 Klausur

SoSe 2000 Nachklausur

SoSe 2000 Klausur

SoSe 1999 Nachklausur

SoSe 1999 Klausur und Lösung, Errata (incl. Zusatzaufgabe mit struktureller Induktion)

SoSe 1998 Klausur

SoSe 1997 Klausur

SoSe 1996 Klausur und Lösung

SoSe 1995 Klausur und Lösung

Weblinks