Monographie

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

  • Texte
  • Mathématiques de l'informatique : cours et exercices corrigés / Dehornoy, Patrick 700$f 1952-....
  • Paris : Dunod, 2001
  • XIII-303 p.; 24 cm
  • Sciences Sup Mathématiques
  • 2-10-004446-X
  • Sciences Sup
  • Bibliogr. p. 299-300, réf. bibliogr. en début de chapitre. Index
  • Manuel
  • 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.
  • Lien copié.