Mot-cléCalculabilité

Mot-clé anglais: computability (améliorer cette traduction)

Comprend: computability, Computability

Traductions: Berechenbarkeit, Calculabilité, Berekenbaarheid, Computabilidade

Oeuvres étiquetées

Le plus souvent étiqueté | Pondéré | Populaire récemment | Publié récemment — Filtre: Aucun (modifier)

Computability and Logic par George S. Boolos (18 fois)
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine par Charles Petzold (9 fois)
Computability: An Introduction to Recursive Function Theory par Nigel Cutland (6 fois)
Computability and Unsolvability par Martin Davis (6 fois)
Introduction to Automata Theory, Languages, and Computation par John E. Hopcroft (5 fois)
Gödel, Escher, Bach : An Eternal Golden Braid par Douglas Hofstadter (4 fois)
Meta Math!: The Quest for Omega par Gregory Chaitin (3 fois)
Introduction to the Theory of Computation par Michael Sipser (3 fois)
Understanding Computation: From Simple Machines to Impossible Programs par Tom Stuart (2 fois)
The Language of Machines: An Introduction to Computability and Formal Languages par Robert W. Floyd (2 fois)
Turing's World par Jon Barwise (2 fois)
Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science par Martin Davis (2 fois)
The Lambda Calculus: Its Syntax and Semantics par H.P. Barendregt (2 fois)
Computational Complexity par Christos H. Papadimitriou (2 fois)
Leçons sur l'informatique par Richard Feynman (2 fois)
Computers and Intractability: A Guide to the Theory of NP-Completeness par M. R. Garey (2 fois)
L'esprit, l'ordinateur et les lois de la physique par Roger Penrose (2 fois)
The Turing Guide par Jack Copeland (1 fois)
Three Views of Logic: Mathematics, Philosophy, and Computer Science par Donald W. Loveland (1 fois)
Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages: Papers Presented at the Symposium par Association for Computing Machinery (1 fois)
Computability: Turing, Gödel, Church, and Beyond par B. Jack Copeland (1 fois)
Theory of Computation par George Tourlakis (1 fois)
An Early History of Recursive Functions and Computability from Godel to Turing par Rod Adams (1 fois)
The Nature of Computation par Cristopher Moore (1 fois)
Matematik og lingvistik par Bente Maegaard (1 fois)

Utilise le mot clé

josh314 (16), pgourdin (14), neuroklinik (7), bertilak (6), gremo (5), pmcjones (5), howser (4), prosfilaes (4), xn--7xa (3), FrankJLucatelli (3), lidaskoteina (3), dabacon (3), PipSto (2), petie1974 (2), PhilipSharman (2), mkelly (2), elizabethleewilmer (2), dakvid (2), nyambol (2), emily.and.maia.estes (2), tim.dieppe (2) et 124 autres utilisateurs

Google Books Ngram Viewer

Données du Books Ngram Viewer

Mot-cléCalculabilité

Mot-clé anglais: computability (améliorer cette traduction)

Oeuvres étiquetées

Utilise le mot clé

Mots clé ajouté recemment

Google Books Ngram Viewer

Mots-clés connexes

Séries associées

Ensembles associés de mots-clés