Universelle Algebra und Verbandstheorie

Klausur

• Termin: Mo 26.7.1999 10-12 Uhr, Geb. 46 Raum 023.
• Die Scheine können im Sekretariat von Prof. Ganzinger (MPI, AG2, 6. Stock) abgeholt werden.

Vorlesung

Zeit und Raum haben sich geändert

• Zeit: Mittwoch, 14.00-16.00
• Raum: R 023, G.46 (MPI)
• Kurzbeschreibung
• Folien; Kurzbeschreibung; Literaturhinweise.
  • 15-04.ps
  • 21-04.ps
  • 28-04.ps
  • 5-05.ps
  • 12-05.html
  • 19-05.html
  • 26-05.html
  • 2-06.html
  • 9-06.html
  • 16-06.html
  • 23-06.html
  • 30-06.html
  • 6.07.1999: fällt aus
  • 14-07.html

• Zeit: Montag, 13:00-14:00 (c.t.)
• Raum: R 023, G.46 (MPI)
• Die Übungsblätter werden jeweils mittwochs in der Vorlesung verteilt. Abgabe ist am darauffolgenden Mittwoch ebenfalls in der Vorlesung.
  • Blatt 1
  • Blatt 2
  • Blatt 3
  • Blatt 4
  • Blatt 5
  • Blatt 6
  • Blatt 7
  • Blatt 8
  • Blatt 9
  • Blatt 10
  • Blatt 11

• The book A Course in Universal Algebra by S. Burris and H.P. Sankappanavar is available now on the web.

• General Algebra and Lattice Theory
  • General Algebra and Lattice Theory
• Computational Aspects
  • Rewriting home page
  • An algebra calculator program
  • Lattice drawing
  • Computational problems in algebra (see also P-Complete Problems)
• Applications
  • Logic
    • Mathematical logic around the world
  • Concept Analysis
    • Links zur Formalen Begriffsanalyse (Deutsch)