Skip to Main content Skip to Navigation
Book sections

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 : Tuesday, September 8, 2020 - 4:58:02 PM
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

866

Files downloads

1440