Décidabilité et Complexité

Résumé : L'informatique fondamentale est un vaste sujet, comme en témoignent les 2 283 et 3 176 pages des "Handbooks" (228; 1). Couvrir en quelques dizaines de pages, l'ensemble de l'in- formatique nous a semblé une entreprise hors de notre portée. De ce fait, nous nous sommes concentrés sur la notion de calcul, sujet qui reflète le goût et la passion des auteurs de ce chapitre. La notion de calcul est omniprésente et aussi ancienne que les mathématiques.
Complete list of metadatas

Cited literature [233 references]  Display  Hide  Download

https://hal.inria.fr/inria-00549416
Contributor : Jean-Yves Marion <>
Submitted on : Thursday, December 23, 2010 - 8:02:43 AM
Last modification on : Thursday, July 25, 2019 - 8:50:07 AM
Long-term archiving on : Monday, November 5, 2012 - 2:52:11 PM

File

Chapitre_DecidabiliteComplexit...
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00549416, version 1

Citation

Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, et al.. Décidabilité et Complexité. Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010. ⟨inria-00549416⟩

Share

Metrics

Record views

815

Files downloads

1140