Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik
نویسنده
چکیده
Vor ungefähr vierzig Jahren wurde entdeckt, dass Automaten ein nützliches mathematisches Werkzeug sind, um die Entscheidbarkeit bestimmter Teilsysteme der Arithmetik zu verstehen. Heutzutage werden Automaten auch als Werkzeug eingesetzt, um Entscheidungsverfahren für eben solche logischen Theorien umzusetzen. Meine Dissertation behandelt Fragestellungen aus eben diesem Bereich zwischen Automatentheorie und Logik. Ziel dieses Artikels ist es, Einblicke in diesen Themenbereich zu geben und die Beiträge meiner Dissertation zu beschreiben.
منابع مشابه
Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
v vi Inhaltsverzeichnis 1 Einleitung 1
متن کاملModellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromonilität
Im Rahmen des Ziel2.NRW Projekts SMART EM 1 entwickeln mehrere Projektpartner, u.a. s-lab – Software Quality Lab der Universität Paderborn, Orga Systems und Morpho Cards, einen Prototyp für eine IKT-Infrastruktur für Elektromobilität (EM). Dabei entwickeln die beteiligten Partner verteilte Teilsysteme dieser Infrastruktur, die jeweils auf Schnittstellenkompatibilität und funktionale Korrektheit...
متن کاملRegeln für die Erstellung von VHDL-AMS-Modellen
VHDL-AMS hat seit seiner Definition als IEEE-Standard im Jahr 1999 zunehmend Verbreitung bei der Beschreibung digitaler, analoger und gemischt analog-digitaler Systeme gefunden. Ein Vorteil der Sprache besteht in den sehr mächtigen Sprachkonstrukten zur Beschreibung nutzereigener Modelle. Die damit verbundenen Freiheiten bei der Modellerstellung können aber auch dazu führen, dass syntaktisch ri...
متن کاملZur Architektur und Evolution von Krankenhausinformationssystemen
Informationssysteme im Gesundheitswesen spielen eine wichtige Rolle bei der Unterstützung des Versorgungsprozesses, beim Qualitätsmanagement und auch bei der Reduktion von Fehlern in der Medizin. Eine wesentliche Voraussetzung für ihre Effizienz ist die Integration der operationalen Teilsysteme zur Gewährleistung einer bedarfsorientierten Informationsbereitstellung. Hierzu ist eine Unternehmens...
متن کاملModulare Avionik als Grundlage für Systemdefinition, Systemkonfiguration und Systemkontrolle
ASAAC Allied Standard Avionics Architecture Council ist ein international ausgerichtetes Vorhaben, das die Standardisierung zukünftiger Avioniksysteme von Militärflugzeugen zum Ziel hat. Der Beitrag gibt zunächst einen kurzen Abriss über Ziele und Vorteile von ASAAC. Davon ausgehend wird das Softwareschichtenmodell für zukünftige, integrierte modulare Avionik-Architekturen dargestellt. 1 Modula...
متن کامل