Décidabilité et Complexité - Inria - Institut national de recherche en sciences et technologies du numérique
Chapitre D'ouvrage Année : 2010

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.
Fichier principal
Vignette du fichier
Chapitre_DecidabiliteComplexite.pdf (425.8 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00549416 , version 1 (23-12-2010)

Identifiants

  • HAL Id : inria-00549416 , version 1

Citer

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⟩
523 Consultations
1597 Téléchargements

Partager

More