Schneller Zugriff als Browser!
55 Beziehungen: Ackermannfunktion, Alan Turing, Analytical Engine, Auszeichnungssprache, Berechenbarkeitstheorie, C (Programmiersprache), C++, Charles Babbage, Editor (Software), Emulator, Endlicher Automat, Entscheidbar, Formel, Funktionale Programmierung, Gödelscher Unvollständigkeitssatz, GOTO-Programm, Grep, Halteproblem, Hans Hermes, Haskell (Programmiersprache), Hypertext Markup Language, Implementierung, Μ-Rekursion, Java (Programmiersprache), JavaScript, Kalkül, Kurt Gödel, Lambda-Kalkül, Lawrence Landweber, Lisp, Logische Programmierung, LOOP-Programm, Microsoft Excel, Objektorientierte Programmierung, Pattern Matching, Primitiv-rekursive Funktion, Programmierparadigma, Programmiersprache, Prolog (Programmiersprache), Prozedurale Programmierung, Raúl Rojas, Regulärer Ausdruck, Relationale Algebra, Schleife (Programmierung), Standard Generalized Markup Language, Tabellenkalkulation, Transitive Hülle (Relation), Typisierung (Informatik), Universelle Turingmaschine, Visual Basic for Applications, ..., Von-Neumann-Architektur, Webbrowser, Webseite, WHILE-Programm, Zuse Z3. Erweitern Sie Index (5 mehr) »
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!!: Turing-Vollständigkeit und Ackermannfunktion · Mehr sehen »
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.
Neu!!: Turing-Vollständigkeit und Alan Turing · Mehr sehen »
Analytical Engine
Versuchsmodell der Analytical Engine Versuchsmodelle der Analytical Engine, 1870 Charles Babbage, Erfinder der Analytical Engine Die Analytical Engine (für Analytische Maschine) ist der Entwurf einer mechanischen Rechenmaschine für allgemeine Anwendungen.
Neu!!: Turing-Vollständigkeit und Analytical Engine · Mehr sehen »
Auszeichnungssprache
Eine Auszeichnungssprache (abgekürzt ML) ist eine maschinenlesbare Sprache für die Gliederung und Formatierung von Texten und anderen Daten.
Neu!!: Turing-Vollständigkeit und Auszeichnungssprache · 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!!: Turing-Vollständigkeit und Berechenbarkeitstheorie · 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.
Neu!!: Turing-Vollständigkeit und C (Programmiersprache) · Mehr sehen »
C++
C++ ist eine von der ISO genormte Programmiersprache.
Neu!!: Turing-Vollständigkeit und C++ · 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.
Neu!!: Turing-Vollständigkeit und Charles Babbage · Mehr sehen »
Editor (Software)
Ein Editor (von ‚herausgeben‘, ‚redigieren‘, ‚bearbeiten‘, aber auch ‚schneiden‘), auf Deutsch auch Bearbeitungsprogramm genannt, ist ein Computerprogramm zur Erstellung und Bearbeitung von digitalen Daten (Dateien).
Neu!!: Turing-Vollständigkeit und Editor (Software) · Mehr sehen »
Emulator
Atari-2600-Konsole Hercules. Emulation von Großrechnern Als Emulator (von, „nachahmen“) wird in der Computertechnik ein System bezeichnet, das ein anderes in bestimmten Teilaspekten nachbildet.
Neu!!: Turing-Vollständigkeit und Emulator · 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.
Neu!!: Turing-Vollständigkeit und Endlicher Automat · 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!!: Turing-Vollständigkeit und Entscheidbar · Mehr sehen »
Formel
Eine Kugel, deren Volumen durch die mathematische Formel V.
Neu!!: Turing-Vollständigkeit und Formel · 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.
Neu!!: Turing-Vollständigkeit und Funktionale Programmierung · Mehr sehen »
Gödelscher Unvollständigkeitssatz
Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik.
Neu!!: Turing-Vollständigkeit und Gödelscher Unvollständigkeitssatz · Mehr sehen »
GOTO-Programm
GOTO-Programme sind spezielle Programme mit einer sehr einfachen Syntax.
Neu!!: Turing-Vollständigkeit und GOTO-Programm · Mehr sehen »
Grep
GNU grep grep ist ein Programm, das unter den Betriebssystemen Unix und Unix-Derivaten der Suche und Filterung definierter Zeichenketten aus Dateien oder Datenströmen dient.
Neu!!: Turing-Vollständigkeit und Grep · Mehr sehen »
Halteproblem
Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik.
Neu!!: Turing-Vollständigkeit und Halteproblem · Mehr sehen »
Hans Hermes
Mathematischen Forschungsinstitut Oberwolfach 1970 Hans Hermes (* 12. Februar 1912 in Neunkirchen (Saar); † 10. November 2003 in Freiburg im Breisgau) war ein deutscher Mathematiker, der bedeutende Beiträge zu den Grundlagen der mathematischen Logik geleistet hat.
Neu!!: Turing-Vollständigkeit und Hans Hermes · Mehr sehen »
Haskell (Programmiersprache)
Haskell ist eine rein funktionale Programmiersprache, benannt nach dem US-amerikanischen Mathematiker Haskell Brooks Curry, dessen Arbeiten zur mathematischen Logik eine Grundlage funktionaler Programmiersprachen bilden.
Neu!!: Turing-Vollständigkeit und Haskell (Programmiersprache) · Mehr sehen »
Hypertext Markup Language
Die Hypertext Markup Language (HTML, für Hypertext-Auszeichnungssprache) ist eine textbasierte Auszeichnungssprache zur Strukturierung elektronischer Dokumente wie Texte mit Hyperlinks, Bildern und anderen Inhalten.
Neu!!: Turing-Vollständigkeit und Hypertext Markup Language · Mehr sehen »
Implementierung
Eine Implementierung – auch Implementation (über ‚Ausführung‘, ‚Durchführung‘; von spätlateinisch implementum ‚Gerät‘ zu ‚anfüllen‘, ‚erfüllen‘) genannt – ist das Implementieren oder das Implementiertwerden, also die Realisierung oder Umsetzung von festgelegten Strukturen und Prozessabläufen in einem System unter Berücksichtigung von Rahmenbedingungen, Regeln und Zielvorgaben, im Sinne einer Spezifikation.
Neu!!: Turing-Vollständigkeit und Implementierung · 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‘).
Neu!!: Turing-Vollständigkeit und Μ-Rekursion · Mehr sehen »
Java (Programmiersprache)
Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.
Neu!!: Turing-Vollständigkeit und Java (Programmiersprache) · Mehr sehen »
JavaScript
JavaScript (kurz JS) ist eine Skriptsprache, die ursprünglich 1995 von Netscape für dynamisches HTML in Webbrowsern entwickelt wurde, um Benutzerinteraktionen auszuwerten, Inhalte zu verändern, nachzuladen oder zu generieren und so die Möglichkeiten von HTML zu erweitern.
Neu!!: Turing-Vollständigkeit und JavaScript · Mehr sehen »
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Neu!!: Turing-Vollständigkeit und Kalkül · Mehr sehen »
Kurt Gödel
rahmenlos Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichischer und später US-amerikanischer Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts.
Neu!!: Turing-Vollständigkeit und Kurt Gödel · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Turing-Vollständigkeit und Lambda-Kalkül · Mehr sehen »
Lawrence Landweber
Lawrence Landweber 2012 bei einem Treffen der Mitglieder der Internet Hall of Fame Lawrence Hugh Landweber ist ein US-amerikanischer Informatiker.
Neu!!: Turing-Vollständigkeit und Lawrence Landweber · 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.
Neu!!: Turing-Vollständigkeit und Lisp · Mehr sehen »
Logische Programmierung
Logische Programmierung (Prädikative Programmierung, Logikprogrammierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht.
Neu!!: Turing-Vollständigkeit und Logische Programmierung · Mehr sehen »
LOOP-Programm
LOOP-Programme sind Programme in der Programmiersprache LOOP, einer stark eingeschränkten, modellhaften Sprache, die nur die Formulierung von Additionen, Wertzuweisungen und endlich oft durchlaufende Schleifen erlaubt.
Neu!!: Turing-Vollständigkeit und LOOP-Programm · Mehr sehen »
Microsoft Excel
Microsoft Excel (abgekürzt MS Excel) (meist oder) ist das am weitesten verbreitete Tabellenkalkulationsprogramm.
Neu!!: Turing-Vollständigkeit und Microsoft Excel · Mehr sehen »
Objektorientierte Programmierung
Die objektorientierte Programmierung (kurz OOP) ist ein auf dem Konzept der Objektorientierung basierendes Programmierparadigma.
Neu!!: Turing-Vollständigkeit und Objektorientierte Programmierung · Mehr sehen »
Pattern Matching
Pattern Matching (englisch für Musterabgleich) oder musterbasierte Suche ist ein Begriff für symbolverarbeitende Verfahren, die anhand eines vorgegebenen Musters diskrete Strukturen oder Teilmengen einer diskreten Struktur identifizieren.
Neu!!: Turing-Vollständigkeit und Pattern Matching · 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!!: Turing-Vollständigkeit und Primitiv-rekursive Funktion · Mehr sehen »
Programmierparadigma
Ein Programmierparadigma ist ein fundamentaler Programmierstil.
Neu!!: Turing-Vollständigkeit und Programmierparadigma · 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.
Neu!!: Turing-Vollständigkeit und Programmiersprache · 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.
Neu!!: Turing-Vollständigkeit und Prolog (Programmiersprache) · Mehr sehen »
Prozedurale Programmierung
Prozedurale Programmierung ist ein Programmierparadigma, nach dem Computerprogramme entwickelt werden können.
Neu!!: Turing-Vollständigkeit und Prozedurale Programmierung · Mehr sehen »
Raúl Rojas
FU-Fighters, World Champion 2004, 2005: Trophäen und die fußballspielenden Roboter Raúl Rojas González (* 25. Juni 1955 in Mexiko-Stadt) ist Professor für Informatik an der Freien Universität Berlin mit Spezialgebiet künstliche neuronale Netze.
Neu!!: Turing-Vollständigkeit und Raúl Rojas · Mehr sehen »
Regulärer Ausdruck
Ein regulärer Ausdruck (Abkürzung RegExp oder Regex) ist in der theoretischen Informatik eine Zeichenkette, die der Beschreibung von Mengen von Zeichenketten mit Hilfe bestimmter syntaktischer Regeln dient.
Neu!!: Turing-Vollständigkeit und Regulärer Ausdruck · Mehr sehen »
Relationale Algebra
In der Theorie der Datenbanken versteht man unter einer relationalen Algebra oder Relationenalgebra eine Menge von Operationen zur Manipulation von Relationen.
Neu!!: Turing-Vollständigkeit und Relationale Algebra · Mehr sehen »
Schleife (Programmierung)
Eine Schleife (auch „Wiederholung“ oder) ist eine Kontrollstruktur in Programmiersprachen.
Neu!!: Turing-Vollständigkeit und Schleife (Programmierung) · Mehr sehen »
Standard Generalized Markup Language
Die Standard Generalized Markup Language, abgekürzt SGML, ist eine Metasprache, mit deren Hilfe man verschiedene Auszeichnungssprachen für Dokumente definieren kann.
Neu!!: Turing-Vollständigkeit und Standard Generalized Markup Language · Mehr sehen »
Tabellenkalkulation
Einfache Tabellenkalkulation mit OpenOffice.org Eine Tabellenkalkulation ist eine Software für die interaktive Eingabe und Verarbeitung von numerischen und alphanumerischen Daten in Form einer Tabelle.
Neu!!: Turing-Vollständigkeit und Tabellenkalkulation · Mehr sehen »
Transitive Hülle (Relation)
Die transitive Hülle bzw.
Neu!!: Turing-Vollständigkeit und Transitive Hülle (Relation) · Mehr sehen »
Typisierung (Informatik)
Eine Typisierung dient in der Informatik dazu, dass die Objekte (hier Objekte im mathematisch-abstrakten Sinne verstanden) der Programmiersprachen, wie z. B.
Neu!!: Turing-Vollständigkeit und Typisierung (Informatik) · Mehr sehen »
Universelle Turingmaschine
Eine universelle Turingmaschine (UTM) ist in der Informatik eine Turingmaschine, die eine beliebige Turingmaschine auf beliebiger Eingabe simuliert.
Neu!!: Turing-Vollständigkeit und Universelle Turingmaschine · Mehr sehen »
Visual Basic for Applications
Visual Basic for Applications (VBA) ist eine Skriptsprache, die ursprünglich für die Steuerung von Abläufen der Microsoft-Office-Programmfamilie entwickelt wurde.
Neu!!: Turing-Vollständigkeit und Visual Basic for Applications · 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.
Neu!!: Turing-Vollständigkeit und Von-Neumann-Architektur · Mehr sehen »
Webbrowser
Windows 10 Android Webbrowser oder allgemein auch Browser (zu to browse ‚stöbern‘) sind Computerprogramme zur Darstellung von Webseiten im World Wide Web oder allgemein von Dokumenten und Daten.
Neu!!: Turing-Vollständigkeit und Webbrowser · Mehr sehen »
Webseite
Als Webseite (Wortzusammensetzung aus Web und Seite), Webdokument, Internetseite, Webpage oder kurz Seite wird ein Dokument als Bestandteil einer Website im World Wide Web bezeichnet, das mit einem Browser unter Angabe eines Uniform Resource Locators (URL) abgerufen und von einem Webserver angeboten werden kann.
Neu!!: Turing-Vollständigkeit und Webseite · Mehr sehen »
WHILE-Programm
WHILE-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.
Neu!!: 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.
Neu!!: Turing-Vollständigkeit und Zuse Z3 · Mehr sehen »
Leitet hier um:
Turing complete, Turing completeness, Turing-mächtig, Turing-vollständig, Turingmächtig, Turingmächtigkeit, Turingvollständig, Turingvollständigkeit.
