A partir de cette page vous pouvez :
author
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Jacques Sakarovitch |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesElèments de théorie des automates / Jacques Sakarovitch (2003)
Titre : Elèments de théorie des automates Type de document : texte imprime Auteurs : Jacques Sakarovitch Editeur : Paris : Vuibert Informatique Année de publication : 2003 Importance : 816 p. Format : 25 cm ISBN/ISSN/EAN : 978-2-7117-4807-5 Note générale : Bibliogr. Index Langues : Français Mots-clés : Automates Informatique Machines Enumération Transducterurs Algébre Index. décimale : 003.6 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 Note de contenu :
Voir les offres de ces vendeurs.
2 d'occasion à partir de EUR 70,00
‹ Retourner à l'aperçu du produit
Table des matières
LES TROIS STADES DE LA RATIONALITE
La machine la plus simple
Puissance de l'algèbre
Pertinence de l'énumération
LA RATIONALITE DANS LES RELATIONS
Richesse des transducteurs
Simplicité des transducteurs fonctionnelsPermalink : ./index.php?lvl=notice_display&id=11990 Elèments de théorie des automates [texte imprime] / Jacques Sakarovitch . - Paris : Vuibert Informatique, 2003 . - 816 p. ; 25 cm.
ISBN : 978-2-7117-4807-5
Bibliogr. Index
Langues : Français
Mots-clés : Automates Informatique Machines Enumération Transducterurs Algébre Index. décimale : 003.6 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 Note de contenu :
Voir les offres de ces vendeurs.
2 d'occasion à partir de EUR 70,00
‹ Retourner à l'aperçu du produit
Table des matières
LES TROIS STADES DE LA RATIONALITE
La machine la plus simple
Puissance de l'algèbre
Pertinence de l'énumération
LA RATIONALITE DANS LES RELATIONS
Richesse des transducteurs
Simplicité des transducteurs fonctionnelsPermalink : ./index.php?lvl=notice_display&id=11990 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA296/1 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA296/2 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/3 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/4 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/5 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/6 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/7 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/8 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/9 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/10 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/11 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Automatismes industriels Bleux, J.M. Analyse Monier, Jean-Marie Le Grafcet Moreno, Simon Génie électrique Boye, Pierre Aucun avis, veuillez vous identifier pour ajouter le vôtre !
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 imprime Auteurs : Patrick Bellot ; Jacques Sakarovitch Editeur : Paris : Ellipses Année de publication : impr. 1998, cop. 1998 Importance : 223 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-6894-9 Note générale : Index Langues : Français Mots-clés : Proposition (logique) Machines séquentielles,Théorie des Langages Automates finis 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-Ponts (en 97 et 98) ainsi que leurs corrigés.Permalink : ./index.php?lvl=notice_display&id=11623 Logique et automates : option informatique en MPSI, MP et MP*, : premier et deuxième cycles universitaires : écoles d'ingénieurs [texte imprime] / Patrick Bellot ; Jacques Sakarovitch . - Paris : Ellipses, impr. 1998, cop. 1998 . - 223 p. : ill. ; 26 cm.
ISBN : 978-2-7298-6894-9
Index
Langues : Français
Mots-clés : Proposition (logique) Machines séquentielles,Théorie des Langages Automates finis 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-Ponts (en 97 et 98) ainsi que leurs corrigés.Permalink : ./index.php?lvl=notice_display&id=11623 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA214/1 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA214/2 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/3 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/4 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/5 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/6 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/7 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/8 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/9 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/10 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/11 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/12 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/13 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/14 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/15 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/16 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/17 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/18 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/19 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/20 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/21 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/22 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA214/23 IA214 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
