Model theory considers the class of models of axiom systems.
Recursion theory, or computability theory, study the abstract computability of functions.
The Mathematical Logic Group at the university of Bonn specialises in set theory.
www.math.uni-bonn.deDie Modelltheorie betrachtet allgemein Modelle gegebener Axiomensysteme.
In der Rekursionstheorie wird die prinzipielle Berechenbarkeit von Funktionen untersucht.
Die Arbeitsgruppe Mathematische Logik an der Universität Bonn arbeitet vor allem im Bereich der Mengenlehre.
www.math.uni-bonn.deThe project was concerned with the further development of the underlying mathematical theory and with case studies on the applications of this method.
In particular, it performed investigations on the classification of the expressiveness and on computability of models of higher-order specifications.
Project description, Publications
www.informatik.uni-augsburg.deDas Projekt befaßte sich mit der Weiterentwicklung der zugrunde liegenden mathematischen Theorie sowie mit Fallstudien zum Einsatz dieser Methode.
Speziell wurden Untersuchungen zur Klassifikation der Ausdrucksstärke und zur Berechenbarkeit von Modellen von Spezifikationen höherer Stufe angestellt.
Projektbeschreibung, Veröffentlichungen
www.informatik.uni-augsburg.dePrerequisites
Basic knowledge of computability and complexity theory
Linear Algebra
www-mgi.informatik.rwth-aachen.deVoraussetzungen
Grundbegriffe zur Berechenbarkeit und Komplexität
Lineare Algebra
www-mgi.informatik.rwth-aachen.deVoulez-vous ajouter des mots, des phrases ou des traductions ?
Proposez de créer une nouvelle entrée pour un mot.