Éléments de théorie des automates / Jacques Sakarovitch

Public ISBD Titre : Éléments de théorie des automates Type de document : texte imprimé Auteurs : Jacques Sakarovitch, Auteur Editeur : Paris : Vuibert informatique Année de publication : 2003 Collection : Les classiques de l'informatique Importance : 816 p Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-7117-4807-5 Langues : Français Mots-clés : Machines séquentielles  Algorithmes  Théorie des  Langages formels Résumé : La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage. Éléments de théorie des automates [texte imprimé] / Jacques Sakarovitch, Auteur . - Paris : Vuibert informatique, 2003 . - 816 p : ill., couv. ill. en coul. ; 25 cm. - (Les classiques de l'informatique) . ISBN : 978-2-7117-4807-5 Langues : Français Mots-clés : Machines séquentielles  Algorithmes  Théorie des  Langages formels Résumé : La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
004.1.12-1	004.1.12-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
005.1-65-1	005.1-65-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.1-65-2	005.1-65-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

Logique et automates / Patrick Bellot

Public ISBD Titre : Logique et automates : option informatique en MPSI, MP et MP*, premier et deuxième cycles universitaires, écoles d'ingénieurs Type de document : texte imprimé Auteurs : Patrick Bellot, Auteur ; Jacques Sakarovitch, Auteur Editeur : Paris [France] : Ellipses Année de publication : 1998 Collection : Manuel d'informatique Importance : 223 p. Présentation : ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-6894-9 Langues : Français Mots-clés : Proposition ( logique)  Machines séquentielles Résumé : Ce manuel d'Informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires. Il présente les notions de base indispensables aux étudiants en Informatique. Cet ouvrage accompagnera l'étudiant dans son travail d'appropriation des connaissances : de très nombreux exercices dont la plupart sont corrigés illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition. Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Pont (en 97 et 98) ainsi que leurs corrigés. Logique et automates : option informatique en MPSI, MP et MP*, premier et deuxième cycles universitaires, écoles d'ingénieurs [texte imprimé] / Patrick Bellot, Auteur ; Jacques Sakarovitch, Auteur . - Paris (France) : Ellipses, 1998 . - 223 p. : ill. ; 26 cm.. - (Manuel d'informatique) . ISBN : 978-2-7298-6894-9 Langues : Français Mots-clés : Proposition ( logique)  Machines séquentielles Résumé : Ce manuel d'Informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires. Il présente les notions de base indispensables aux étudiants en Informatique. Cet ouvrage accompagnera l'étudiant dans son travail d'appropriation des connaissances : de très nombreux exercices dont la plupart sont corrigés illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition. Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Pont (en 97 et 98) ainsi que leurs corrigés.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 09-12-01	INF 09-12-01	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
629.8-66-1	629.8-66-1	Livre externe	BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE	Automatisme (TEC)	Disponible
629.8-66-2	629.8-66-2	Livre externe	BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE	Automatisme (TEC)	Disponible

---

page 1/1