Au coeur des algorithmes
Les bases de la programmation avec Python
Ce livre est une introduction -claire et accessible- aux algorithmes utilisant le langage de programmation Python.
Ce livre est une introduction -claire et accessible- aux algorithmes utilisant le langage de programmation Python.
L’incroyable richesse architecturale et artistique des cathédrales à travers un tour d’horizon chronologique et largement illustré des grandes étapes qui ont marqué leur évolution.
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.
Une histoire de l’électronique, de l’informatique, d’internet, de la robotique et de l’intelligence artificielle à travers un tour d’horizon chronologique et largement illustré des grandes étapes qui ont marqué leur évolution.
La richesse de la physique et de ses applications à travers un tour d’horizon chronologique et largement illustré des grandes étapes qui ont marqué son évolution.
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é.
Résumant 25 siècles de découvertes sur les figures et sur les nombres, cette histoire des mathématiques ne demande aucune connaissance préalable. Le lecteur y retrouvera l’intérêt qu’ont porté aux mathématiques des savants comme Euclide, Descartes ou Pascal.
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.
En nous invitant à parcourir avec lui deux siècles d'histoire des techniques, l'auteur nous montre quelle fut la genèse de notre actuelle technologie. C'est aussi l'occasion de revenir sur nos interrogations concernant le sens de la technique ou encore sur les relations que nous entretenons désormais avec notre milieu. De la machine à vapeur à Internet, on trouvera ici une description des inventions dans l'ordre où elles sont apparues, doublée d'explications sur leurs rapports mutuels.