GEOTRUST SSL CERTIFICATE
| Titre : | Mathématiques de l'informatique : cours et exercices corrigés |
| Auteurs : | P. Dehornoy, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Dunod, 2000 |
| Collection : | Sciences sup |
| Sous-collection : | Mathématiques |
| ISBN/ISSN/EAN : | 978-2-10-004446-7 |
| Format : | XIII-303 p. / 25 x 17 cm |
| Note générale : |
Bibliogr. Index |
| Langues: | Français |
| Index. décimale : | 378.51 |
| Mots-clés: | ; informatique ; mathématiques ; manuels d'enseignement supérieur |
| Résumé : |
Introduction à l'étude des structures mathématiques sous-jacentes à l'informatique : automates, langages algébriques, calculabilité effective, complexité des algorithmes, logique booléenne, logiques du premier ordre. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC015595 | INF06008 | Livre | Magasin des Ouvrages | Informatique | Exclu du prêt |
