Suchergebnisse
Zur Navigation springen
Zur Suche springen
Übereinstimmungen mit Seitentiteln
- Eine '''Notation''' einer Menge <math>M</math>, im Sinne der [[Berechenbarkeitstheorie]], ist eine möglicherweise [[partielle Funktion|partielle]] [[surjektiv]]e [[Kategorie:Berechenbarkeitstheorie]] …646 Bytes (72 Wörter) - 12:28, 17. Aug. 2024
- …iller-Universität Jena im Sommersemester 2013.</ref> genannt, ist in der [[Berechenbarkeitstheorie]] eine Vereinigung von [[Gödelnummer]]n [[Berechenbare Funktion|berechenbar …enn sie auf diese [[Reduktion (Theoretische Informatik)#Reduktionen in der Berechenbarkeitstheorie|one-one-reduzierbar]] ist, alle semantische Mengen sind daher ''Zylinder''. …4 KB (534 Wörter) - 15:10, 9. Dez. 2018
- [[Kategorie:Berechenbarkeitstheorie]] …2 KB (303 Wörter) - 09:59, 27. Mär. 2024
Übereinstimmungen mit Inhalten
- Eine '''Notation''' einer Menge <math>M</math>, im Sinne der [[Berechenbarkeitstheorie]], ist eine möglicherweise [[partielle Funktion|partielle]] [[surjektiv]]e [[Kategorie:Berechenbarkeitstheorie]] …646 Bytes (72 Wörter) - 12:28, 17. Aug. 2024
- In der [[Berechenbarkeitstheorie]], einem Teilgebiet der [[Theoretische Informatik|theoretischen Informatik] [[Kategorie:Berechenbarkeitstheorie]] …528 Bytes (68 Wörter) - 14:02, 24. Aug. 2020
- Eine '''Nummerierung''' einer Menge <math>M</math>, im Sinne der [[Berechenbarkeitstheorie]], ist eine möglicherweise [[partielle Funktion|partielle]] [[surjektive Fu Nummerierungen und die verwandten [[Notation (Berechenbarkeitstheorie)|Notationen]] sind z. B. Werkzeuge beim Beweis der [[Gleichheit|Äquiva …1 KB (168 Wörter) - 12:27, 17. Aug. 2024
- '''Rekursive Isomorphie''' ist in der [[Berechenbarkeitstheorie]] eine [[Äquivalenzrelation]] auf [[Menge (Mathematik)|Menge]]n [[Natürlich …somorph, wenn sie [[Reduktion (Theoretische Informatik)#Reduktionen in der Berechenbarkeitstheorie|one-one-äquivalent]] sind. …3 KB (380 Wörter) - 15:04, 9. Dez. 2018
- …iller-Universität Jena im Sommersemester 2013.</ref> genannt, ist in der [[Berechenbarkeitstheorie]] eine Vereinigung von [[Gödelnummer]]n [[Berechenbare Funktion|berechenbar …enn sie auf diese [[Reduktion (Theoretische Informatik)#Reduktionen in der Berechenbarkeitstheorie|one-one-reduzierbar]] ist, alle semantische Mengen sind daher ''Zylinder''. …4 KB (534 Wörter) - 15:10, 9. Dez. 2018
- * [[Wortproblem (Berechenbarkeitstheorie)|Wortproblem]] …773 Bytes (92 Wörter) - 13:57, 6. Mär. 2024
- * [[Wortproblem (Berechenbarkeitstheorie)|Wortproblem]] [[Kategorie:Berechenbarkeitstheorie]] …2 KB (286 Wörter) - 18:45, 9. Okt. 2024
- …der [[Theoretische Informatik|theoretischen Informatik]], genauer in der [[Berechenbarkeitstheorie]], behandelt. …und [[Stephen Cole Kleene]], die sich als erste mit rekursiven [[Notation (Berechenbarkeitstheorie)|Notationssystemen]] für Ordinalzahlen beschäftigten.<ref name="ChurchKleen …4 KB (524 Wörter) - 19:33, 10. Aug. 2024
- …rechenbar aufzählbare Menge''', kurz '''r.e.''', '''c.e.''') wird in der [[Berechenbarkeitstheorie]] eine Menge von [[Natürliche Zahl|natürlichen Zahlen]] bezeichnet, wenn es …/math> lässt sich [[Reduktion (Theoretische Informatik)#Reduktionen in der Berechenbarkeitstheorie|many-one]] auf das [[Halteproblem]] reduzieren. …5 KB (660 Wörter) - 05:13, 22. Jan. 2025
- …hlich in der [[theoretische Informatik|theoretischen Informatik]] in der [[Berechenbarkeitstheorie]] verwendet und dient der Abgrenzung zu Funktionen über anderen Mengen, ins …1 KB (186 Wörter) - 00:02, 25. Aug. 2019
- [[Kategorie:Berechenbarkeitstheorie]] …1 KB (185 Wörter) - 11:33, 2. Jul. 2018
- …en von Teilmengen der [[Natürliche Zahl|natürlichen Zahlen]], die in der [[Berechenbarkeitstheorie]] und der [[Mathematische Logik|mathematischen Logik]] auftreten. …uf <math>D</math> [[Reduktion (Theoretische Informatik)#Reduktionen in der Berechenbarkeitstheorie|many-one-reduzierbar]], dann gilt: …5 KB (767 Wörter) - 20:09, 2. Feb. 2021
- [[Kategorie:Berechenbarkeitstheorie]] …2 KB (207 Wörter) - 08:33, 9. Feb. 2022
- …der [[Theoretische Informatik|theoretischen Informatik]], genauer in der [[Berechenbarkeitstheorie]], bestimmte [[entscheidbar]]e [[Relation (Mathematik)|Relation]]en. [[Kategorie:Berechenbarkeitstheorie]] …4 KB (544 Wörter) - 19:35, 10. Aug. 2024
- Das '''<math>s_{n}^m</math>-Theorem''' ist ein zentrales Resultat der [[Berechenbarkeitstheorie]]. Es stellt ein Hilfsmittel in der [[Informatik]] dar, mit dem man den Cod [[Kategorie:Berechenbarkeitstheorie]] …4 KB (698 Wörter) - 00:10, 16. Nov. 2019
- …s.uni-potsdam.de/ti/lehre/downloads/TI-II/slides-5.4.pdf |titel=Elementare Berechenbarkeitstheorie I: Grundkonzepte und ihre Eigenschaften |werk=Universität Potsdam |sprache= …2 KB (244 Wörter) - 01:53, 10. Sep. 2024
- …zeichnet. Die arithmetische Hierarchie spielt eine wichtige Rolle in der [[Berechenbarkeitstheorie]]. Die [[hyperarithmetische Hierarchie]] und die [[analytische Hierarchie]] [[Kategorie:Berechenbarkeitstheorie]] …5 KB (669 Wörter) - 18:44, 12. Jan. 2025
- == Pseudozufall in der Berechenbarkeitstheorie == …in der Luft ist für ihn ''pseudozufällig''. Generell definiert man in der Berechenbarkeitstheorie als ''pseudozufällig'', was durch [[Effizienz (Informatik)|effiziente Algor …8 KB (1.003 Wörter) - 08:26, 3. Dez. 2024
- …der [[Mathematische Logik|mathematischen Logik]] und insbesondere in der [[Berechenbarkeitstheorie]] verwendet wird, um die Wachstumsraten von Funktionen zu klassifizieren.… Die Fast Growing Hierarchy ist in der mathematischen Logik und Berechenbarkeitstheorie von Bedeutung, da sie hilft, die "Stärken" verschiedener unendlicher Ordina …6 KB (759 Wörter) - 10:18, 15. Jan. 2025
- …sie eine Berechnungsanweisung ([[Algorithmus]]) formuliert werden kann ([[Berechenbarkeitstheorie]]). Die Funktion, die ein Algorithmus berechnet, ist gegeben durch die [[Au …ngmaschinen den intuitiven Begriff der Berechenbarkeit wiedergeben. In der Berechenbarkeitstheorie heißen genau die Funktionen berechenbar, die Turing-berechenbar sind. …8 KB (1.018 Wörter) - 11:57, 12. Jan. 2025