Lehre space Dr. habil. Andreas Dolzmann
Vorlesungen
  • Grundlagen der Mathematik 2
    SS 2008, SS 2007
  • Grundlagen der Mathematik 1
    WS 2008/09, WS 2007/08, WS 2006/07
  • Computeralgebra
    WS 2007/08
  • Kryptographie
    WS 2005/06
  • Algebra und Logik
    SS 2005
  • Business Mathematics (in englisch an der FH Deggendorf)
    WS 2004/05
  • Anwendungen der Computerlogik
    SS 2002
  • Einführung in das Computeralgebrasystem REDUCE
    SS 1999

Seminare, Proseminare
  • Modelltheoretische Grundlagen der Mengenlehre
    SS 2007
  • Moderne Verfahren der Kryptographie
    SS 2007
  • Computeralgebrasysteme
    SS 2006
  • Axiomatische Grundlagen der Mathematik und Informatik
    SS 2005
  • WEB-Technologien
    SS 2004
  • Mengenlehre
    WS 2003/04
  • Algorithmen für ganze Zahlen auf dem Computer
    SS 2001
Programmierpraktika
  • XREF: Ein modularer Crossreferenzer für REDUCE mit verlinkter HTML-Ausgabe
    SS 2007
  • Design und Realisierung einer Window-basierten Oberfläche für REDUCE in JAVA
    WS 2006/07
  • Implementierung von Algorithmen zur Computeralgebra
    WS 2003/04
  • Design und Implementierung eines Algorithmus zur Visualisierung von Bewegungsplanung in REDUCE
    SS 2003
  • Erzeugung eines HTML-Crsossrefernzing von RLISP-Programmen.
    SS 2002/03
  • Symbolische Varianten des SIMPLEX_Algorithmus
    SS 2001
  • Design und Implementierung symbolischer Algorithmen
    SS 1999
  • LISP und REDUCE
    WS 1997/98
Betreute Arbeiten
  • Zulassungsarbeit zum Staatsexamen: Der AKS-Primzahltest
    SS 2008
  • Diplomarbeit Jennifer Neumüller: Simplifikation of Constrained Systems
    SS 2005
  • Diplomarbeit Lorenz A. Gilch: Hermitian Quantifier Elimination
    SS 2003
Mitwirkung an Arbeiten
  • Zweitgutachten zur Diplomarbeit Christoph Zengler:
    Generalised SAT Checking in a First-Order Logic Framework
    WS 2007/08
  • Mitwirkung an einem Promotionsverfahren
    2006
  • Betreuung der Implementierung zur Diplomarbeit Jürgen Reiske:
    Information Management, Simulation and Symbolic Diagnosis for Technical Networks
    SS 1999
Übungen
  • Grundlagen der Mathematik 2
    SS 2008 (ad)
  • Grundlagen der Mathematik 1
    WS 2008/09 (ad), WS 2005/06 (uh)
  • Computeralgebra
    WS 2007/08 (ad)
  • Lineare Algebra und algebraische Strukturen II
    WS 2001 (vw)
  • Lineare Algebra und Algebraische Strukturen I
    WS 2006/07 (vw), WS 2004/05 (vw), WS 2001/02 (sg),
    WS 2000/01 (vw), WS 1999/00 (gr), WS 1998/99 (gl)
  • Algebra und Logik
    SS 2006 (vw), SS 2005 (ad), SS 2004 (vw), SS 2003 (ts), SS 2002 (vw),
    SS 2000 (vw), SS 1999 (hv), SS 1998 (vw), SS 1997 (hv)
  • Grundlagen der Informatik I
    WS 2002/03 (cl)
  • Analysis III
    WS 1997/98 (sg), WS 1996/97 (vw)
  • Analysis II
    WS 2003/04 (sg), WS 1996 (vw)
  • Analysis I
    WS 1995/96 (vw)
Sonstiges
  • Sommercamp Informatik
    Vortrag: Kryptographie (für Schüler)
    August 2006
     
  • Vorkurs Informatik
    Vorlesung in Mathematik Fibonacci-Zahlen
    April 2001, Oktober 2001, April 2002
     
  • Sommercamp Informatik
    Vortrag und Betreuung einer Schülergruppe
    August 2000
(c) A. Dolzmann Changed 2009-05-29 HTML 4.01 Tr. Impressum