A Programming Approach to Computability - A. J. Kfoury
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre112,96 €
Produit Neuf
Ou 28,24 € /mois
- Livraison à 0,01 €
- Livré entre le 25 juillet et le 6 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461257516_dbm
Nos autres offres
-
114,84 €
Produit Neuf
Ou 28,71 € /mois
- Livraison : 3,99 €
- Livré entre le 24 et le 30 juillet
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur A Programming Approach To Computability de A. J. Kfoury Format Broché - Livre Loisirs
0 avis sur A Programming Approach To Computability de A. J. Kfoury Format Broché - Livre Loisirs
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 138,99 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
The Mirabelle Cookbook
Occasion dès 98,08 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 73,00 €
-
500+ Ukrainian Verbs
Neuf dès 69,69 €
-
Liberalism And The Limits Of Justice
Neuf dès 61,74 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,76 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
Georgia O'keeffe
Occasion dès 106,99 €
-
English Collocations In Use Intermediate Book With Answers
Neuf dès 59,12 €
-
A First Course In Logic
Neuf dès 130,46 €
Occasion dès 192,99 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Merce Cunningham
Occasion dès 70,00 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
Produits similaires
Présentation A Programming Approach To Computability de A. J. Kfoury Format Broché
- Livre Loisirs
Sommaire:
1 Introduction.- 1.1 Partial Functions and Algorithms.- 1.2 An Invitation to Computability Theory.- 1.3 Diagonalization and the Halting Problem.- 2 The Syntax and Semantics of while-Programs.- 2.1 The Language of while-Programs.- 2.2 Macro Statements.- 2.3 The Computable Functions.- 3 Enumeration and Universality of the Computable Functions.- 3.1 The Effective Enumeration of while-Programs.- 3.2 Universal Functions and Interpreters.- 3.3 String-Processing Functions.- 3.4 Pairing Functions.- 4 Techniques of Elementary Computability Theory.- 4.1 Algorithmic Specifications.- 4.2 The s-m-n Theorem.- 4.3 Undecidable Problems.- 5 Program Methodology.- 5.1 An Invitation to Denotational Semantics.- 5.2 Recursive Programs 110 5.3* Proof Rules for Program Properties.- 6 The Recursion Theorem and Properties of Enumerations.- 6.1 The Recursion Theorem.- 6.2 Model-Independent Properties of Enumerations.- 7 Computable Properties of Sets (Part 1).- 7.1 Recursive and Recursively Enumerable Sets.- 7.2 Indexing the Recursively Enumerable Sets.- 7.3 G?del's Incompleteness Theorem.- 8 Computable Properties of Sets (Part 2).- 8.1 Rice's Theorem and Related Results.- 8.2 A Classification of Sets.- 9 Alternative Approaches to Computability.- 9.1 The Turing Characterization.- 9.2 The Kleene Characterization.- 9.3 Symbol-Manipulation Systems and Formal Languages.- References.- Notation Index.- Author Index.
Détails de conformité du produit
Personne responsable dans l'UE