Cliquer sur une vignette pour aller sur Google Books.
Chargement... Computability and Unsolvabilitypar Martin Davis
Aucun Chargement...
Inscrivez-vous à LibraryThing pour découvrir si vous aimerez ce livre Actuellement, il n'y a pas de discussions au sujet de ce livre. NA aucune critique | ajouter une critique
Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more. Aucune description trouvée dans une bibliothèque |
Discussion en coursAucunCouvertures populaires
Google Books — Chargement... GenresClassification décimale de Melvil (CDD)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicClassification de la Bibliothèque du CongrèsÉvaluationMoyenne:
Est-ce vous ?Devenez un(e) auteur LibraryThing. |