12 Beziehungen: Algorithmus, Berechenbarkeitstheorie, Computerprogramm, Formale Semantik, Formale Sprache, Funktion (Mathematik), Gleichheit, Komplexitätstheorie, Logische Äquivalenz, Satz von Rice, Theoretische Informatik, Turing-Vollständigkeit.
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!!: Programmäquivalenz 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!!: Programmäquivalenz und Berechenbarkeitstheorie · 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!!: Programmäquivalenz und Computerprogramm · Mehr sehen »
Formale Semantik
Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen.
Neu!!: Programmäquivalenz und Formale Semantik · Mehr sehen »
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.
Neu!!: Programmäquivalenz und Formale Sprache · Mehr sehen »
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.
Neu!!: Programmäquivalenz und Funktion (Mathematik) · Mehr sehen »
Gleichheit
Gleichheit (gelegentlich und vor allem im politischen oder philosophischen Kontext frz. Égalité) bedeutet sinngemäß die Übereinstimmung von zwei (oder mehr) Dingen (z. B. Gegenständen, Personen, Sachverhalten) in einem oder mehreren Merkmalen (bei möglicher Verschiedenheit in anderen Merkmalen).
Neu!!: Programmäquivalenz und Gleichheit · Mehr sehen »
Komplexitätstheorie
Die Komplexitätstheorie als Teilgebiet der theoretischen Informatik befasst sich mit der Komplexität algorithmisch behandelbarer Probleme auf verschiedenen formalen Rechnermodellen.
Neu!!: Programmäquivalenz und Komplexitätstheorie · Mehr sehen »
Logische Äquivalenz
Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen.
Neu!!: Programmäquivalenz und Logische Äquivalenz · Mehr sehen »
Satz von Rice
Der Satz von Rice ist ein Ergebnis der Theoretischen Informatik.
Neu!!: Programmäquivalenz und Satz von Rice · 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!!: Programmäquivalenz und Theoretische Informatik · Mehr sehen »
Turing-Vollständigkeit
Mit Turing-Vollständigkeit (engl. turing completeness) eines Systems wird seine universelle Programmierbarkeit beschrieben.
Neu!!: Programmäquivalenz und Turing-Vollständigkeit · Mehr sehen »