L’incroyable richesse des mathématiques et de ses applications à travers un tour d’horizon chronologique et largement illustré des grandes étapes qui ont marqué son évolution.
Une introduction à l’informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité.
Les mathématiques sont au cœur de notre vie quotidienne. Dans ce livre, Michel Soufflet passe en revue, sous forme d’énigmes, ces situations qui font appel aux mathématiques : inflation, fuseaux horaires, marées, code- barres, et bien d’autres.
Un livre incontournable, déjà best-seller en Grande-Bretagne !
Ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification. Il traite de manière très pédagogique des éléments de stratégie pour vérifier et pour concevoir des logiciels.
Mine de connaissances ou source de divertissement ? Histoire des sciences, histoire de l'art, logique, philosophie et jeux mathématiques font particulièrement bon ménage ici, au point de provoquer, parmi les nombreuses illustrations, les traits d'humour de PIEM.
