Décidabilité et ComplexitéReportar como inadecuado




Décidabilité et Complexité - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

* Corresponding author 1 LIX - Laboratoire d-informatique de l-École polytechnique Palaiseau 2 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction LIFL - Laboratoire d-Informatique Fondamentale de Lille, Inria Lille - Nord Europe 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 Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods 7 PPS - Preuves, Programmes et Systèmes 8 Leibniz - IMAG - Laboratoire Leibniz 9 OUCL - Computing Laboratory

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.





Autor: Olivier Bournez - Gilles Dowek - Rémi Gilleron - Serge Grigorieff - Jean-Yves Marion - Simon Perdrix - Sophie Tison -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados