Un voyage amusant dans la diversité du monde vivant (les animaux, les végétaux, les bactéries…), pour secouer nos idées reçues sur ses incroyables facultés !
Ce livre est une introduction -claire et accessible- aux algorithmes utilisant le langage de programmation Python.
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é.
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.
Revenant aux sources originales, l’auteur retrace l’histoire du XVIIe siècle à nos jours des problèmes scientifiques qui ont abouti à la théorie du chaos et montre la grande portée de cette théorie qui s’applique à de nombreux domaines de recherche : météorologie, chimie, écologie, astrophysique…
