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 (8)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC005267 | EINF00160 | Livre | Magasin des Ouvrages | Informatique | Exclu du prêt |
| TEC005268 | EINF00161 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC005269 | EINF00162 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC005270 | EINF00163 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC015426 | INF05839 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC015427 | INF05840 | Livre | Magasin des Ouvrages | Informatique | Disponible |
| TEC015428 | INF05841 | Livre | Magasin des Ouvrages | Informatique | Exclu du prêt |
| TEC015429 | INF05842 | Livre | Magasin des Ouvrages | Informatique | Disponible |
