Schneller Zugriff als Browser!
43 Beziehungen: Alan Turing, Algorithmus, Alonzo Church, Automat (Informatik), Berechenbarkeit, Chomsky-Hierarchie, Church-Turing-These, Computerprogramm, Determinismus (Algorithmus), Endlicher Automat, Entscheidbar, Formale Semantik, Formel, Gerald E. Sacks, Halteproblem, Hans Hermes, Hartley Rogers, Μ-Rekursion, Kellerautomat, Komplexitätstheorie, Lambda-Kalkül, Linear beschränkte Turingmaschine, Markow-Algorithmus, Mathematische Logik, Michael Sipser, Nichtdeterminismus, Petri-Netz, Piergiorgio Odifreddi, Prädikatenlogik, Prädikatenlogik erster Stufe, Programmiersprache, Quantencomputer, Registermaschine, Regulärer Ausdruck, Richard Feynman, Satz von Rice, Stephen Cole Kleene, Termersetzungssystem, Terminiertheit, Theoretische Informatik, Turinggrad, Turingmaschine, 1981.
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!!: Berechenbarkeitstheorie und Alan Turing · 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!!: Berechenbarkeitstheorie und Algorithmus · Mehr sehen »
Alonzo Church
Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.
Neu!!: Berechenbarkeitstheorie und Alonzo Church · Mehr sehen »
Automat (Informatik)
Ein Automat oder eine abstrakte Maschine ist in der Informatik, speziell in der Automatentheorie, das Modell eines digitalen, zeitdiskreten Rechners.
Neu!!: Berechenbarkeitstheorie und Automat (Informatik) · Mehr sehen »
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Neu!!: Berechenbarkeitstheorie und Berechenbarkeit · Mehr sehen »
Chomsky-Hierarchie
Chomsky-Hierarchie, gelegentlich Chomsky-Schützenberger-Hierarchie (benannt nach dem Linguisten Noam Chomsky und dem Mathematiker Marcel Schützenberger), ist ein Begriff aus der theoretischen Informatik.
Neu!!: Berechenbarkeitstheorie und Chomsky-Hierarchie · Mehr sehen »
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.
Neu!!: Berechenbarkeitstheorie und Church-Turing-These · 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!!: Berechenbarkeitstheorie und Computerprogramm · Mehr sehen »
Determinismus (Algorithmus)
Ein deterministischer Algorithmus ist ein Algorithmus, bei dem nur definierte und reproduzierbare Zustände auftreten.
Neu!!: Berechenbarkeitstheorie und Determinismus (Algorithmus) · 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!!: Berechenbarkeitstheorie 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!!: Berechenbarkeitstheorie und Entscheidbar · Mehr sehen »
Formale Semantik
Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen.
Neu!!: Berechenbarkeitstheorie und Formale Semantik · Mehr sehen »
Formel
Eine Kugel, deren Volumen durch die mathematische Formel V.
Neu!!: Berechenbarkeitstheorie und Formel · Mehr sehen »
Gerald E. Sacks
Gerald Enoch Sacks (* 22. März 1933 in Brooklyn; † 4. Oktober 2019 in Falmouth, Maine) war ein US-amerikanischer mathematischer Logiker.
Neu!!: Berechenbarkeitstheorie und Gerald E. Sacks · Mehr sehen »
Halteproblem
Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik.
Neu!!: Berechenbarkeitstheorie 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!!: Berechenbarkeitstheorie und Hans Hermes · Mehr sehen »
Hartley Rogers
Hartley Rogers Junior (* 6. Juli 1926 in Buffalo, New York; † 17. Juli 2015 in Waltham, Massachusetts) war ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik (Theorie der Berechenbarkeit, Rekursionstheorie, Komplexitätstheorie), Mathematikpädagogik und Wahrscheinlichkeitstheorie befasste.
Neu!!: Berechenbarkeitstheorie und Hartley Rogers · 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!!: Berechenbarkeitstheorie und Μ-Rekursion · Mehr sehen »
Kellerautomat
Ein Kellerautomat (KA, auch PDA für englisch pushdown automaton; auch Stackmaschine) ist ein Automat im Sinne der theoretischen Informatik, ein Konstrukt, das verwendet wird, um gewisse Eigenschaften von Problemen und Algorithmen zu analysieren und zu beweisen.
Neu!!: Berechenbarkeitstheorie und Kellerautomat · 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!!: Berechenbarkeitstheorie und Komplexitätstheorie · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Berechenbarkeitstheorie und Lambda-Kalkül · Mehr sehen »
Linear beschränkte Turingmaschine
Eine linear beschränkte Turingmaschine (auch LBA.
Neu!!: Berechenbarkeitstheorie und Linear beschränkte Turingmaschine · Mehr sehen »
Markow-Algorithmus
Der vom russischen Mathematiker Andrei Markow entwickelte Konzept des Markow-Algorithmus stellt einen wichtigen Ansatz zur Formalisierung des Algorithmusbegriffs dar.
Neu!!: Berechenbarkeitstheorie und Markow-Algorithmus · Mehr sehen »
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Neu!!: Berechenbarkeitstheorie und Mathematische Logik · Mehr sehen »
Michael Sipser
Michael Sipser, 2013 Michael Fredric Sipser (* 17. September 1954) ist ein US-amerikanischer Informatiker.
Neu!!: Berechenbarkeitstheorie und Michael Sipser · Mehr sehen »
Nichtdeterminismus
Nichtdeterminismus ist ein Konzept aus der theoretischen Informatik, in dem Algorithmen oder Maschinen (meist Turingmaschinen oder endliche Automaten) nicht nur genau eine Berechnung zu einer bestimmten Eingabe durchlaufen können (deterministisch), sondern es bei gleicher Eingabe mehrere Möglichkeiten für den Übergang in den nachfolgenden Zustand gibt.
Neu!!: Berechenbarkeitstheorie und Nichtdeterminismus · Mehr sehen »
Petri-Netz
Als Petri-Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet.
Neu!!: Berechenbarkeitstheorie und Petri-Netz · Mehr sehen »
Piergiorgio Odifreddi
Piergiorgio Odifreddi (2011) Piergiorgio Odifreddi (* 13. Juli 1950 in Cuneo, Piemont) ist ein italienischer Mathematiker, Logiker und Wissenschaftshistoriker.
Neu!!: Berechenbarkeitstheorie und Piergiorgio Odifreddi · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Berechenbarkeitstheorie und Prädikatenlogik · Mehr sehen »
Prädikatenlogik erster Stufe
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.
Neu!!: Berechenbarkeitstheorie und Prädikatenlogik erster Stufe · 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!!: Berechenbarkeitstheorie und Programmiersprache · Mehr sehen »
Quantencomputer
Ein Quantenprozessor bzw.
Neu!!: Berechenbarkeitstheorie und Quantencomputer · Mehr sehen »
Registermaschine
Die Registermaschine (RM) ist eine abstrakte Maschine der theoretischen Informatik.
Neu!!: Berechenbarkeitstheorie und Registermaschine · 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!!: Berechenbarkeitstheorie und Regulärer Ausdruck · Mehr sehen »
Richard Feynman
Richard Feynman, 1984 Richard Phillips Feynman (* 11. Mai 1918 in Queens, New York; † 15. Februar 1988 in Los Angeles) war ein US-amerikanischer Physiker und Nobelpreisträger des Jahres 1965.
Neu!!: Berechenbarkeitstheorie und Richard Feynman · Mehr sehen »
Satz von Rice
Der Satz von Rice ist ein Ergebnis der Theoretischen Informatik.
Neu!!: Berechenbarkeitstheorie und Satz von Rice · Mehr sehen »
Stephen Cole Kleene
Kleene 1978 Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker.
Neu!!: Berechenbarkeitstheorie und Stephen Cole Kleene · Mehr sehen »
Termersetzungssystem
Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik.
Neu!!: Berechenbarkeitstheorie und Termersetzungssystem · Mehr sehen »
Terminiertheit
Terminiertheit ist ein Begriff aus der Berechenbarkeitstheorie, einem Teilgebiet der theoretischen Informatik.
Neu!!: Berechenbarkeitstheorie und Terminiertheit · 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!!: Berechenbarkeitstheorie und Theoretische Informatik · Mehr sehen »
Turinggrad
In der Berechenbarkeitstheorie und der mathematischen Logik misst der Turinggrad (auch Grad der Unlösbarkeit) einer Menge natürlicher Zahlen die algorithmische Unlösbarkeit der Menge.
Neu!!: Berechenbarkeitstheorie und Turinggrad · Mehr sehen »
Turingmaschine
Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.
Neu!!: Berechenbarkeitstheorie und Turingmaschine · Mehr sehen »
1981
Das Jahr 1981 stand teilweise im Zeichen der Friedensbewegung.
Neu!!: Berechenbarkeitstheorie und 1981 · Mehr sehen »
Leitet hier um:
Berechnungstheorie, Rekursionstheorie, Theorie der Berechenbarkeit.
