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 ?

Cette Petite Pomme contient une dizaine de jeux mathématiques à pratiquer en solitaire ou en famille, présentés sous la forme d'une question que tout curieux pourrait se poser. De combien de minutes la marée se décale-t-elle chaque jour ? En quoi le carré de l'hypoténuse intervient-il pour fabriquer une orangeade digne de ce nom ? Pythagore peut-il aider un matelot à se repérer en mer ? Si le lecteur est invité à trouver la réponse par lui-même, chaque solution est suivie d'un court développement qui relie chaque question à l'un des grands problèmes mathématiques du passé ou du présent.

La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation.

Introduction à la théorie des langages de programmation

Pour le scientifique, toute rencontre avec le bizarre est une aubaine : elle l'oblige à regarder plus loin, à penser plus haut, à faire preuve d'audace, à dépasser ses idées reçues, à inventer de nouveaux concepts. Mais la science ne fait pas que consommer du bizarre, elle en produit également. Ce livre, intelligent, amusant et profond, qui joue avec les idées comme avec les images, expose un certain nombre de situations bizarres que la science a rencontrées ou produites, tirées de quatre disciplines : les mathématiques, la physique, la cosmologie et la chimie.

Quand la science a dit... c'est bizarre !

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.

Qui a hacké Garoutzia ?

Peut-on croire les sondages ? comment interpréter les résultats ? pourquoi n'interroge-t-on que si peu de personnes ? certains sondages sont-ils plus fiables que d'autres ? que peut-on leur faire dire et que ne peut-on pas ? comment choisit-on les personnes interrogées ? peut-on s'apercevoir qu'elles ont menti ou qu'elles se sont trompées ?.

Peut-on croire les sondages ?

Suffit-il d'apprendre à utiliser les appareils dont on est entouré ? N'a-t-on pas envie d'en comprendre le fonctionnement ? Ne préfère-t-on pas se former au coeur conceptuel et technique de l'informatique, plutôt que de rester les consommateurs serviles de ce qui se crée ailleurs ? L'objectif de ce cours est d'introduire les quatre concepts de machine, d'information, d'algorithme et de langage qui sont au coeur de l'informatique, et de montrer comment ils fonctionnent ensemble. Dans la première partie, nous apprendrons à écrire des programmes, en découvrant les ingrédients dont les programmes sont constitués : l'affectation, la séquence et le test, les boucles, les types, les fonctions et les fonctions récursives. Dans la deuxième partie, nous apprendrons à représenter les informations que l'on veut communiquer, les stocker et les transformer, textes, nombres, images et sons. Nous apprendrons également à structurer et compresser de grandes quantités d'informations et à les protéger par le chiffrement. Dans la troisième partie, nous verrons que derrière les informations, il y a toujours des objets matériels : ordinateurs, réseaux, robots, etc. Nous découvrons comment fonctionnent toutes ces machines que nous utilisons tous les jours. Dans la quatrième partie, nous apprendrons quelques-uns des savoir-faire les plus utiles au XXIe siècle : ajouter des nombres exprimés en base deux, dessiner, retrouver une information par dichotomie, trier des informations et parcourir des graphes. Ce cours comporte des chapitres élémentaires et avancés. Chacun contient une partie de cours, des sections de savoir-faire qui permettent d'acquérir les capacités essentielles, et des exercices, notés difficiles pour certains, avec corrigés lorsque nécessaire. Avec des compléments disponibles en ligne.

Informatique et sciences du numérique - Spécialité ISN en terminale S

Enfin un véritable manuel d'informatique pour les lycéens et leurs professeurs !

Les quatre concepts de machine, d'information, d'algorithme et de langage sont au coeur de l'informatique, et l'objet de ce cours est de montrer comment ils fonctionnent ensemble. En première partie, nous apprendrons à écrire des programmes, en découvrant les ingrédients qui les constituent : l'affectation, la séquence et le test, les boucles, les types, les fonctions et les fonctions récursives. Dans la deuxième partie, on verra comment représenter les informations que l'on veut communiquer, les stocker et les transformer - textes, nombres, images et sons. On apprendra également à structurer et compresser de grandes quantités d'informations, à les protéger par le chiffrement. On verra ensuite que derrière les informations, il y a toujours des objets matériels : ordinateurs, réseaux, robots, etc., qui font partie de notre quotidien. Enfin, on s'initiera à des savoir-faire utiles au XXIe siècle : ajouter des nombres exprimés en base deux, dessiner, retrouver une information par dichotomie, trier des informations et parcourir des graphes.

Ce cours comporte des chapitres élémentaires et avancés. Chacun contient une partie de cours, des sections de savoir-faire qui permettent d'acquérir les capacités essentielles, et des exercices, notés difficiles pour certains, avec corrigé lorsque nécessaire.

A qui s'adresse ce livre ?

Ce manuel de cours est destiné aux élèves de terminale ayant choisi la spécialité Informatique et sciences du numérique au lycée ; il s'appuie sur le langage de programmation Python (version 3). Il sera également lu avec profit par tous les professionnels de l'informatique, qu'ils soient autodidactes ou non.

Avec une préface de Gérard Berry, professeur au Collège de France.

Informatique et sciences du numérique - Spécialité ISN en terminale S avec des exercices corrigés et idées de projets

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.

Voulez-vous jouer avec les maths ?

Résumé

Plus de livres de Gilles Dowek

Critiques

Ce livre n'a pas encore de critiques