|
| Titre : |
Mathématiques discrètes:Automates,langages,logique et décidabilité:cours et exercices corrigés |
| Type de document : |
texte imprimé |
| Auteurs : |
MARCHAND,Pierre |
| Editeur : |
Paris : Dunod |
| Année de publication : |
2003 |
| Collection : |
Sciences sup |
| Importance : |
1 vol. (450 p.) |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-10-008157-8 |
| Note générale : |
Bibliogr.,index |
| Langues : |
Français (fre) |
| Catégories : |
Mathématique
|
| Mots-clés : |
Informatique : Mathématiques
Automates mathématiques, Théorie des |
| Index. décimale : |
511.1 Mathématiques finies (mathématiques discrètes) |
| 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 : |
Fs/1146,Fs/7361-7366 |
Mathématiques discrètes:Automates,langages,logique et décidabilité:cours et exercices corrigés [texte imprimé] / MARCHAND,Pierre . - Paris : Dunod, 2003 . - 1 vol. (450 p.) ; 24 cm. - ( Sciences sup) . ISBN : 978-2-10-008157-8 Bibliogr.,index Langues : Français ( fre)
| Catégories : |
Mathématique
|
| Mots-clés : |
Informatique : Mathématiques
Automates mathématiques, Théorie des |
| Index. décimale : |
511.1 Mathématiques finies (mathématiques discrètes) |
| 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 : |
Fs/1146,Fs/7361-7366 |
|  |
Ajouter le résultat dans votre panier Affiner la rechercheMathématiques discrètes:Automates,langages,logique et décidabilité:cours et exercices corrigés / MARCHAND,Pierre
