A Mathematical Primer on Computability - Sernadas, Amilcar
- Format: Broché
- 280 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
45,94 €
Produit Neuf
Ou 11,49 € /mois
- Livraison à 0,01 €
Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 20 à 30 jours ouvrables.
- 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 Mathematical Primer On Computability Format Broché - Livre Informatique
0 avis sur A Mathematical Primer On Computability Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Isamu Noguchi: Space Of Akari And Stone
Occasion dès 30,00 €
-
The Chinese Art Book
Neuf dès 197,99 €
Occasion dès 47,29 €
-
Chamäleon : La Grammaire Allemande Sur Le Bout De La Langue - 137 Rappels, 323 Exercices Et Corrigés
1 avis
Neuf dès 22,40 €
-
Becoming Disfarmer
Occasion dès 23,00 €
-
Cricut Joy
Neuf dès 51,50 €
Occasion dès 100,00 €
-
Building With Straw Bales: A Practical Manual For Self-Builders And Architects Volume 6
Neuf dès 39,76 €
-
Le Livre D'urantia
Occasion dès 50,00 €
-
Century Series In Color (F-100 Super Sabre; F-101 Voodoo; F-102 Delta Dagger; F-104 Starfighter; F-105 Thunderchief; F-106 Delta Dart) - Fighting Colors Series (6501)
Occasion dès 54,82 €
-
7: - Best Karate 7: Jitte,Hangetsu, Empi
Occasion dès 53,35 €
-
Designing Creatures And Characters
Neuf dès 40,68 €
Occasion dès 35,00 €
-
Peugeot 206 Petrol & Diesel (98 - 01) Haynes Repair Manual
Neuf dès 40,97 €
-
La Mort De Radiguet. Yukio Mishima. Bilingue. Gallimard. Traduit Du Japonais Par Dominique Palme.(2012)
2 avis
Occasion dès 28,00 €
-
Grecs En Occident De L'age Mycénien À La Fin L'héllenisme
Occasion dès 25,00 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
Joi Travalh E Soufransa De Ma Gent Biografie Di Anziani Delle Valli Cluuzoun E Sanmartin
Occasion dès 34,00 €
-
Anglais Spécial Toeic - Cahier De Vacances
Occasion dès 30,59 €
-
Ice Cold - A Hip-Hop Jewelry History
1 avis
Neuf dès 80,00 €
Occasion dès 39,00 €
-
Physiology Of The Heart
Neuf dès 44,80 €
Occasion dès 98,78 €
-
The Jewelers Of The Ummah
Neuf dès 39,09 €
-
Building Scientific Apparatus
Neuf dès 59,88 €
Produits similaires
Présentation A Mathematical Primer On Computability Format Broché
- Livre InformatiqueAuteur(s) : Sernadas, Amilcar - Sernadas, Cristina - Rasga, JoãoEditeur : College PublicationsLangue : AnglaisParution : 01/11/2018Format : Moyen, de 350g à 1kgNombre de pages :...
Résumé :
The book provides a self-contained introduction to computability theory for advanced undergraduate or early graduate students of mathematics and computer science. The technical material is illustrated with plenty of examples, problems with fully worked solutions as well as a range of proposed exercises. Part I is centered around fundamental computability notions and results, starting with the pillar concepts of computational model (an abstract high-level programming language), computable function, decidable and listable set, proper universal function, decision problem and the reduction technique for transferring decidability and listability properties. The essential results namely Rice's Theorem, Rice-Shapiro's Theorem, Rice-Shapiro-McNaughton-Myhill's Theorem as well as Rogers' Theorem and the Recursion Theorem are presented and illustrated. Many-to-one reducibility and many-to-one degrees are investigated. A short introduction to computation with oracles is also included. Computable as well as non-computable operators are introduced as well as monotonic and finitary operators. The relationship between them is discussed, in particular via Myhill-Shepherdson's Theorem. Kleene's Least Fixed Point Theorem is also presented. Finally, Part I terminates with a briefi ng on the Turing computational model, Turing reducibility and Turing degrees. Part II of the book concentrates on applications of computability in several areas namely in logic (undecidability of arithmetic, satisfiability in propositional logic, decidability in modal logic), Euclidean geometry, graphs and Kolmogorov complexity. Nevertheless no previous knowledge of these subjects is required. The essential details for understanding the applications are provided.
Détails de conformité du produit
Personne responsable dans l'UE