Der moderne Frege

Gottlob Frege ist einer der größten (der größte?) Wissenschaftler Mecklenburg-Vorpommerns. Als Mathematiker und Philosoph hat er die moderne mathematische Logik begründet, dazu Beiträge zur Mengenlehrer, Axiomatisierung sowie der Sprachphilosophie geleistet. Viele seiner Leistungen haben Spuren hinterlassen, die noch heute wirken, und dass nicht nur in der Mathematik und Philosophie sondern insbesondere auch in der Informatik. Diese Schrift möge dazu beitragen, den Namen Gottlob Frege und sein Schaffen stärker in das öffentliche Bewusstsein zu rücken. --

Überschneidungen. Konturen einer Theorie der Medialität.

Die Frage, ob Medien einen tiefgreifenden Wandel von Gesellschaft, Kultur und Wahrnehmung markieren, ist keine bloß randständige mehr. Allein schon eine kursorische Bestandsaufnahme der Literatur, die seit etwa 1985 nicht mehr nur in der Perspektive der Wirkungsforschung einzelne Massenmedien wie das Telefon, den Film, das Radio oder das Fernsehen untersucht, sondern zunehmend nach den medialen Bedingungen der Kultur1 überhaupt fragt, belegt, daß die Funktion der Medien unser Selbstverständnis nachhaltig irritiert. Das genannte Datum ist kein bloß zufälliges: Erst mit der zu diesem Zeitpunkt unübersehbar werdenden Verbreitung des Computers als einem universellen, die vormaligen Medien integrierenden Medium überlagert sich die Frage nach dem alltäglichen Gebrauch der Medien und ihrer Normen mit der nach der Struktur der Medialität als solcher

Automated compliance checking of digital building models regarding applicable standards and guidelines using a visual programming language

Die vorliegende Arbeit beschäftigt sich mit der Automatisierung der Konformitätsprüfungsprozesse im Bauwesen, welche sich vornehmlich auf die Einhaltung regulatorischer Anforderungen aus geltenden Normen und Richtlinien beziehen. Gegenwärtig sind diese Prozesse zeitintensiv, umständlich und fehleranfällig, da sie zumeist manuell durchgeführt werden müssen. Um diesen Herausforderungen zu begegnen, stellt die Arbeit eine visuelle Programmiersprache vor, die es Architekten und Ingenieuren ermöglicht, die Prüfprozesse zu formalisieren und zu automatisieren.The thesis deals with the automation of compliance checking processes in the construction industry, which primarily relate to compliance with regulatory requirements from applicable codes and standards. At present, these processes are time-consuming, cumbersome, and error-prone, as they mostly must be carried out manually. To meet these challenges, the thesis presents a visual programming language that enables architects and engineers to formalize and automate the checking processes

Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz

Diese Arbeit beschreibt Design, Implementierung und Evaluierung einer virtuellen Maschine für die Kernsprache von Oz, die wir mit L bezeichnen. Wir stellen L aus didaktischen Gründen als Erweiterung einer Teilsprache von SML dar. Die wichtigsten Unterschiede von L zu SML sind: logische Variablen, Threads, Synchronisation und dynamische Typisierung. Ausgehend von einer informellen Beschreibung der dynamischen Semantik über ein Graphenmodell entwickeln wir daraus schrittweise auf unterschiedlichen Abstraktionsebenen eine virtuelle Maschine für L. Wir beschreiben zunächst ein einfaches Grundmodell. Darauf aufbauend diskutieren wir verschiedene Optimierungen. Schließlich verfeinern wir weiter, indem wir auf Aspekte der Implementierung des Modells eingehen. Abschließend evaluieren wir die Effektivität der vorgestellten Techniken an einer Reihe von größeren Anwendungen aus der Praxis. Weiter zeigen wir, daß die Implementierung der Sprache kompetitiv ist mit den schnellsten Emulatoren für statisch getypte funktionale Sprachen.This thesis presents the design, implementation and evaluation of a virtual machine for the core language of Oz, which we call L. We present L for didactic reasons as an extension of a sublanguage of SML. The most important differences between L and SML are: logic variables, threads, synchronization and dynamic typing. Starting from an informal description of the dynamic semantics in terms of a graph model, we develop step by step on various levels of abstraction a virtual machine for L. We begin with a simple basic model. We then propose several optimizations of this model. Afterwards we keep refining our approach by addressing specific aspects of the implementation of the model. Finally we evaluate the effectiveness of the techniques using a set of larger real world applications. Further we show, that the implementation of the language is competitive with the fastest emulators for statically typed functional languages

Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz

Diese Arbeit beschreibt Design, Implementierung und Evaluierung einer virtuellen Maschine für die Kernsprache von Oz, die wir mit L bezeichnen. Wir stellen L aus didaktischen Gründen als Erweiterung einer Teilsprache von SML dar. Die wichtigsten Unterschiede von L zu SML sind: logische Variablen, Threads, Synchronisation und dynamische Typisierung. Ausgehend von einer informellen Beschreibung der dynamischen Semantik über ein Graphenmodell entwickeln wir daraus schrittweise auf unterschiedlichen Abstraktionsebenen eine virtuelle Maschine für L. Wir beschreiben zunächst ein einfaches Grundmodell. Darauf aufbauend diskutieren wir verschiedene Optimierungen. Schließlich verfeinern wir weiter, indem wir auf Aspekte der Implementierung des Modells eingehen. Abschließend evaluieren wir die Effektivität der vorgestellten Techniken an einer Reihe von größeren Anwendungen aus der Praxis. Weiter zeigen wir, daß die Implementierung der Sprache kompetitiv ist mit den schnellsten Emulatoren für statisch getypte funktionale Sprachen.This thesis presents the design, implementation and evaluation of a virtual machine for the core language of Oz, which we call L. We present L for didactic reasons as an extension of a sublanguage of SML. The most important differences between L and SML are: logic variables, threads, synchronization and dynamic typing. Starting from an informal description of the dynamic semantics in terms of a graph model, we develop step by step on various levels of abstraction a virtual machine for L. We begin with a simple basic model. We then propose several optimizations of this model. Afterwards we keep refining our approach by addressing specific aspects of the implementation of the model. Finally we evaluate the effectiveness of the techniques using a set of larger real world applications. Further we show, that the implementation of the language is competitive with the fastest emulators for statically typed functional languages