 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: inria-00549416, version 1 |
| See detailed view |  BibTeX,EndNote,... |
 |
| IA Handbook, Pierre Marquis, Odile Papini and Henri Prade. (Ed.) (2010) 1-63 |
|
|
|
|
| Décidabilité et Complexité |
|
|
| Olivier Bournez 1Gilles Dowek 1 |
|
|
| (2010-01-09) |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Computational Complexity Computer Science/Formal Languages and Automata Theory Computer Science/Logic in Computer Science |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| inria-00549416, version 1 | |
| http://hal.inria.fr/inria-00549416 | |
| oai:hal.inria.fr:inria-00549416 | |
| From: Jean-Yves Marion | |
| Submitted on: Thursday, 23 December 2010 08:02:43 | |
| Updated on: Friday, 6 May 2011 15:18:45 | |
