Monographie

Mathématiques de l'informatique : cours et exercices corrigés / Dehornoy, Patrick 700$f 1952-....

Type de contenu
  • Texte Image fixe
Type de médiation
  • sans médiation
Titre(s)
  • Mathématiques de l'informatique : cours et exercices corrigés / Dehornoy, Patrick 700$f 1952-....
Auteur(s)
Editeur, producteur
  • Paris : Dunod, 2000
  • (25-Baume-les-Dames; Impr. IME)
Description matérielle
  • XIII-303 p. ; 24 cm
Collection
  • Sciences sup
ISBN
  • 2-10-004446-X
Appartient à la collection
  • Sciences sup 1636-2217 2000
Classification décimale Dewey
  • 004.015 1 23
Note sur les bibliographies et les index
  • Bibliogr. p. 299-300, réf. bibliogr. en début de chapitre. Index
Résumé ou extrait
  • Cet ouvrage propose une 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, fonctions récursives, machines de Turing, arbres de dérivations et automates à pile.
Sujet(s)
Sujet - Nom commun
Lien copié.
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)