Seminar Theoretische Informatik

SS 1998

21.04.98 HG 3-68 13:00 Uhr

Dipl.-Inf. Johannes Waldmann, Institut für Informatik:
Term-Ersetzungs-Systeme und Reguläre Baum-Sprachen am Beispiel des Kombinators S

05.05.98 HG 3-68 15:00 Uhr

Dipl.-Inf. Johannes Waldmann, Institut für Informatik:
Zusammenhänge zwischen Term-Ersetzungs-Systemen und regulären Baum-Sprachen

08.05.98 HG 3-68 10:15 Uhr

Dipl.-Inf. Michael Hartwig, Institut für Informatik:
Zur algebraischen Semantik logischer Sprachen

12.05.98 HG 3-68 15:00 Uhr

Dipl.-Inf. Volker Dötsch, Institut für Informatik:
Das System DESIRE zum Entwurf wissensbasierter Systeme im Überblick

19.05.98 HG 3-68 15:00 Uhr

Dipl.-Inf. Volker Dötsch, Institut für Informatik:
Das System DESIRE zum Entwurf wissensbasierter Systeme im Überblick
Teil 2 mit Vorführung

26.05.98 HG 3-68 15:00 Uhr

Prof. Dr. Heinrich Herre, Institut für Informatik:
Erweiterung der logischen Progammierung

09.06.98 HG 3-68 15:00 Uhr

Prof. Dr. Heinrich Herre, Institut für Informatik:
Erweiterung der logischen Progammierung(Forts.)

16.06.98 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann, Institut für Informatik:
Monaden für Funktionales Programmieren

16.06.98 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann, Institut für Informatik:
Monaden für Funktionales Programmieren

23.06.98 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann, Institut für Informatik:
Monaden für Funktionales Programmieren
(Fortsetzung)

26.06.98 HG 3-68 13:15 Uhr

Dr. Wolfgang Degen, Institut für Informatik der Universität Erlangen:
Mereologie und Teil-Ganzes-Beziehung

30.06.98 HG 3-68 15:00 Uhr

Dipl.-Inf. Michael Hartwig, Institut für Informatik
Mathematische Grundlagen der Semantik funktional-logischer Sprachen

14.07.98 HG 3-68 15:00 Uhr

Dipl.-Inf. Michael Hartwig, Institut für Informatik
Mathematische Grundlagen der Semantik funktional-logischer Sprachen
(Fortsetzung)