L'arrivée de ChatGPT a tout changé. En réalisant que chacun d'entre nous peut se servir d'un outil d'IA d'une puissance ahurissante, nous sommes saisis d'une forme de panique. Il nous faut comprendre ce qui se joue dans cette période d'effervescence technologique. Dans un essai tonique, la philosophe Apolline Guillot invite à dépasser les fantasmes catastrophistes. L'IA n'est pas omnipotente : elle est par exemple incapable de prendre des risques. Mais quels risques nous fait-elle courir ? Deux penseurs en débattent pied à pied : Miguel Benasayag s'inquiète d'une digitalisation rapide du monde qui abîme nos cerveaux tandis que Gilles Dowek fait confiance à l'être humain pour tirer le meilleur parti d'un outil qu'il a créé.

L'IA est-elle une chance ? méditations sur le risque

Les métamorphoses du calcul

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.

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

Partons à l'assaut du continent ludique des mathématiques ! De nombreux mathématiciens, tels Fermat ou Pascal, ont mis leurs contemporains au défi de résoudre des énigmes dont ils connaissaient la solution...
Ici, six jeux vous sont proposés - jeux du voyageur de commerce, des cavaliers, des labyrinthes, du do et du do dièse, du bonneteau ou du coloriage des cartes -, qui vous invitent à explorer six grandes questions de mathématiques contemporaines.
Alors, qui relève le défi ?

Jeux mathématiques et vice versa (édition 2017)

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

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é

Ce manuel scolaire (terminale scientifique) est écrit par les promoteurs du programme de la nouvelle option de spécialité Informatique et Sciences du Numérique (ISN).

En quatre thèmes, Langage, Information, Machine et Algorithme, ce manuel explique les concepts fondamentaux de l'Informatique.

Entre exposés de connaissances et exercices, une large place est accordée aux activités pratiques ainsi qu'aux ouvertures vers un certain nombre de questions de sociétés liées au développement du monde numérique (réseaux sociaux, vie privée, gouvernance, licences, etc.).

Public

- 

Lycéens inscrits à la spécialité ISN ;

- 

Enseignants de la spécialité ISN ;

- 

Centres de documentation et d'information des lycées ;

- 

Lecteurs souhaitant comprendre les bases de l'informatique.

Préface de Gérard Berry, professeur au Collège de France.

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

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

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.

Voulez-vous jouer avec les maths ?

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.

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

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 !

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 ?

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.

Livres