Les métamorphoses du calcul

Ecrite par une équipe de chercheurs et d'enseignants l'université, cette Introduction... s'adresse, principalement, aux professeurs chargés d'enseigner la spécialité Informatique et Sciences du numérique en terminale S. Les différents concepts qui structurent l'informatique, les notions d'information, de langage, de machine et d'algorithme y sont présentés de manière synthétique. Afin de préparer au mieux les enseignants leur mission, ce livre complète les traditionnels cours et exercices par une réflexion sur la manière d'enseigner l'informatique, nourrie par la pratique de ses auteurs. Il cherche également à situer ces connaissances dans le monde contemporain, en montrant comment elles éclairent de multiples questions relatives au droit d'auteur, la protection de la vie privée ou la gouvernance du réseau. Il propose enfin des lectures complémentaires pour poursuivre sa formation au-delà des notions exposées. Un ouvrage sans équivalent dans la discipline.

Introduction à la science informatique - Pour les enseignants de la discipline en lycée

Voulez-vous jouer avec les maths ? Pythagore peut-il aider un matelot à se repérer en mer ? Saurez-vous calculer de combien de minutes la marée se décale chaque jour ? En quoi le carré de l'hypoténuse intervient-il pour fabriquer une orangeade digne de ce nom ? etc.

Voulez-vous jouer avec les maths ?

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é.

Ce dont on ne peut parler, il faut l'écrire - Langues et langages

Imaginons un monde dans lequel les enfants rêvent de devenir maçons, les paparazzi traquent les boulangers, les oeuvres d'art usagées traînent dans les décharges, les pneus anciens atteignent des prix exorbitants, les meilleurs collégiens s'orientent vers les lycées techniques et les consommateurs se méfient des produits naturels. Rien dans ce monde ne serait absurde. Et pourtant, ce monde n'est pas le nôtre.
Comparer notre monde à ce monde imaginaire nous renseigne sur nos valeurs : nous pensons tous qu'une oeuvre d'art vaut plus qu'un pneu usagé, ... Nous adhérons, la plupart du temps, à ces valeurs sans y avoir beaucoup pensé. Ce sont, au sens propre, des préjugés.
À l'origine de ce petit livre, j'avais le projet d'essayer de comprendre d'où venaient un certain nombre de préjugés, qui encombrent nos discours sur la science et sur la technique. À ma grande surprise, je me suis parfois aventuré assez loin de mon point de départ... »

Ces préjugés qui nous encombrent

Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Godel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.

Les démonstrations et les algorithmes ; introduction à la logique et à la calculabilité

Qu'est-ce qu'un échantillon représentatif ? Un intervalle de confiance ? Selon quels critères établit-on un panel ? Peut-on s'apercevoir que les personnes interrogées ont menti, ou se sont trompées ? Peut-on réellement dresser un portrait de l'opinion publique ?À l'aide de nombreux exemples, ce petit livre apporte les connaissances indispensables pour lire un sondage... et le comprendre. En réfutant quelques idées reçues, mais en montrant également les limites de ce genre de procédé, cet ouvrage nous donne les outils nécessaires pour répondre à la question « Peut-on croire les sondages ? ».

Peut-on croire les sondages ?

Très valorisé dans notre monde « raisonnable », le raisonnement n'est pas le seul moyen d'accéder à la vérité. Parfois introduit comme un prolongement du calcul, le raisonnement se révèle à posteriori d une nature très différente : il ne repose pas sur une méthode systématique, ne donne pas toujours une réponse, et sa cohérence ne peut pas être démontrée !Mais comprendre la nature du raisonnement aide-t-il à raisonner ? Selon Gilles Dowek, la réponse est à trouver dans les propriétés mêmes du raisonnement ! La logique, quant à elle est une étape annoncée et nécessaire de la pensée déductive.

La logique

Garoutzia, l'intelligence artificielle domestique de Botpower, assiste au décès de ses propriétaires. Une énigme policière l'oblige à remonter le cours de sa mémoire numérique et découvrir au contact des humains la jouissance des mots, la transgression, l'amitié, la mort… Comment appliquer les codes du burlesque et de la dérision pour traiter avec sérieux des questions philosophiques liées à l'irruption des machines conversationnelles ? Comment les bots apprennent-ils (ou elles) à imiter les émotions humaines sans jamais les ressentir ? Leur empathie factice peut-elle influencer les actions des humains ? Et quel est le rôle de l'entreprise qui fabrique ces robots ? Trois informaticiens renommés décident d'illustrer dans une pièce de théâtre les questions posées par les relations entre humains et intelligences artificielles pour toucher un plus large public. La création de la pièce, mise en scène par Lisa Bretzner, a eu lieu au Festival Off d'Avignon en juillet 2023, devant une salle hilare.

Les métamorphoses du calcul

Plus de livres de Gilles Dowek

Critiques

Ce livre n'a pas encore de critiques