|
|
 |
 |
Dr. Wolfgang Degen
 |
Büro: |
Cauerstr. 6
Zimmer 0.147 |
 |
E-Mail: |
wolfgang.degen@informatik.uni-erlangen.de |
 |
Telefon: |
+49 9131 85-27927 |
 |
Fax: |
+49 9131 85-28928 |
 |
Anschrift: |
Universität Erlangen-Nürnberg
Lehrstuhl für Informatik 10 (Systemsimulation)
Cauerstraße 6
D-91058 Erlangen
|
Forschungsinteressen
- Mathematische Logik, insbesondere axiomatische Mengenlehre, Modelltheorie und Beweistheorie
- Theoretische Informatik, insbesondere Automatentheorie, Komplexitätstheorie und Programm-Logiken
- Philosophie, insbesondere Antike Philosophie, Philosophie des Deutschen Idealismus, Analytische Philosophie, (und bis 2003) Sogenannte Ontologie und Metaphysik
- Mittelalterliche Logik, insbesondere Übersetzungen
Lehre
- WS 2006/2007:
- Deskriptive Komplexität und endliche Modelltheorie
- SS 2006:
- Ausgewählte Kapitel aus der Graphentheorie
- Nichtstandard Arithmetik, Analysis und Logik
Sonstiges
|
 |
 |
|