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é.
Un livre incontournable, déjà best-seller en Grande-Bretagne !
Bourré d'informations et très stimulant pour l'esprit, ce livre nous apporte la réponse à une centaine de questions touchant à la vie quotidienne.
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.
En s'appuyant sur les recherches les plus récentes, l'auteur nous conduit au coeur de l'univers mental de nos contemporains par une porte beaucoup moins étroite qu'il n'y paraît : celle des coïncidences et de leur interprétation par la logique ordinaire.
