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.
Type de document :
Chapitre d'ouvrage
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Liste complète des métadonnées

Littérature citée [233 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00549416
Contributeur : Jean-Yves Marion <>
Soumis le : jeudi 23 décembre 2010 - 08:02:43
Dernière modification le : jeudi 10 mai 2018 - 02:06:35
Document(s) archivé(s) le : lundi 5 novembre 2012 - 14:52:11

Fichier

Chapitre_DecidabiliteComplexit...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00549416, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

737

Téléchargements de fichiers

723