MATHEMATIQUES DE L'INFORMATIQUE - COURS ET EXERCICES CORRIGES
DEHORNOY PATRICK
Code EAN : 9782100044467
Editeur : DUNOD
Date de parution : 01/01/2000
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. Les principaux développements concernent les automates, les langages algébriques, la calculabilité effective et la complexité des algorithmes, la logique booléenne et les logiques du premier ordre, dont les définitions et propriétés élémentaires usuelles sont exposées.
L'approche proposée est résolument mathématique et souligne une orientation générale tournée vers la théorie. Une attention spéciale a été portée à la rigueur et à la précision de la rédaction, en particulier dans les démonstrations.
Cent cinquante exercices d'application et de complément sont proposés, dont plus de la moitié avec un corrigé rédigé.
Commentaires (0)