Titre : |
Mathématiques de l'informatique : cours et exercices corrigés |
Type de document : |
texte imprimé |
Auteurs : |
P. Dehornoy |
Editeur : |
Paris : Dunod |
Année de publication : |
2000 |
Collection : |
Sciences sup |
Importance : |
XIII-303 p. |
Format : |
25 x 17 cm |
ISBN/ISSN/EAN : |
978-2-10-004446-7 |
Note générale : |
Bibliogr. Index |
Langues : |
Français (fre) |
Mots-clés : |
informatique mathématiques manuels d'enseignement supérieur |
Index. décimale : |
378.51510 |
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. |
Mathématiques de l'informatique : cours et exercices corrigés [texte imprimé] / P. Dehornoy . - Paris : Dunod, 2000 . - XIII-303 p. ; 25 x 17 cm. - ( Sciences sup) . ISBN : 978-2-10-004446-7 Bibliogr. Index Langues : Français ( fre) |