Algorithmes, machines et langages
Index terms
Mots-clés :
algorithmes, données, langage, machines, informatique, programmation, vérification formelleFull text
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.
References
Bibliographical reference
Gérard Berry, “Algorithmes, machines et langages”, L’annuaire du Collège de France, 117 | 2019, 37.
Electronic reference
Gérard Berry, “Algorithmes, machines et langages”, L’annuaire du Collège de France [Online], 117 | 2019, Online since 04 June 2020, connection on 13 June 2025. URL: http://journals.openedition.org/annuaire-cdf/13837; DOI: https://doi.org/10.4000/annuaire-cdf.13837
Top of pageCopyright
The text and other elements (illustrations, imported files) are “All rights reserved”, unless otherwise stated.
Top of page