| Titre : | Mathématiques discrètes : cours et exercices corrigés |
| Auteurs : | Pierre Marchand |
| Type de document : | texte imprimé |
| Editeur : | Malakoff : Dunod, 2003 |
| Collection : | Sciences sup. Mathématiques |
| ISBN/ISSN/EAN : | 978-2-10-008157-8 |
| Format : | 1 vol. (XII-450 p.) / ill. en coul. / 24 cm |
| Note générale : | Bibliogr. Index |
| Langues originales: | |
| Index. décimale : | 511.1 (Mathématiques finies) |
| Catégories : | |
| Mots-clés: | Informatique : Mathématiques : Manuels d'enseignement supérieur |
| Résumé : |
L'Une des préoccupations principales de cet ouvrage est la mise en évidence de techniques de raisonnement, de description d'algorithmes, de méthodologie, propres aux mathématiques qui manipulent des objets finis, tout en décrivant des situations dont l'infini n'est pas absent. Le déroulement de l'exposé n'est pas toujours linéaire. Il est fait d'allers-retours entre la théorie et la pratique, d'acquisition des notions par des approches successives et d'utilisation systématique de renvois d'un chapitre à l'autre. Quelquefois, pour faciliter l'acquisition d'une notion un peu difficile, celle-ci est introduite par des exemples avant d'être exposée de manière classique. De très nombreux énoncés d'exercices sont disséminés dans le cours ; les corrigés sont regroupés en fin d'ouvrage. Le public visé par ce livre est d'abord celui des élèves ingénieurs en informatique. Il sera aussi utile aux étudiants en Master de cette discipline ou des disciplines voisines (automatique, productique, électronique,...), mais aussi aux professionnels du domaine qui voudraient compléter leur culture scientifique. |
| Note de contenu : |
Sommaire Principes de raisonnement, notions de théorie des langages Algèbre de Boole et applications directes Langages réguliers, automates et langages algébriques Logique des propositions Logique du premier ordre Compléments sur les langages algébriques, analyse syntaxique Quelques idées sur la décidabilité Enoncés de problèmes et compléments |
| Côte titre : | S8/66312 |
Exemplaires (1)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/66312 | Livre | Bibliothèque centrale | Disponible |
Accueil
