Décidabilité et Complexité - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2010

Décidabilité et Complexité

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00549416 , version 1

Cite

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⟩
480 View
1528 Download

Share

Gmail Facebook X LinkedIn More