Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschlie13lich dem menschlichen Denken vorbehalten waren, einem Rechner zu iiber tragen, setzt ein durchgreifendes Verstandnis der logischen Prinzipien voraus, die dem ProzeB des Modellbildens und dem Denken in Modellen zugrunde liegen. Umgekehrt eroffnet das Verstehen dieser Prinzipien oft neue Anwendungsmoglichkeiten in der 1n formatik. Die Mathematische Logik erweist sich dabei als ein auBerst niitzliches Hilfs mittel. Wir stellen hier...
Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor k...
In dieser Dissertation wird ein System zur Erfassung von Terahertz-Pulsen fur die zeitaufgeloste Terahertz-Spektroskopie beschrieben. Das System beruht auf dem Prinzip des Asynchronen Optischen Samplings (ASOPS). Die analytische Beschreibung des ASOPS-Schemas und die Herleitung zulassiger Fehlergrenzen bilden einen wesentlichen Teil dieser Dissertation. Basierend auf den daraus gewonnenen Erkenntnissen wurde das System gegenuber herkommlichen ASOPS-Systemen verbessert. Das Hauptaugenmerk liegt dabei auf der Erzeugung eines Triggersignals, welches keinen relevanten Timing-Jitter in Bezug auf...
In dieser Dissertation wird ein System zur Erfassung von Terahertz-Pulsen fur die zeitaufgeloste Terahertz-Spektroskopie beschrieben. Das System beruh...