Skip to Main content Skip to Navigation
Journal articles

Les ingrédients des algorithmes

Gilles Dowek 1 Thierry Viéville 2 Jean-Pierre Archambault 3 Emmanuel Baccelli 4 Benjamin Wack 5
1 TYPICAL - Types, Logic and computing
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-01350276
Contributor : Inria Interstices <>
Submitted on : Friday, July 29, 2016 - 5:45:23 PM
Last modification on : Saturday, May 1, 2021 - 3:41:19 AM

Identifiers

  • HAL Id : hal-01350276, version 1

Collections

INRIA-MECSCI | CNRS | X | LIX | INRIA | UNIV-LORRAINE | X-LIX | LORIA-AIS | LORIA | X-DEP-INFO | GS-COMPUTER-SCIENCE

Citation

Gilles Dowek, Thierry Viéville, Jean-Pierre Archambault, Emmanuel Baccelli, Benjamin Wack. Les ingrédients des algorithmes. Interstices, INRIA, 2010. ⟨hal-01350276⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

604

 

Contact                    Legal Notice                    Personal Data