Theory of computation

In der mathematischen Logik und Informatik ist eine allgemeine rekursive Funktion , partielle rekursive Funktion oder μ-rekursive Funktion eine partielle Funktion von natürlichen Zahlen in natürliche Zahlen, die sowohl

Berechenbarkeit ist die Fähigkeit, ein Problem durch ein effektives Verfahren zu lösen.

In der Berechenbarkeitstheorie ist eine Menge natürlicher Zahlen berechenbar (oder entscheidbar oder rekursiv ), wenn es einen Algorithmus gibt , der die Zugehörigkeit jeder natürlichen Zahl zu dieser Menge in endlich

In der Mathematik sind berechenbare Zahlen reelle Zahlen , die mit einem endlichen, terminierenden Algorithmus mit beliebiger Genauigkeit berechnet werden können .

In der Berechenbarkeitstheorie ist die Church-Turing-These eine These über die Natur berechenbarer Funktionen .

Die computergestützte Semiotik ist ein interdisziplinäres Feld, das Forschung in Logik, Mathematik, Informatik, formaler und natürlicher Sprache, den Kognitionswissenschaften und der Semiotik selbst anwendet , betreibt

Die digitale Physik ist eine spekulative Idee, die besagt, dass das Universum als riesiges, digitales Rechengerät oder als Ergebnis eines deterministischen oder probabilistischen Computerprogramms betrachtet werden kann .

In der Metalogik , der mathematischen Logik und der Berechenbarkeitstheorie ist eine effektive Methode oder ein effektives Verfahren ein deterministisches Verfahren mit endlicher Laufzeit zur Lösung eines Problems einer

In der Mathematik und Informatik ist das Entscheidungsproblem ( ausgesprochen ) eine Herausforderung, die 1928 von David Hilbert und Wilhelm Ackermann formuliert wurde.

In der theoretischen Informatik zielt das Busy-Beaver-Spiel darauf ab, ein terminierendes Programm gegebener Größe zu finden , das (je nach Definition) entweder die größtmögliche Ausgabe erzeugt oder die längste Laufzeit

In Mathematik und Informatik bezeichnet man als wechselseitige Rekursion eine Form der Rekursion , bei der zwei oder mehr mathematische oder rechnerische Objekte, wie Funktionen oder Datentypen, durcheinander definiert

In der theoretischen Informatik und mathematischen Logik ist ein String-Rewriting-System ( SRS ), historisch auch als Semi-Thue-System bezeichnet, ein Rewriting- System für Strings aus einem (üblicherweise endlichen )

In der Berechenbarkeitstheorie ist das Halteproblem die Entscheidung , ob ein beliebiges Computerprogramm und eine beliebige Eingabe irgendwann beendet wird und anhält oder unendlich lange weiterläuft.

Hypercomputer oder Super-Turing-Computation sind hypothetische Berechnungsmodelle , die Ergebnisse liefern können, die nicht Turing-berechenbar sind .

Ein Nomogramm ( von griechisch νόμος (nomos) „ Gesetz “ und γράμμα ( gramma ) „ das Gezeichnete “ ), auch Nomograph , Ausrichtdiagramm oder Abak genannt , ist ein grafisches Rechengerät , ein zweidimensionales Diagramm

In der Berechenbarkeitstheorie ist eine primitiv-rekursive Funktion , vereinfacht gesagt, eine Funktion, die von einem Computerprogramm berechnet werden kann, dessen Schleifen ausschließlich „for“-Schleifen sind (d.

Byzantinische fehlertolerante Protokolle sind Algorithmen , die gegenüber beliebigen Fehlertypen in verteilten Systemen robust sind . Das byzantinische Konsensprotokoll ist ein wesentlicher Bestandteil dieser Aufgabe.

Die Grenzen der Rechenleistung werden durch eine Reihe unterschiedlicher Faktoren bestimmt.

In Mathematik , Logik und Informatik heißt eine formale Sprache rekursiv aufzählbar (auch erkennbar , partiell entscheidbar , semientscheidbar , Turing-akzeptabel oder Turing-erkennbar ), wenn sie eine rekursiv

In Mathematik , Logik und Informatik ist eine rekursive (oder entscheidbare ) Sprache eine rekursive Teilmenge des Kleene-Abschlusses eines Alphabets .

Runden ist der Vorgang , eine Zahl auf einen näherungsweise liegenden , praktischeren Wert anzupassen , oft durch eine kürzere oder einfachere Darstellung.

Selbstreferenz ist ein Konzept, das die Bezugnahme auf sich selbst oder die eigenen Eigenschaften, Merkmale oder Handlungen beinhaltet.

In der Komplexitätstheorie ist die These der parallelen Berechnung eine Hypothese , die besagt, dass die Laufzeit einer (vernünftigen) Parallelmaschine polynomiell mit dem Speicherplatz einer sequentiellen Maschine

In der Komplexitätstheorie bezeichnet man ein Problem , das die Verarbeitung von mehr als 10 ⁹³ Bit an Information erfordert, als transkomputationales Problem .

In der Informatik und der mathematischen Logik misst der Turing-Grad (benannt nach Alan Turing ) oder Grad der Unlösbarkeit einer Menge natürlicher Zahlen den Grad der algorithmischen Unlösbarkeit der Menge.

In der Berechenbarkeitstheorie wird ein System von Datenmanipulationsregeln (wie ein Berechnungsmodell , der Befehlssatz eines Computers , eine Programmiersprache oder ein zellulärer Automat ) als Turing-vollständig oder

Zustandsdiagramme werden in der Informatik und verwandten Bereichen verwendet, um das Verhalten von Systemen zu beschreiben. Sie setzen voraus, dass das System aus einer endlichen Anzahl von Zuständen besteht .