| Titre : | Langages formels : calculabilité et complexité : cours et exercices corrigés : licence 3 et master mathématiques et informatique agrégation mathématiques |
| Auteurs : | Olivier Carton |
| Type de document : | texte imprimé |
| Editeur : | Paris : Vuibert, 2014 |
| ISBN/ISSN/EAN : | 978-2-311-01400-6 |
| Format : | 1 vol. (255 p.) / ill., couv. ill. en coul. / 24 cm |
| Note générale : | Bibliogr. Index |
| Langues originales: | |
| Index. décimale : | 511.3 (Logique mathématique ) |
| Catégories : | |
| Mots-clés: | Langages formels Fonctions calculables Complexité de calcul (informatique) |
| 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é |
| Côte titre : |
S8/81959-81963 |
Exemplaires (5)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/81959 | Livre | Bibliothèque centrale | Disponible |
| S8/81960 | Livre | Bibliothèque centrale | Disponible |
| S8/81961 | Livre | Bibliothèque centrale | Disponible |
| S8/81962 | Livre | Bibliothèque centrale | Disponible |
| S8/81963 | Livre | Bibliothèque centrale | Disponible |
Accueil
