Ce livre est une introduction -claire et accessible- aux algorithmes utilisant le langage de programmation Python.
Ce livre, qui réunit les contributions d’une trentaine de spécialistes français et étrangers, présente en 21 chapitres l’état de la recherche actuelle dans tous les principaux domaines de la philosophie de la chimie, avec une forte composante d'histoire de la discipline.
Un panorama de la recherche contemporaine en philosophie de la biologie
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 ouvrage qui renouvelle les débats sur la conscience, le rôle des intuitions en philosophie, la moralité, le déterminisme et la liberté.
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.
