| Titre : |
Mathématiques discrètes : cours et exercices corrigés |
| Type de document : |
texte imprimé |
| Auteurs : |
Pierre Marchand (1945-....), Auteur |
| Editeur : |
DUNOD |
| Année de publication : |
2003 |
| Collection : |
Sciences sup, ISSN 1636-2217 |
| Importance : |
XII-450 p. |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-10-008157-8 |
| Note générale : |
La couv. porte en plus : "automates, langages, logique et décidabilité" et "master, écoles d'ingénieurs"
Bibliogr. p. 441-443. Index |
| Langues : |
Français (fre) |
| Index. décimale : |
511.1 |
| 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 : |
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 |
Mathématiques discrètes : cours et exercices corrigés [texte imprimé] / Pierre Marchand (1945-....), Auteur . - DUNOD, 2003 . - XII-450 p. : ill., couv. ill. en coul. ; 24 cm. - ( Sciences sup, ISSN 1636-2217) . ISBN : 978-2-10-008157-8 La couv. porte en plus : "automates, langages, logique et décidabilité" et "master, écoles d'ingénieurs"
Bibliogr. p. 441-443. Index Langues : Français ( fre)
| Index. décimale : |
511.1 |
| 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 : |
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 |
|  |
511 
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externesMathématiques discrètes (2003)
