Nichtkommutative Minimallogik im Web 2.0

Dr. Heinrich Mulk
Arbeitsgruppe transfinite Wahrscheinlichkeitslogik


Informationen zur Lehrveranstaltung

Inhalt:

Das Seminar beschäftigt sich mit der Verwendung nichtkommutativer Logiken hörerer Ordnung im Web 2.0 sowie im Semantic Web. Dabei werden sowohl Modal- als auch Temporallogiken einbezogen und ihre Implementierbarkeit in modernen webfähigen Programmiersystemen wie COBOLTM und JavaTM diskutiert. Außerdem wird angeschnitten, welche Werkzeuge der Logikprogrammierung auf ω1- und höheren Turingmaschinen Verwendung finden können.

Literatur:

Zielgruppe:

Studenten der Differentialinformatik im Hauptstudium (ab 23. Semester) sowie der Mathematik (Master).

Zeit und Ort:

Samstags, 11:00 - 23:00 im Audimax.

Schein:

Vortrag (720 min) und Ausarbeitung.