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

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

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 a posteriori d'une nature très différente : il ne repose pas sur une méthode systématique, de donne pas toujours...

...

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

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

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'elle...

Écrite 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'informatio...

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

Depuis Euclide, on définit une démonstration comme un raisonnement, construit à l'aide d'axiomes et de règles de déduction. La révolution qui a consisté, depuis les années 70, à remettre en cause la prééminence du raisonnement sur le calcul, nous a amené à repenser la notion même de démonstration. E...

Depuis quelque temps, les algorithmes sont sur toutes les langues. Et ils inquiètent. Des métiers disparaissent par leur faute, des gouvernants s'en servent pour restreindre nos libertés, des entreprises privées les utilisent dans leurs calculs cyniques. Bientôt des « algorithmes intelligents » nou...

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

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