| |
|
|
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
|
|
Dr. habil. Andreas Dolzmann