{"product_id":"functional-data-structures-and-algorithms-a-proof-assistant-approach-hardcover","title":"Structures de données et algorithmes fonctionnels : une approche assistée par preuve - Relié","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eSignaler une infraction au droit d'auteur\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003epar \u003cb\u003eTobias Nipkow\u003c\/b\u003e (Auteur)\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eCe livre est une introduction aux structures de données et aux algorithmes pour les langages de programmation fonctionnels, avec un accent sur les preuves\u003c\/b\u003e. Commençant par le tri et la recherche, il aborde ensuite les files d'attente à priorité et les techniques avancées de conception et d'analyse : programmation dynamique, analyse amortie, arbres splay, tas asymétriques et tas de paires. La dernière partie du livre couvre un certain nombre de sujets amusants sélectionnés : algorithmes de graphes, recherche de chaînes de caractères, algorithme de Huffman pour la génération de codes optimaux et élagage alpha-bêta des arbres de jeu.\u003c\/p\u003e\u003cp\u003eLe livre couvre à la fois la correction (l'algorithme fait-il ce qu'il est censé faire ?) et l'analyse du temps d'exécution (l'algorithme se termine-t-il dans un nombre d'étapes spécifié ?). Il le fait de manière unifiée avec des preuves inductives sur les programmes fonctionnels et leurs fonctions de temps d'exécution. \u003c\/p\u003e\u003cp\u003eCe qui distingue ce livre des ouvrages existants sur les algorithmes, c'est que toutes les preuves ont été vérifiées par machine, par l'assistant de preuve Isabelle. C'est-à-dire qu'en plus du texte du livre, qui ne nécessite aucune connaissance des assistants de preuve !, les définitions et les preuves Isabelle sont disponibles en ligne. La nature structurée des preuves Isabelle permet même aux novices de suivre les arguments de haut niveau.\u003c\/p\u003e\u003cp\u003eCe livre s'adresse aux enseignants et aux étudiants (il a été testé en classe pendant plusieurs années), mais constitue également un ouvrage de référence pour les programmeurs et les chercheurs intéressés par les détails (vérifiés !) de certains algorithmes ou preuves.\u003c\/p\u003e\n            \u003cdiv\u003e\n\n\u003cstrong\u003eNombre de pages :\u003c\/strong\u003e 418\u003c\/div\u003e\n            \u003cdiv\u003e\n\n\u003cstrong\u003eDimensions :\u003c\/strong\u003e 0,94 x 9,25 x 7,5 po\u003c\/div\u003e\n            \u003cdiv\u003e\n\n\u003cstrong\u003eDate de publication :\u003c\/strong\u003e 3 octobre 2025\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":46967340794031,"sku":"9798400731570","price":102.48,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0723\/7314\/1679\/files\/i_AbLUBUGV9798400731570.webp?v=1779670164","url":"https:\/\/valuevaultclub.myshopify.com\/fr\/products\/functional-data-structures-and-algorithms-a-proof-assistant-approach-hardcover","provider":"Value Vault Club","version":"1.0","type":"link"}