SOLDES
Jusqu'à -70% sur une sélection d'articles*
Mathématiques de l'informatique. Cours et exercices corrigés
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 28 juilletCet article sera commandé chez un fournisseur et vous sera envoyé 21 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Livraison à domicile ou en point Mondial Relay estimée à partir du 28 juillet
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- 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é.