Inhaltsverzeichnis
8 Beziehungen: Algorithmus, Berechenbarkeit, Boolean, Church-Turing-These, Formale Sprache, Funktion (Mathematik), Gleichung, Turingmaschine.
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.
Sehen Conditional Equations - Strings und Algorithmus
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Sehen Conditional Equations - Strings und Berechenbarkeit
Boolean
Ein Boolean, benannt nach George Boole, ist ein Element einer booleschen Algebra.
Sehen Conditional Equations - Strings und Boolean
Church-Turing-These
Die Church-Turing-These (benannt nach Alonzo Church und Alan Turing, auch Churchsche These genannt) trifft Aussagen über die Fähigkeiten einer Rechenmaschine.
Sehen Conditional Equations - Strings und Church-Turing-These
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Sehen Conditional Equations - Strings und Formale Sprache
Funktion (Mathematik)
In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x-Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y-Wert) zuordnet.
Sehen Conditional Equations - Strings und Funktion (Mathematik)
Gleichung
Älteste gedruckte Gleichung (1557), in heutiger Schreibweise „14x + 15.
Sehen Conditional Equations - Strings und Gleichung
Turingmaschine
Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.