Saltar al contenido principal

Etiquetacomputability

Incluye: computability, Computability

Traducciones: Berechenbarkeit, Calculabilité, Berekenbaarheid, Computabilidade

Obras etiquetadas

Etiquetado más a menudo | Ponderado | Recientemente popular | Publicado recientemente — Filtrar: Ninguno (editar)

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

Títulos Portadas

Usan esta etiqueta

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) y otros 124 miembros

Google Books Ngram Viewer

Datos de Books Ngram Viewer

Etiquetas relacionadas

Cargando...

Series relacionadas

Addison-Wesley Series in Computer Science

Series of Books in the Mathematical Sciences

Studies in logic and the foundations of mathematics

Computer Science and Scientific Computing

CSLI Lecture Notes

Complex Adaptive Systems

Foundations of Computing Series

Cambridge Introductions to Philosophy

XLeitfäden der Informatik

Encyclopedia of mathematics and its applications

Grupos de etiquetas relacionados

computer science, logic (38)

computer science, math (31)

computation, logic (22)

logic, math (18)

computer science, physics (17)

math, programming (17)

computer science, popular science (16)

algorithms, computer science (14)

complexity, math (14)

Godel, --Kurt (14)

computer science, textbook (13)

computers, philosophy (12)

math, science, technology (12)

AI, computers (11)

computer science, technology (11)

computer, philosophy (11)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.