apl. Prof. Dr. rer. nat. habil. Dietlinde Lau

Allgemeine Angaben

Schwerpunkte in der Lehre

• Mathematik für Informatiker
• Allgemeine Algebra
• Funktionenalgebren (mehrwertige Logiken)
• Mathematische Logik
• Geschichte der Mathematik

Aktuelle Lehrveranstaltungen

• Mathematik 1-4 für Informatiker und Wirtschaftsinformatiker
  (Wintersemester 2011/2012 - Wintersemester 2012/2013; 6 SWS)
• Erste Vorlesung im Sommersemester 2012:
  02. April 2012, 13:25 - 14:55 Uhr, A.-Einstein-Str.2, Großer Hörsaal
  Man beachte, dass sämtliche Übungen bereits in der ersten Vorlesungswoche stattfinden (auch am Montag)!
• Stundenpläne   (Vorlesung,   Übung,   Übung)
• Informationen zur Vorlesung
• Übungsaufgaben findet man unter STUD.IP
• Allgemeines über Übungsaufgaben, Testate und Klausuren
• Über den Vorlesungsstoff des ersten Semesters und des dritten Semesters gibt es die folgenden 2 Bücher (siehe auch unten: Lehrbücher)
  • D. Lau: Algebra und Diskrete Mathematik 1.
    Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra und Kombinatorik
    3., korr. und erw. Aufl., Springer-Verlag 2011
  • D. Lau: Übungsbuch zur Linearen Algebra und analytischen Geometrie.
    Aufgaben und Lösungen.
    2., korr. und erg. Aufl., Springer-Verlag 2011
• Testat- und Klausurtermine
• Anmeldung zur Vorlesung über STUD.IP
• Weitere Informationen zur Vorlesung unter STUD.IP
• Allgemeine Algebra I+II
  (Wintersemester 2011/2012 - Sommersemester 2012; 4 SWS)
  
  • Informationen zur Vorlesung
• Mathematische Logik
  (Wintersemester 2012/2013, 2014/2015; 4 SWS)
• Informationen zur Vorlesung
• Anmeldung zur Vorlesung über STUD.IP
• Prüfungstermine
• Geschichte der Mathematik (Sommersemester 2013, 2015; 2 SWS)
  • Informationen zur Vorlesung
  • Literaturhinweise

Schwerpunkte in der Forschung

• Funktionenalgebren über endlichen Mengen (mehrwertige Logiken)
• Verbindungen der Theorie der Funktionenalgebren zur Allgemeinen Algebra

Publikationsliste

Lehrbücher

Im März 2004 sind die folgenden zwei Bücher beim Springer-Verlag erschienen.
Von Band 1 erschien 2011 die dritte, korrigierte und erweiterte Auflage.

	Algebra und Diskrete Mathematik, Band 1 (Grundbegriffe, Lineare Algebra und analytische Geometrie, Numerische Algebra). ISBN: 3-540-20397-4		Algebra und Diskrete Mathematik 1 3., korr. und erw. Aufl., 2011 (Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra und Kombinatorik) ISBN: 978-3-642-19442-9
	Algebra und Diskrete Mathematik, Band 2 (Lineare Optimierung, Graphen und Algorithmen, Algebraische Strukturen und Allgemeine Algebra mit Anwendungen). ISBN: 3-540-20398-2

• Informationen des Springer-Verlages zu Band 1 (3., korr. u. erw. Aufl., 2011)
  und Band 2
• Das Inhaltsverzeichnis und das Vorwort von Band 1 (3., korr. u. erw. Aufl.)
  
• Die Einleitung und das Inhaltsverzeichnis von Band 2
• Die bisher gefundenen Druckfehler

Übungsbuch

Im September 2007 erschien das folgende Buch im Springer-Verlag,
das die Lösungen der Übungsaufgaben aus "Algebra und Diskrete Mathematik 1" enthält.
2011 erschien die 2. korrigierte u. ergänzte Auflage.

	Übungsbuch zur Linearen Algebra und analytischen Geometrie (Aufgaben mit Lösungen) ISBN: 978-3-540-72365-3		Übungsbuch zur Linearen Algebra und analytischen Geometrie 2., korr. und erg. Aufl., 2011 (Aufgaben mit Lösungen) ISBN 978-3-642-19277-7
Informationen des Springer-Verlages über das Übungsbuch, (2., korr. u. erg. Aufl., 2011)

Monographie

	Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory Springer Monographs in Mathematics, 2006 ISBN: 3-540-36022-0
Springer-Verlag    About this book

Aktuelle Arbeiten

• (mit Lucien Haddad)
  Uncountable families of partial clones containing maximal clones.
  Beiträge zur Algebra und Geometrie. Contributions to Algebra and Geometry. Vol. 48 (2007), No. 1, 257-280
• (mit Lucien Haddad)
  Some Criterions for Partial Sheffer functions in k-valued Logic.
  Mult.-Valued Logic and Soft Computing 13 (4-6), 2007, 415-446
• (mit Lucien Haddad)
  Characterization of Partial Sheffer Functions in 3-valued Logic.
  Proceedings of the 37th International Symposium on Multiple-Valued Logic, Oslo, May 14-16, 2007
• (mit Masahiro Miyakawa)
  Classifications and Enumeration of Bases in .
  Proceedings of the 37th International Symposium on Multiple-Valued Logic, Oslo, May 14-16, 2007
• (mit Masahiro Miyakawa)
  Classification and Enumeration of Bases in P_k(2)
  Asian-European Journal of Mathematics (AEJM). Volume1, Number 2 (2008), 255-282
• (mit Regine Rachow)
  Thesaurus des menschlichen Geistes
  Leibniz Nordost, Journal der Leibniz-Institute MV, Nr.9-2009, 4-5
  
• (mit Karsten Schölzel)
  A Classification of Partial Boolean Clones
  Multiple-Valued Logic, 40th IEEE International Symposium on (2010) 189-194
  Barcelona, May, 2010