University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 511.1
Ajouter le résultat dans votre panier Affiner la recherche
Mathématiques discrètes:Automates,langages,logique et décidabilité:cours et exercices corrigés / MARCHAND,Pierre
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 desIndex. 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émentsCô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 desIndex. 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émentsCôte titre : Fs/1146,Fs/7361-7366 Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité Fs/1146 Fs/1146 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/7361 Fs/7361-7366 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7362 Fs/7361-7366 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7363 Fs/7361-7366 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7364 Fs/7361-7366 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7365 Fs/7361-7366 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7366 Fs/7361-7366 livre Bibliothéque des sciences Français Disponible
Disponible