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)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
3 LIFL - Laboratoire d'Informatique Fondamentale de Lille
4 GRAppA - LIFL - Groupe de Recherche en Apprentissage Automatique
5 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications
6 CARTE - Theoretical adverse computations, and safety
7 PPS - Preuves, Programmes et Systèmes
8 Leibniz - IMAG - Laboratoire Leibniz
9 OUCL - Computing Laboratory

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.

Domaines: Complexité [cs.CC]; Théorie et langage formel [cs.FL]; Logique en informatique [cs.LO]

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⟩