Hier ist meine Arbeit über den
Sprachwandel zu finden. (Deutsche Lehnwörter im Polnischen)
Hier
ist meine Habilitationsschrift
zu finden. (Verifikation von Realzeitsystemen)
Hier ist etwas über das wissenschaftliche Arbeiten zu finden.
Einige Bemerkungen zu den
Vorlesungen des Wintersemesters 2011/12
Die Übungen
zu den Grundlagen der theoretischen Informatik
Einige Bemerkungen zu den
Vorlesungen des Sommersemesters 2011
Skript zur Vorlesung
Höhere Logikkalküle (Master IKS).
Einiges zur Vorlesung
Logikkalküle. Hier findet sich insbesondere ein Kapitel aus
meiner Habilitationsschrift, in dem es um modale und temporale
Logik geht.
Einige Übungen
zur
Kryptographie (Datenschutz und -sicherheit)
Einiges zum Blockseminar
Prolog.
Einiges zur Vorlesung
Computerlinguistik.
Hier
ist ein
Prolog-Programm, das c-
und f-Strukturen erzeugt und Sätze der
deutschen Sprache auf Korrektheit testet.
Zur Zeit ist das Lexikon aber
noch sehr, sehr klein.
Links zu XML/HTML
ein Link zu Java (selfjava.de)
Die Übungsaufgabe für Excel (``Die Pizzeria'').
Einiges zu Spin.