OFFRE LISEUSES
Une liseuse achetée = une housse offerte* jusqu'au 21 juin
Mathématiques de l'informatique. Cours et exercices corrigés
Par :Formats :
Expédié sous 21 jours
Cet article sera commandé chez un fournisseur et vous sera envoyé 21 jours après la date de votre commande.
- Nombre de pages303
- PrésentationBroché
- Poids0.54 kg
- Dimensions17,0 cm × 24,0 cm × 1,8 cm
- ISBN2-10-004446-X
- EAN9782100044467
- Date de parution08/02/2000
- CollectionSciences Sup
- ÉditeurDunod
Résumé
Cet ouvrage, destiné en priorité aux étudiants de second cycle de mathématiques, intéressera également un public plus large : enseignants de mathématiques pratiquant l'informatique et désireux d'en approfondir les bases théoriques, étudiants ou ingénieurs en informatique intéressés par les aspects mathématiques de leur discipline.
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é.
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é.