Titre :	Introduction à la calculabilité : cours et exercices corrigés ; 2e cycle, Ecoles d'ingénieurs
Type de document :	texte imprimé
Auteurs :	Pierre Wolper, Auteur
Mention d'édition :	2e éd.
Editeur :	Paris : Dunod
Année de publication :	2001
Collection :	Sciences sup
Sous-collection :	Mathématiques
Importance :	IX-209 p.
Format :	24 x 17 cm
ISBN/ISSN/EAN :	978-2-10-004853-3
Prix :	29.9 EUR
Note générale :	Bibliogr. Index
Langues :	Français (fre)
Mots-clés :	informatique  manuels d'enseignement supérieur  fonctions calculables
Index. décimale :	535.276 GAU
Résumé :	La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique ; il s'agit d'informatique théorique, directement issue de la logique mathématique et qui s'enseigne en 2e cycle. Cette nouvelle édition est l'occasion d'étendre le dernier chapitre, qui traite de complexité, et d'introduire de nouveaux exercices et corrigés.

Introduction à la calculabilité : cours et exercices corrigés ; 2e cycle, Ecoles d'ingénieurs [texte imprimé] / Pierre Wolper, Auteur  . -  2e éd. . - Paris : Dunod, 2001 . - IX-209 p. ; 24 x 17 cm. - (Sciences sup. Mathématiques) .
ISBN : 978-2-10-004853-3 : 29.9 EUR
Bibliogr. Index

Langues : Français (fre)

Mots-clés :	informatique  manuels d'enseignement supérieur  fonctions calculables
Index. décimale :	535.276 GAU
Résumé :	La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique ; il s'agit d'informatique théorique, directement issue de la logique mathématique et qui s'enseigne en 2e cycle. Cette nouvelle édition est l'occasion d'étendre le dernier chapitre, qui traite de complexité, et d'introduire de nouveaux exercices et corrigés.