Algorithmes, machines et langages
Entrées d’index
Mots-clés :
algorithmes, données, langage, machines, informatique, programmation, vérification formelleTexte intégral
Enseignement
1Le cours n’a pas eu lieu.
Publications
2Berry G., L’Hyperpuissance de l’informatique : algorithmes, données, machines, réseaux, Paris, Odile Jacob, 2017.
Berry G., The Informatics of Time and Events. Inaugural lecture delivered on Thursday 28 March 2013, trad. L. Libbrecht, Paris, Collège de France, coll. « Leçons inaugurales », 2016, DOI : 10.4000/books.cdf.4120, http://books.openedition.org/cdf/4120.
Berry G., « Vers une approche algorithmique des sciences du vivant », in T. Gaudin, D. Lacroix, M.-C. Maurel et J.-C. Pomerol (dir.), Sciences de la vie, sciences de l’information. Actes du colloque qui s’est déroulé du 17 au 24 septembre 2016 au Centre culturel international de Cerisy, Londres, ISTE Éditions, coll. « Systèmes d’information, web et société », 2017, p. 163175.
Berry G. et Delahaye J.-P., « Jouer ou ne pas jouer au Loto, telle est la stratégie », Interstices, INRIA, 2017, https://hal.inria.fr/hal-01533685.
Berry G., Préface de Lazard E. et Mounier-Kuhn P., Histoire illustrée de l’informatique, Les Ullis, EDP Sciences, 2016.
Villani C., Berry G. et Broué M., Comprendre les mathématiques: les textes fondamentaux : Euclide, Descartes, Euler, Cauchy, Galois, Riemann, Turing, Nash, Grothendieck..., Paris, Le Point Références, 2017.
Pour citer cet article
Référence papier
Gérard Berry, « Algorithmes, machines et langages », L’annuaire du Collège de France, 117 | 2019, 37.
Référence électronique
Gérard Berry, « Algorithmes, machines et langages », L’annuaire du Collège de France [En ligne], 117 | 2019, mis en ligne le 04 juin 2020, consulté le 13 mai 2025. URL : http://journals.openedition.org/annuaire-cdf/13837 ; DOI : https://doi.org/10.4000/annuaire-cdf.13837
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page