348 articles – 361 Notices  [english version]
HAL : inria-00549416, version 1

Voir la fiche détaillée  BibTeX,EndNote,...
IA Handbook, Pierre Marquis, Odile Papini and Henri Prade. (Ed.) (2010) 1-63
Décidabilité et Complexité
Olivier Bournez 1, Gilles Dowek 1, Rémi Gilleron 2, 3, 4, Serge Grigorieff 5, Jean-Yves Marion ( ) 6, Simon Perdrix 7, 8, 9, Sophie Tison 2, 3
(09/01/2010)

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.
1 :  Laboratoire d'informatique de l'école polytechnique (LIX)
CNRS : UMR7161 – Polytechnique - X
2 :  MOSTRARE (INRIA Lille - Nord Europe)
INRIA – CNRS : UMR8022 – Université Lille I - Sciences et technologies – Université Lille III - Sciences humaines et sociales
3 :  Laboratoire d'Informatique Fondamentale de Lille (LIFL)
CNRS : UMR8022 – Université Lille I - Sciences et technologies – Université Lille III - Sciences humaines et sociales – INRIA
4 :  GRAPPA (LIFL)
CNRS : UMR8022 – Université Lille III - Sciences humaines et sociales – Université Lille I - Sciences et technologies
5 :  Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA)
CNRS : UMR7089 – Université Paris VII - Paris Diderot
6 :  CARTE (INRIA Nancy - Grand Est / LORIA)
CNRS : UMR7503 – INRIA – Université de Lorraine
7 :  Preuves, Programmes et Systèmes (PPS)
CNRS : UMR7126 – Université Paris VII - Paris Diderot
8 :  Laboratoire Leibniz (Leibniz - IMAG)
CNRS : UMR5522 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG)
9 :  Computing Laboratory (OUCL)
University of Oxford
Informatique/Complexité

Informatique/Théorie et langage formel

Informatique/Logique en informatique
Liste des fichiers attachés à ce document :
PDF
Chapitre_DecidabiliteComplexite.pdf(547.1 KB)