Les ingrédients des algorithmes

Gilles Dowek 1 Thierry Vieville 2 Jean-Pierre Archambault 3 Emmanuel Baccelli 4 Benjamin Wack 5
1 TYPICAL - Types, Logic and computing
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
2 CORTEX - Neuromimetic intelligence
Inria Nancy - Grand Est, LORIA - AIS - Department of Complex Systems, Artificial Intelligence & Robotics
3 Retraité
4 HIPERCOM - High performance communication
Inria Paris-Rocquencourt, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
5 Lycée Jean Prévost
Résumé : Pour programmer un ordinateur, le plus important ce sont les méthodes mises en œuvre. Découvrez les ingrédients à combiner pour créer ces algorithmes !
Mots-clés : algorithme condition programme boucle variable séquence d'instructions fonction erreur langage de programmation preuve de programme indécidabilité algorithmique sémantique d'un programme syntaxe d'un programme
Type de document :
Article dans une revue
Liste complète des métadonnées
https://hal.inria.fr/hal-01350276
Contributeur : Inria Interstices <>
Soumis le : vendredi 29 juillet 2016 - 17:45:23
Dernière modification le : mardi 17 avril 2018 - 11:33:49

Identifiants

  • HAL Id : hal-01350276, version 1

Collections

INRIA-MECSCI | X | LIX | INRIA | UNIV-LORRAINE | X-LIX | PARISTECH | LORIA-AIS | LORIA

Citation

Gilles Dowek, Thierry Vieville, Jean-Pierre Archambault, Emmanuel Baccelli, Benjamin Wack. Les ingrédients des algorithmes. Interstices, INRIA, 2010, 〈https://interstices.info/jcms/c_43821/les-ingredients-des-algorithmes〉. 〈hal-01350276〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

384

Contact


archive-ouverte@inria.fr