Calculabilité
Format BrochéAuteur : Ludovic Patey, Benoît Monin
Description
Au début du vingtième siècle, un petit groupe de logiciens et mathématiciens comprend et formalise, plusieurs décennies avant l'apparition des premiers ordinateurs, le concept de calcul et de fonction calculable. Leurs travaux vont constituer une base théorique solide sur laquelle se fondera l'informatique et ses nombreuses ramifications.
C'est toutefois une histoire moins connue, mais issue des mêmes travaux que se proposent de nous raconter les auteurs du présent ouvrage : celle de la calculabilité, discipline qui étudie les objets mathématiques sous le prisme de leur complexité calculatoire, et qui étudie en particulier les objets mathématiques incalculables. Ils réalisent cela via une notion de puissance de calcul, les degrés Turing, lesquels se révèlent d'une richesse surprenante et permettent de mieux comprendre de nombreux aspects des mathématiques générales.
La calculabilité a connu des succès majeurs en servant de fondement mathématique à l'étude de certaines questions à saveur philosophique Benoît Monin et Ludovic Patey en approfondissent deux, à travers la théorie algorithmique de l'aléatoire et les mathématiques à rebours. La dernière partie est consacrée quant à elle à une extension de la calculabilité à des modèles dont la puissance dépasse celle des ordinateurs classiques, et qui nous amènera à la frontière avec la théorie des ensembles.
Il s'agit du premier ouvrage en français traitant de ce sujet de manière aussi achevée, à destination des chercheurs, étudiants, mathématiciens ou informaticiens curieux d'en apprendre plus sur les fondements de la théorie du calcul. Les auteurs y présentent de façon très accessible les principaux théorèmes de la calculabilité classique, mais aussi l'état de l'art en maints domaines de la recherche autour des thèmes correspondants. De nombreux exercices corrigés aident à la compréhension tout au long de l'ouvrage, qui a pour vocation à être pour un long moment la référence de la calculabilité en France.
Caractéristiques
Caractéristiques
- Format
- Broché
- Collection
- Tableau noir
- Date de parution
- 28/04/2022
Livraison en Guadeloupe
Notre priorité est votre satisfaction et nous mettons tout en œuvre pour vous apporter un service irréprochable.
|
Grâce à sa logistique ultra-performante, grâce à ses partenaires locaux, Isleden apporte votre commande directement chez vous ou dans votre boîte aux lettres si vous n'êtes pas là.
Si le colis est trop volumineux ou si sa valeur est importante, le colis sera remis au Bureau de poste le plus proche ou vous pourrez aller le chercher au moment qui vous arrange, en toute sécurité.
Commandez depuis votre canapé et faites vous livrer à domicile. C'est aussi simple que ça !
|
Chaque jour, Isleden ajoute à son catalogue de nouveaux fournisseurs et des milliers de produits. Revenez régulièrement pour trouver la perle rare.
Dès la commande passée, nous mettons tout en œuvre afin de réduire le temps de livraison. Nos transporteurs et partenaires locaux font le maximum pour vous apporter rapidement votre commande, dans les meilleures conditions.
Que vous commandiez un téléphone mobile, une perceuse ou un ordinateur portable, nous attachons une grande importance à ce que vous profitiez rapidement de votre achat.
|
Fini la galère des achats sur les sites qui ne livrent pas directement, rapatriés comme on peut, sans retour possible ni SAV, et parfois avec une ardoise à l'arrivée qu'on avait pas prévu.
Chez Isleden il n'y a pas de taxes ni de frais de douane. Nos prix sont tout compris et vous n'avez rien à payer à l'arrivée. Vous avez la possibilité de nous retourner votre produit sous 14 jours et le SAV est bien sûr pris en charge.
Tous nos produits sont garantis et bénéficient du service premium Isleden. en cas de panne, le formulaire disponible sur le site permet faciemnt d'enregistrer son SAV qui sera alors traité dans les meilleurs délais.