Nichtkommutative Minimallogik im Web 2.0

Weitere Inhalte

• Neuigkeiten
• Arbeitsgruppe
• Lehrangebot
• Materialien

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 COBOL^TM und Java^TM diskutiert. Außerdem wird angeschnitten, welche Werkzeuge der Logikprogrammierung auf ω₁- und höheren Turingmaschinen Verwendung finden können.

Literatur:

• E. G. Raiffmeisen: Debunking Informatics — The Naked Emperor of the Pseudo-Sciences. “Why?” Books Ltd. 2011.
• H. Mulk: On Transfinite Probability Measures in the Semantic Web. Proceedings of the Guenologlyan Mages Association, issue no. 3'443.
• A. Fiesler: On the Provability of Transfinite Conjectures in Recursion Theory and Related Systems. Proceedings of the Guenologlyan Mages Association, issue no. 3'444.

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.