![Les démonstrations et les algorithmes ; introduction à la logique et à la calculabilité](/_next/image?url=https%3A%2F%2Fs3.eu-west-3.amazonaws.com%2Fstatic.jardin-des-citations.com%2Feditions%2Fimages%2Fles-demonstrations-et-les-algorithmes-introduction-a-la-logique-et-a-la-calculabilite-gilles-dowek-HGH5QG4MhmLlJMkRHOkWVpYeh1fPxLNc.jpg&w=3840&q=100)
Les démonstrations et les algorithmes ; introduction à la logique et à la calculabilité
Publié par Le Pommier, le 13 mars 2019
211 pages
Les langages. C'est ce que Gilles Dowek appelle l'" éléphant dans le salon " : un objet gigantesque que personne ne voit et donc personne ne parle alors qu'il structure nos vies... Des jetons d'argile mésopotamiens aux langages informatiques en passant par le langage des partitions musicales ou encore ceux utilisés pour exprimer la synthèse des protéines, Gilles Dowek commence par retracer la passionnante et foisonnante histoire des langages. Car les langages sont partout, des carillons des cathédrales aux ordinateurs, de la molécule d'ADN aux concertos de Vivaldi ! Mais qu'on ne s'y trompe pas : sous le pittoresque de la narration, se dissimule un essai fondateur dans lequel l'auteur dynamite certaines idées profondément ancrées dans les mentalités, qu'il s'agisse du pourquoi de la naissance de l'écriture ou de la façon dont les sciences se définissent... Un essai fondateur sur ces nouvelles façons d'appréhender la réalité.
Les démonstrations et les algorithmes ; introduction à la logique et à la calculabilité
Qui a hacké Garoutzia ?
Peut-on croire les sondages ?
Voulez-vous jouer avec les maths ?
Informatique et sciences du numérique - Spécialité ISN en terminale S avec des exercices corrigés et idées de projets
L'IA est-elle une chance ? méditations sur le risque
Informatique et sciences du numérique - Spécialité ISN en terminale S
Quand la science a dit... c'est bizarre !
Vous avez lu ce livre ? Dites à la communauté Lenndi ce que vous en avez pensé 😎