Langages formels / Olivier Carton (2014) / 978-2-311-01400-6

Public ISBD Titre : Langages formels : calculabilité et complexité :cours et exercices corrigés: LICENCE 3 & MASTER - MATHÉMATIQUES & INFORMATIQUE - AGREGATION MATHEMATIQUES. Type de document : texte imprimé Auteurs : Olivier Carton Editeur : Paris : Vuibert Année de publication : 2014 Importance : 1 vol. (255 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-311-01400-6 Note générale : Bibliogr. p. 251-252. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : langages formels  calculabilité  complexité  théorie de la computation  logique mathématique  automates  algorithmes  exercices corrigés  informatique théorique  Vuibert Index. décimale : 510.22 Résumé : Ce manuel est une introduction à l'informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité. Le cours est complété par de nombreux exercices dont les corrigés, très détaillés, assurent une mise en application efficace des différentes notions. Il s'adresse aux étudiants en Licence 3 et en Master de Mathématiques ou d'informatique ainsi qu'aux candidats à l'Agrégation de mathématiques, option informatique, dont il couvre l'essentiel du programme. Note de contenu : Sommaire : I. Langages formels ; 1. Langages rationnels ; 2. Langages algébriques ; II. Calculabilité et complexité ; 3. Calculabilité ; 4. Complexité Au fil de chaque chapitre, on trouvera des exercices suivis de leurs corrigés. Langages formels : calculabilité et complexité :cours et exercices corrigés: LICENCE 3 & MASTER - MATHÉMATIQUES & INFORMATIQUE - AGREGATION MATHEMATIQUES. [texte imprimé] / Olivier Carton . - Paris : Vuibert, 2014 . - 1 vol. (255 p.) : couv. ill. en coul. ; 24 cm. ISBN : 978-2-311-01400-6 Bibliogr. p. 251-252. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : langages formels  calculabilité  complexité  théorie de la computation  logique mathématique  automates  algorithmes  exercices corrigés  informatique théorique  Vuibert Index. décimale : 510.22 Résumé : Ce manuel est une introduction à l'informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité. Le cours est complété par de nombreux exercices dont les corrigés, très détaillés, assurent une mise en application efficace des différentes notions. Il s'adresse aux étudiants en Licence 3 et en Master de Mathématiques ou d'informatique ainsi qu'aux candidats à l'Agrégation de mathématiques, option informatique, dont il couvre l'essentiel du programme. Note de contenu : Sommaire : I. Langages formels ; 1. Langages rationnels ; 2. Langages algébriques ; II. Calculabilité et complexité ; 3. Calculabilité ; 4. Complexité Au fil de chaque chapitre, on trouvera des exercices suivis de leurs corrigés.

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 1 / 1) Par page : 25 50 100 200