Titre :	Mathématiques discrètes : automates, langages, logique et décidabilité
Type de document :	texte imprimé
Auteurs :	Pierre Marchand, Auteur
Editeur :	Paris [France] : Dunod
Année de publication :	2003
Collection :	Sciences Sup
Sous-collection :	Cours et exercices corrigés
Importance :	XII-450 p.
Présentation :	ill., couv. ill. en coul.
Format :	24 cm.
ISBN/ISSN/EAN :	978-2-10-008157-8
Langues :	Français
Catégories :	MATH:510 Generalites,dictionnaire,seminaire,proceeding
Mots-clés :	Informatique  Mathématiques
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 :	La couv. porte en plus : "automates, langages, logique et décidabilité" et "master, écoles d'ingénieurs"

Mathématiques discrètes : automates, langages, logique et décidabilité [texte imprimé] / Pierre Marchand, Auteur . - Paris (France) : Dunod, 2003 . - XII-450 p. : ill., couv. ill. en coul. ; 24 cm.. - (Sciences Sup. Cours et exercices corrigés) .
ISBN : 978-2-10-008157-8
Langues : Français

Catégories :	MATH:510 Generalites,dictionnaire,seminaire,proceeding
Mots-clés :	Informatique  Mathématiques
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 :	La couv. porte en plus : "automates, langages, logique et décidabilité" et "master, écoles d'ingénieurs"