AG 1: Allgemeine Algebra und Diskrete Mathematik


Allgemeine Algebra und abstrakte Datentypen
für M, MCS, WInf, Inf

Prof. Dr. P. Burmeister


Inhaltsübersicht

Kurzinfo Literatur Sprechstunden
Kurzinfo

Vorlesung mit teilweise integrierter Übung:
Montag, 9.50-11.30 Uhr in S2 15|51
Dienstag, 14.00-15.40 Uhr in S1 15|133 (Achtung: frühere Anfangszeit)
Mittwoch, 15.20-17.00 Uhr in S2 15|101 (Achtung: verlegt vom Donnerstag - teilweise als Übung (s.u.))
Beginn: 15.4.2002

Die Vorlesung findet mit zum Teil integrierten Übungen statt. Der vorgesehene, inzwischen zeitlich verlegte Übungstermin liegt jetzt mittwochs, und wird zum Teil als Vorlesung genutzt, jedoch mindestens die zweite Stunde wird auf alle Fälle als Übung abgehalten.

Literatur

Es wird ein Skript in englischer Sprache herausgegeben, dessen Updates jeweils als pdf-Datei (mit Hyperlinks) oder als ge-gzip-te ps-Datei von dieser Seite aus abrufbar sind. (Letztes update: 17.2.02) Änderungen seit dem 2.7.02:
Einfuehrung einiger mengentheoretischer Bezeichnungen in der Einleitung
In Kapitel 8 gibt es einige neue Saetze (z.T. noch ohne Beweis) und einige neue Beweise
Außerdem kann man sich hier auch mein Buch von 1986 (Letztes update: 2.7.02) in weitgehend noch nicht korrigierter LaTeX-Fassung als pdf- oder ge-gzip-te ps-Datei ansehen oder herunterladen, ebenso einige andere Dateien.

  • Vorlesungs-Skript (Fragment) Partielle Algebren (Lecture Notes on Partial Algebras (Fragment) (ps.gz-file)
  • These Lecture Notes as pdf-file with hyperlinks

  • A still incomplete (i.e. missing diagrams and not yet proof read) transcription into Latex of the WordStar text of my book on partial algebras - with an augmented introduction (ps.gz-file):
    A Model Theoretic Oriented Approach to Partial Algebras (Akademie-Verlag, Berlin, 1986)
  • This book as pdf-file: A Model Theoretic Oriented Approach to Partial Algebras (Akademie-Verlag, Berlin, 1986)

  • The ps.gz-file of the diplome thesis of Richard Holzer (in German): Programmverifikation mit partiellen Algebren als abstrakte Datentypen (TU Darmstadt, 1996)
  • This diplome thesis of Richard Holzer as pdf-file

  • The ps.gz-file of the paper: On the equivalence of ECE- and generalized KLEENE-equations for many-sorted partial algebras (Proceedings of a conference on Universal Algebra and its Applications, Linz 1994, Hölder-Pichler-Tempsky, Wien, 1995 und Verlag B.G.Teubner, Stuttgart, pp. 91-106)
  • This paper as pdf-file

    Sprechstunde

    Prof. P. BurmeisterMi, 14.00-15.00 UhrS2 15|207


    URL: http://www.mathematik.tu-darmstadt.de/Math-Net/Lehrveranstaltungen/Lehrmaterial/ SS2002/AllgemeineAlgebra/index.html
    Kommentare an: burmeister@mathematik.tu-darmstadt.de (P. Burmeister)

    04.05.2002