Informatik und Turing-Vollständigkeit

Shortcuts: Differenzen, Gemeinsamkeiten, Jaccard Ähnlichkeit Koeffizient, Referenzen.

Unterschied zwischen Informatik und Turing-Vollständigkeit

Informatik vs. Turing-Vollständigkeit

Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird. Mit Turing-Vollständigkeit (engl. turing completeness) eines Systems wird seine universelle Programmierbarkeit beschrieben.

Alan Turing

Alan Turing (ca. 1938)Andrew Hodges: ''http://www.turing.org.uk/scrapbook/ww2.html The Alan Turing Internet Scrapbook.'' In: ''turing.org'', (englisch), abgerufen am 19. August 2017. Seine Unterschrift Alan Mathison Turing OBE, FRS (* 23. Juni 1912 in London; † 7. Juni 1954 in Wilmslow, Cheshire) war ein britischer Logiker, Mathematiker, Kryptoanalytiker und Informatiker.

Alan Turing und Informatik · Alan Turing und Turing-Vollständigkeit · 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.

Berechenbarkeitstheorie und Informatik · Berechenbarkeitstheorie und Turing-Vollständigkeit · Mehr sehen »

C (Programmiersprache)

C ist eine imperative und prozedurale Programmiersprache, die der Informatiker Dennis Ritchie in den frühen 1970er Jahren an den Bell Laboratories entwickelte.

C (Programmiersprache) und Informatik · C (Programmiersprache) und Turing-Vollständigkeit · Mehr sehen »

C++

C++ ist eine von der ISO genormte Programmiersprache.

C++ und Informatik · C++ und Turing-Vollständigkeit · Mehr sehen »

Charles Babbage

Stich von Charles Babbage am 1. Mai 1833 im Mechanics’ Magazine Charles Babbages Unterschrift Modellnachbau der Analytical Engine Differenzmaschine Nr. 1 von Charles Babbage von 1832 im Science Museum London Charles Babbage (* 26. Dezember 1791 in Walworth, Grafschaft Surrey, England; † 18. Oktober 1871 in London) war ein englischer Mathematiker, Philosoph, Erfinder und Politischer Ökonom.

Charles Babbage und Informatik · Charles Babbage und Turing-Vollständigkeit · Mehr sehen »

Endlicher Automat

Abbildung 1: Beispiel eines EA, der eine Tür beschreibt Ein endlicher Automat (EA, auch Zustandsmaschine, Zustandsautomat;, FSM) ist ein Modell eines Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen.

Endlicher Automat und Informatik · Endlicher Automat und Turing-Vollständigkeit · 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.

Entscheidbar und Informatik · Entscheidbar und Turing-Vollständigkeit · Mehr sehen »

Funktionale Programmierung

Funktionale Programmierung ist ein Programmierparadigma, in dem Funktionen nicht nur definiert und angewendet werden können, sondern auch wie Daten miteinander verknüpft, als Parameter verwendet und als Funktionsergebnisse auftreten können.

Funktionale Programmierung und Informatik · Funktionale Programmierung und Turing-Vollständigkeit · Mehr sehen »

Halteproblem

Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik.

Halteproblem und Informatik · Halteproblem und Turing-Vollständigkeit · Mehr sehen »

Μ-Rekursion

Die Klasse Pr der μ-rekursiven Funktionen oder partiell-rekursiven Funktionen spielt in der Rekursionstheorie, einem Teilgebiet der theoretischen Informatik, eine wichtige Rolle (µ für ‚das kleinste‘).

Μ-Rekursion und Informatik · Μ-Rekursion und Turing-Vollständigkeit · Mehr sehen »

Java (Programmiersprache)

Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.

Informatik und Java (Programmiersprache) · Java (Programmiersprache) und Turing-Vollständigkeit · Mehr sehen »

Lambda-Kalkül

griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.

Informatik und Lambda-Kalkül · Lambda-Kalkül und Turing-Vollständigkeit · Mehr sehen »

Lisp

Lisp ist eine Familie von Programmiersprachen, die 1958 erstmals spezifiziert wurde und am Massachusetts Institute of Technology (MIT) in Anlehnung an den ungetypten Lambda-Kalkül entstand.

Informatik und Lisp · Lisp und Turing-Vollständigkeit · Mehr sehen »

Logische Programmierung

Logische Programmierung (Prädikative Programmierung, Logikprogrammierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht.

Informatik und Logische Programmierung · Logische Programmierung und Turing-Vollständigkeit · Mehr sehen »

Objektorientierte Programmierung

Die objektorientierte Programmierung (kurz OOP) ist ein auf dem Konzept der Objektorientierung basierendes Programmierparadigma.

Informatik und Objektorientierte Programmierung · Objektorientierte Programmierung und Turing-Vollständigkeit · Mehr sehen »

Programmierparadigma

Ein Programmierparadigma ist ein fundamentaler Programmierstil.

Informatik und Programmierparadigma · Programmierparadigma und Turing-Vollständigkeit · Mehr sehen »

Programmiersprache

Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.

Informatik und Programmiersprache · Programmiersprache und Turing-Vollständigkeit · Mehr sehen »

Prolog (Programmiersprache)

Prolog (vom Französischen: programmation en logique, dt.: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er-Jahre maßgeblich von dem französischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren ermöglicht.

Informatik und Prolog (Programmiersprache) · Prolog (Programmiersprache) und Turing-Vollständigkeit · Mehr sehen »

Von-Neumann-Architektur

Technischen Sammlungen Dresden Die Von-Neumann-Architektur (VNA) ist ein Referenzmodell für Computer, wonach ein gemeinsamer Speicher sowohl Computerprogrammbefehle als auch Daten hält.

Informatik und Von-Neumann-Architektur · Turing-Vollständigkeit und Von-Neumann-Architektur · Mehr sehen »

WHILE-Programm

WHILE-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.

Informatik und WHILE-Programm · Turing-Vollständigkeit und WHILE-Programm · Mehr sehen »

Zuse Z3

Deutschen Museum in München Die Z3 war einer der ersten funktionsfähigen Digitalrechner weltweit und wurde am 12.

Informatik und Zuse Z3 · Turing-Vollständigkeit und Zuse Z3 · Mehr sehen »