Start
Zufällige Seite
In der Nähe
Anmelden
Einstellungen
Spenden
Über Wikipedia
Impressum
Suchen
Kategorie
:
Berechenbarkeitstheorie
Kategorie
Diskussion
Sprache
Beobachten
Bearbeiten
Einträge in der Kategorie „Berechenbarkeitstheorie“
Folgende 70 Einträge sind in dieser Kategorie, von 70 insgesamt.
Berechenbarkeitstheorie
Turinggrad
A
Abstrakte Zustandsmaschine
Ackermannfunktion
Akzeptieren (Automaten- und Komplexitätstheorie)
Algebraische Rechenmodelle
Äquivalenzproblem
Arithmetische Hierarchie
Aufzählungsoperator
B
Berechenbare Folge
Berechenbare Ordinalzahl
Berechenbare Ordnung
Berechenbare Zahl
Berechenbarer Operator
Berechenbarkeit
C
Church-Kodierung
Church-Turing-These
Computertheorie des Geistes
Craig-Interpolation
E
Einfache und immune Mengen
Entscheidbarkeit
Entscheidungsproblem
F
Fleißiger Biber
Formales System
G
Gentzenscher Hauptsatz
Gödelnummer
Gödelscher Unvollständigkeitssatz
GOTO-Programm
H
Halbe charakteristische Funktion
Halteproblem
I
Indexmenge (Berechenbarkeitstheorie)
Indikatorfunktion
K
Kleenesche Normalform
Kolmogorow-Komplexität
Kommunikationskomplexität
Kreative und produktive Mengen
L
Lambda-Kalkül
LOOP-Programm
M
Μ-Rekursion
N
Notation (Berechenbarkeitstheorie)
Nummerierung (Informatik)
O
Orakel-Turingmaschine
P
Postsches Korrespondenzproblem
Primitiv-rekursive Funktion
Q
Quine (Computerprogramm)
R
Reduktion (theoretische Informatik)
Rekursionssatz
Rekursiv aufzählbare Menge
Rekursive Isomorphie
Retraceable Menge
S
Satz von Church-Rosser
Satz von Friedberg und Muchnik
Satz von Rice
Satz von Tennenbaum
Schwere und Vollständigkeit (theoretische Informatik)
Smn-Theorem
Specker-Folge
Speedup-Theorem
Sudanfunktion
T
Terminiertheit
Turing completeness
Turing-Vollständigkeit
Turingmaschine
Turingmaschine Typ 2
U
Universelle Turingmaschine
W
Wang-Parkettierung
WHILE-Programm
Wortfunktion
Wortproblem (Berechenbarkeitstheorie)
Z
Zenomaschine