MATHEMATIQUES DE L'INFORMATIQUE COURS ET EXCERCICES CORRIGES

DEHORNOY

Centré sur les notions de calcul et de définition,
ce cours est une introduction à l'étude des
structures mathématiques sous-jacentes à
l'informatique. L'approche proposée est
résolument mathématique et souligne une orientation
générale tournée vers la théorie. En
effet, les ouvrages de mathématiques pour
l'informatique s'adressent en général à des futurs
informaticiens. Celui-ci est conçu pour les
mathématiciens.

Sommaire :
Mots, langages et arbres. Monoïdes et groupes
libres. Automates. Langages automatiques.
Grammaires formelles. Arbres de dérivation et
automates à pile. Machines de Turing.
Fonctions récursives. Complexité algorithmique.
Logique booléenne. Logique du premier
ordre.

dunod - page 1
dunod - page 2
dunod - page 3
dunod - page 4
dunod - page 5
dunod - page 6
dunod - page 7
dunod - page 8
dunod - page 9
dunod - page 10
dunod - page 11
dunod - page 12
Librairie spécialisée en ouvrages scientifiques et techniques