Les métamorphoses du calcul

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

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

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 ?

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 !

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

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

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.

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

Les métamorphoses du calcul

Plus de livres de Gilles Dowek

Critiques

Ce livre n'a pas encore de critiques