15 Beziehungen: Ackermannfunktion, Algorithmus, Berechenbarkeitstheorie, Beweis (Mathematik), Collatz-Problem, Computerprogramm, Entscheidbar, Fleißiger Biber, Fundierte Menge, Halteproblem, Korrektheit (Informatik), Primitiv-rekursive Funktion, Theoretische Informatik, Turing Award, Verifizierung.
Ackermannfunktion
Die Ackermannfunktion ist eine 1926 von Wilhelm Ackermann gefundene, extrem schnell wachsende mathematische Funktion, mit deren Hilfe in der theoretischen Informatik Grenzen von Computer- und Berechnungsmodellen aufgezeigt werden können.
Neu!!: Terminiertheit und Ackermannfunktion · Mehr sehen »
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Neu!!: Terminiertheit und Algorithmus · Mehr sehen »
Berechenbarkeitstheorie
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.
Neu!!: Terminiertheit und Berechenbarkeitstheorie · Mehr sehen »
Beweis (Mathematik)
Beispielhafter, schematischer Aufbau eines Beweises Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw.
Neu!!: Terminiertheit und Beweis (Mathematik) · Mehr sehen »
Collatz-Problem
Das Collatz-Problem, auch als (3n+1)-Vermutung bezeichnet, ist ein ungelöstes mathematisches Problem, das 1937 von Lothar Collatz gestellt wurde.
Neu!!: Terminiertheit und Collatz-Problem · Mehr sehen »
Computerprogramm
Ein Computerprogramm oder kurz Programm ist eine den Regeln einer bestimmten Programmiersprache genügende Folge von Anweisungen (bestehend aus Deklarationen und Instruktionen), um bestimmte Funktionen bzw.
Neu!!: Terminiertheit und Computerprogramm · Mehr sehen »
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.
Neu!!: Terminiertheit und Entscheidbar · Mehr sehen »
Fleißiger Biber
Fleißige Biber (auch) sind spezielle Turingmaschinen, die möglichst viele Einsen auf das Band schreiben und die nach einer endlichen Anzahl Rechenschritte den Halt-Zustand einnehmen (also anhalten).
Neu!!: Terminiertheit und Fleißiger Biber · Mehr sehen »
Fundierte Menge
In der Mathematik ist eine fundierte Menge (auch wohlfundierte Menge, fundierte Ordnung, terminierende Ordnung, noethersche Ordnung) eine halbgeordnete Menge, die keine unendlichen echt absteigenden Ketten enthält.
Neu!!: Terminiertheit und Fundierte Menge · Mehr sehen »
Halteproblem
Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik.
Neu!!: Terminiertheit und Halteproblem · Mehr sehen »
Korrektheit (Informatik)
Unter Korrektheit versteht man in der Informatik die Eigenschaft eines Computerprogramms, einer Spezifikation zu genügen (siehe auch Verifikation).
Neu!!: Terminiertheit und Korrektheit (Informatik) · Mehr sehen »
Primitiv-rekursive Funktion
Primitiv-rekursive Funktionen sind totale Funktionen, die aus einfachen Grundfunktionen (konstante 0-Funktion, Projektionen auf ein Argument und Nachfolgefunktion) durch Komposition und (primitive) Rekursion gebildet werden können.
Neu!!: Terminiertheit und Primitiv-rekursive Funktion · Mehr sehen »
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Neu!!: Terminiertheit und Theoretische Informatik · Mehr sehen »
Turing Award
Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.
Neu!!: Terminiertheit und Turing Award · Mehr sehen »
Verifizierung
Verifizierung oder Verifikation (von und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist.
Neu!!: Terminiertheit und Verifizierung · Mehr sehen »