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
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
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 : sémantique d'un programme syntaxe d'un programme indécidabilité algorithmique preuve de programme erreur langage de programmation fonction variable séquence d'instructions boucle condition programme algorithme
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-01350276
Contributor : inria Interstices Connect in order to contact the contributor
Submitted on : Friday, July 29, 2016 - 5:45:23 PM
Last modification on : Sunday, June 26, 2022 - 12:05:55 PM

Identifiers

  • HAL Id : hal-01350276, version 1

Collections

X | CNRS | INRIA | LIX | X-LIX | X-DEP-INFO | INRIA-MECSCI | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-AIS

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 Datacite

Share

Metrics

Record views

289

 

Contact                    Legal Notice                    Personal Data