GEOTRUST SSL CERTIFICATE
Titre : | Introduction à la calculabilité : cours et exercices corrigés ; 2e cycle, Ecoles d'ingénieurs |
Auteurs : | Pierre Wolper, Auteur |
Type de document : | texte imprimé |
Mention d'édition : | 2e éd. |
Editeur : | Paris : Dunod, 2001 |
Collection : | Sciences sup |
Sous-collection : | Mathématiques |
ISBN/ISSN/EAN : | 978-2-10-004853-3 |
Format : | IX-209 p. / 24 x 17 cm |
Note générale : |
Bibliogr. Index |
Langues: | Français |
Index. décimale : | 005.1 |
Mots-clés: | informatique ; manuels d'enseignement supérieur ; fonctions calculables |
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. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |