INSTITUTION | LEHRANGEBOTE | FACHGEBIET / | |
| FH Regensburg | Vorlesungen ( J. Sauer) | Informatik | Kerninformatik, Theoretische Informatik Datenbanken, Algorithmen, Operations Research, künstliche Intelligenz, Neuronale Netze, Fuzzy-Logik |
| Uni Bern | Logik mit Übungen ( Logikkurs mit passwortpflichtigen Übungen) |
Philosophie |
Logik, künstliche Intelligenz |
| Uni Boston ( Northeastern University) | Scheme in Fixnum Days | Informatik | Theoretische Informatik, künstliche Intelligenz, Logikprogrammierung, Scheme |
| Uni Düsseldorf ( gemeinsam mit Uni München und Leipzig) | Logik-Software |
Philosophie |
Logik |
| Uni Düsseldorf ( gemeinsam mit Uni München und Leipzig) | Logik-Kurse und Logik-Skripte |
Philosophie |
Logik |
| Uni Tübingen | Philosophisches Seminar ( Skripte und Texte) |
Philososphie |
Logik |
| Uni Wien | Der Logik-Übergang, logische Wahrheiten |
Philosophie |
Logik |
| Impressum |