BIBLIOTHEQUE MISM
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Mathématiques,Automates, Langages, Logique et Décidabilité.'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Mathématiques Discrètes / Pierre Marchand
Titre : Mathématiques Discrètes : Automates, Langages, Logique et Décidabilité Cours et exercices corrigés Type de document : texte imprimé Auteurs : Pierre Marchand, Auteur Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences Sup Importance : 450P Format : 24X17 cm ISBN/ISSN/EAN : 978-2-10-008157-8 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Mathématiques,Automates, Langages, Logique et Décidabilité. Index. décimale : 510 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émentsMathématiques Discrètes : Automates, Langages, Logique et Décidabilité Cours et exercices corrigés [texte imprimé] / Pierre Marchand, Auteur . - Paris : Dunod, 2003 . - 450P ; 24X17 cm. - (Sciences Sup) .
ISBN : 978-2-10-008157-8
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Mathématiques,Automates, Langages, Logique et Décidabilité. Index. décimale : 510 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émentsRéservation
Réserver ce document
Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité 05/92981 L/510.677 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 05/92982 L/510.677 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 05/92983 L/510.677 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 05/92984 L/510.677 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 10/168327 L/510.677 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 10/168328 L/510.677 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 10/168329 L/510.677 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible