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é.
À une époque où les fondamentalismes religieux se libèrent et que des acquis scientifiques comme le darwinisme sont remis en cause, ce livre aide à comprendre ce qui caractérise respectivement les sciences et les religions et à les situer sur deux plans différents.
Comment résoudre les « énigmes » de la nature ? Par la méthodologie des sciences ou en faisant appel à un « Grand Concepteur » intelligent dont les desseins nous dépassent ?
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.
