Definition, Betydelse & Synonymer | Tyska ordet REKURSIONSTHEORIE

Definition av REKURSIONSTHEORIE

1. beräkningsteori

Exempel på hur man kan använda REKURSIONSTHEORIE i en mening

• Die Berechenbarkeitstheorie (auch Rekursionstheorie) ist ein Teilgebiet der theoretischen Informatik und der mathematischen Logik, die sich mit dem Begriff der Berechenbarkeit befasst, insbesondere damit, welche Probleme mit Hilfe einer Maschine (genauer: eines mathematischen Modells einer Maschine) oder eines anderen mathematischen Modells der Berechenbarkeit lösbar sind.
• Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt.
• Aber auch zur mathematischen Grundlagenforschung wie Prädikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre und Grundlagen der Arithmetik leistete er wesentliche Beiträge, wie auch in der Algebra und Zahlentheorie.
• Die primitiv-rekursiven Funktionen sind aus einfachen Grundfunktionen durch Komposition und (primitiver) Rekursion gebildet und spielen in der Rekursionstheorie eine wichtige Rolle.
• Er war der Begründer einer Theorie konstruktiver Algebren, in der eine Verbindung von Ideen und Methoden der Rekursionstheorie mit solchen der universellen Algebra hergestellt wird.
• Er beschäftigt sich mit Rekursionstheorie, axiomatischer Mengenlehre (mit Verbindungen zur Modelltheorie), deskriptiver Mengenlehre.

Förberedelsen av sidan tog: 2 458,80 ms.