| 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 |
| Catégories : | |
| Mots-clés: | 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 (8)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC005267 | EINF00160 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC005268 | EINF00161 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC005269 | EINF00162 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC005270 | EINF00163 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC015426 | INF05839 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC015427 | INF05840 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC015428 | INF05841 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC015429 | INF05842 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
