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
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |