LOGIQUE (LA)

Socle même de la méthode mathématique depuis l?Antiquité grecque, la notion de démonstration s?est profondément transformée, depuis le début des années soixante-dix. Plusieurs avancées mathématiques importantes remettent ainsi progressivement en cause la prééminence du raisonnement sur le calcul, pour proposer une vision plus équilibrée, dans laquelle l'un et l'autre jouent des rôles complémentaires. Cette véritable révolution nous amène à repenser le dialogue des mathématiques avec les sciences de la nature. Elle éclaire d'une lumière nouvelle certains concepts philosophiques, comme ceux de jugement analytique et synthétique. Elle nous amène aussi à nous interroger sur les liens entre les mathématiques et l'informatique, et sur la singularité des mathématiques qui est longtemps restée l'unique science à ne pas utiliser d'instruments. Enfin, et c'est certainement le plus prometteur, elle nous laisse entrevoir de nouvelles manières de résoudre des problèmes mathématiques, qui s'affranchissent de certaines limites arbitraires que la technologie du passé a imposé à la taille des démonstrations : les mathématiques sont peut-être en train de partir à la conquête d'espaces jusqu'alors inaccessibles.

Résumé : 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.

L'informatique a métamorphosé tous les aspects de notre vie : notre manière de travailler, d'apprendre, de vivre ensemble, de partager... Quoi de mieux, pour appréhender l'ère numérique dans laquelle nous sommes entrés de plein pied, que des chroniques qui, les unes après les autres, nous racontent cette nouvelle façon de vivre, si différente de celle des humains du XXe siècle ? Bienvenue dans le monde des trolls, des pétitions en ligne, des objets connectés, des ordinateurs qui n'arrivent pas à oublier et des nouveaux aventuriers du Web – nous.

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?