Mathématiques discrètes

Automates, langages, logique et décidabilité - Cours et exercices corrigés - Master et écoles d'ingénieur

Pierre Marchand - Collection Sciences sup

450 pages, parution le 09/12/2003

Ajouter à une liste

Indisponible

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.

L'auteur - Pierre Marchand

est professeur à l'ESIAL, Ecole Supérieure d'Informatique et Applications de Lorraine (Université Henri Poincaré-Nancy I).

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

Voir tout

Replier

Avis des lecteurs

3 / 5

Note basée sur 1 commentaire (voir tous les commentaires)

Ajouter votre commentaire

Commentaire de DarK Sidious
publié le 25/11/2005 Acheteur vérifié

Un peu compliqué

J'ai trouvé ce livre un peu compliqué. Les thèmes abordés ne sont pas suffisament explicites à mon goût, mais cela reste quand même un bon bouquin pour accompagner un cours de mathématiques discrètes. J'ai acheté ce livre lorsque j'étais en licence d'informatique à la fac, et il m'a aidé, mais il ne m'a pas été indispensable pour autant.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Dunod
Auteur(s)	Pierre Marchand
Collection	Sciences sup
Parution	09/12/2003
Nb. de pages	450
Format	17 x 24
Couverture	Broché
Poids	770g
Intérieur	Quadri
EAN13	9782100081578
ISBN13	978-2-10-008157-8