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: keine

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

Alte Klausuren

SoSe 2005 Klausur Gedächtnisprotokoll

SoSe 2002 Klausur

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