DOKUMEN123.COM

Die Berechenbarkeitstheorie (auch Rekursionstheorie) ist ein Teilgebiet der theoretischen Informatik und der mathematischen Logik, die sich mit dem Begriff...

in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum...

Fluggesellschaft (ICAO-Code) Primitiv-rekursive Funktion, Funktionen in der Rekursionstheorie Pseudorandom Function, Funktionen in der Kryptologie, siehe Pseudozufällige...

Disziplinen der Informatik, darunter die theoretische Informatik (u. a. Rekursionstheorie, Automatentheorie, Domaintheorie) und die technische Informatik (z...

Komposition und (primitiver) Rekursion gebildet und spielen in der Rekursionstheorie eine wichtige Rolle. In der Informatik werden elementare Datentypen...

Mathematik Angewandte Mathematik mathematische Logik Beweistheorie Rekursionstheorie Modelltheorie Mengenlehre Dynamische Systeme Nichtlineare Dynamik...

Rózsa Péter geprägt. Primitiv-rekursive Funktionen spielen in der Rekursionstheorie, einem Teilgebiet der theoretischen Informatik, eine Rolle. Sie treten...

μ-rekursiven Funktionen oder partiell-rekursiven Funktionen spielt in der Rekursionstheorie, einem Teilgebiet der theoretischen Informatik, eine wichtige Rolle...

mathematische Logik zusammengefasst werden: Mengenlehre, Beweistheorie, Rekursionstheorie und Modelltheorie. Vom formalistischen Standpunkt aus kann die Suche...

konstruktiver Algebren, in der eine Verbindung von Ideen und Methoden der Rekursionstheorie mit solchen der universellen Algebra hergestellt wird. Malzew gab...

Schreibfiguren die Rede ist, verwendet man in der Mengenlehre und der Rekursionstheorie den von Stephen Cole Kleene eingeführten Begriff Ordinalzahlnotation...

Forschungszentrums für Mathematische Logik. Er beschäftigt sich mit Rekursionstheorie, axiomatischer Mengenlehre (mit Verbindungen zur Modelltheorie), deskriptiver...

und von Mathematikern wie Stephen C. Kleene veröffentlicht, der die Rekursionstheorie in den 1930er Jahren zu entwickeln begann. Obwohl ursprünglich von...

Vorsitzender der Mathematik-Fakultät. Slaman beschäftigt sich mit Rekursionstheorie. Mit W. Hugh Woodin formulierte er eine Vermutung über die Teilordnung...

Berkeley. Wichtige Arbeiten im Umfeld von Hilberts zehnter Vermutung, Rekursionstheorie und Entscheidbarkeitsfragen. War als erste Frau Präsidentin der American...

mathematischen Grundlagenforschung wie Prädikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre und Grundlagen der Arithmetik leistete er wesentliche...

ging er dort in den Ruhestand. Er beschäftigte sich vor allem mit Rekursionstheorie und effektiver deskriptiver Mengenlehre. Eine Verallgemeinerung von...

Er befasst sich mit mathematischer Logik (Berechenbarkeitstheorie, Rekursionstheorie, Reverse Mathematik) mit Anwendungen in Modelltheorie, Kombinatorik...

Berechenbarkeit hin untersucht werden, dies geschieht im mit der Rekursionstheorie eng verzahnten Teilgebiet der effektiven deskriptiven Mengenlehre...

Er befasst sich mit mathematischer Logik (Berechenbarkeitstheorie, Rekursionstheorie). 1972 bewies er mit Carl Jockusch das Low basis theorem in der mathematischen...

am Institute for Advanced Study. Shoenfield beschäftigte sich mit Rekursionstheorie, Modelltheorie und axiomatischer Mengenlehre. Sein Lehrbuch der mathematischen...

Mathematik, Theorie der Turing-Grade (Degrees of unsolvability) in der Rekursionstheorie, Komplexitätstheorie beschäftigte, auch mit Kombinatorik und Philosophie...

der University of Georgia). Sacks beschäftigte sich besonders mit Rekursionstheorie. Sein Dichtesatz besagt, dass die rekursiv aufzählbaren Turing Grade...

der sich mit deskriptiver Mengenlehre, Theorie der Algorithmen und Rekursionstheorie beschäftigt. Moschovakis ging in Athen zur Schule und kam 1956 in...

Bibliographisches Institut, Mannheim/Wien/Zürich 1983, ISBN 3-411-01634-5. Rekursionstheorie. BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1993, ISBN 3-411-16171-X...

US-amerikanischer mathematischer Logiker, der sich vor allem mit Rekursionstheorie beschäftigt. Shore promovierte 1972 am Massachusetts Institute of...

der sich mit mathematischer Logik (Theorie der Berechenbarkeit, Rekursionstheorie, Komplexitätstheorie), Mathematikpädagogik und Wahrscheinlichkeitstheorie...

2010 wurde sie emeritiert. Als Mathematikerin befasste sie sich mit Rekursionstheorie und Nicht-Standard-Modellen der Arithmetik. Ab Mitte der 1970er Jahre...

sie sich mit der Logik unendlicher langer Sätze (Infinitäre Logik), Rekursionstheorie und Anwendungen der Logik in der Algebra. Nach ihr ist der 1973 gestiftete...

}^{0}} , die auch die Analogie zur arithmetischen Hierarchie in der Rekursionstheorie andeutet, wurde von John Addison 1959 eingeführt. Descriptive Set...

Hauptarbeitsgebiete waren Algebra, Mengenlehre, Modelltheorie und Rekursionstheorie. Besonders herausragend sind neben seinen Forschungen zum Zermelo-Fraenkelschen...