108,97 €
Produit Neuf
Ou 27,24 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 28 septembre
- 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.
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Catafalque
Neuf dès 86,94 €
-
I Want To Spend The Rest Of My Life Everywhere, With Everyone, One To One, Always, Forever, Now
Occasion dès 96,88 €
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
The Work Of Hipgnosis -Walk Away Rene
1 avis
Occasion dès 71,99 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Le Corbusier
2 avis
Neuf dès 445,67 €
Occasion dès 59,90 €
-
Edexcel A Level Mathematics Pure Mathema
Neuf dès 64,34 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Harald Szeemann
Neuf dès 87,99 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 58,05 €
-
Motor Racing - Reflections Of A Lost Era
Neuf dès 63,37 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
Quantum Mechanics
Occasion dès 65,00 €
-
Didactique De L'anglais - Tome 2, La Mise En Oeuvre Pédagogique
Occasion dès 93,23 €
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