Langages formels, calculabilité et complexité : cours et exercices corrigés : licence 3 & master, mathématiques & informatique, agrégation mathématiques / Olivier Carton

Public ISBD Titre : Langages formels, calculabilité et complexité : cours et exercices corrigés : licence 3 & master, mathématiques & informatique, agrégation mathématiques Type de document : texte imprimé Auteurs : Olivier Carton, Auteur Editeur : Paris : Vuibert Année de publication : 2014 Importance : 1 vol. (255 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-311-01400-6 Langues : Français (fre) Mots-clés : Langages formels : Manuels d'enseignement supérieur Complexité de calcul (informatique) : Manuels d'enseignement supérieur 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. 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. 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 : Fs/22870-22871 Langages formels, calculabilité et complexité : cours et exercices corrigés : licence 3 & master, mathématiques & informatique, agrégation mathématiques [texte imprimé] / Olivier Carton, Auteur . - Paris : Vuibert, 2014 . - 1 vol. (255 p.) : ill. ; 24 cm. ISBN : 978-2-311-01400-6 Langues : Français (fre) Mots-clés : Langages formels : Manuels d'enseignement supérieur Complexité de calcul (informatique) : Manuels d'enseignement supérieur 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. 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. 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 : Fs/22870-22871

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/22870	Fs/22870-22871	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/22871	Fs/22870-22871	livre	Bibliothéque des sciences	Français	Disponible Disponible

Langages formels, calculabilité et complexité / Olivier Carton

Public ISBD Titre : Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques Type de document : texte imprimé Auteurs : Olivier Carton, Auteur Editeur : Paris : Vuibert Année de publication : 2008 Importance : 1 vol. (237 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-2077-4 Note générale : Bibliogr. p. 233-234. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Langages formels Complexité de calcul (informatique) Fonctions calculables Index. décimale : 511.3 Logique mathématique Résumé : Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. De la théorie des langages formels aux notions de calculabilité et de complexité, cet ouvrage facile d'accès constitue une introduction à l'informatique fondamentale dont il couvre les grands domaines. Les différentes notions sont mises en relation, les notions de base y sont illustrées de nombreux exemples et l'ensemble est enrichi de compléments qui permettront d'aller plus loin. Aucune connaissance préalable n'est requise pour utiliser ce manuel. Il s'adresse aux étudiants en Master d'informatique ou de mathématiques comme à tous ceux qui désirent acquérir de solides bases en informatique fondamentale. De leur côté, les agrégatifs verront qu'une grande part du programme de l'option informatique de l'agrégation de mathématiques est couverte. Ce livre est propice à de nombreux développements pour les leçons à l'oral. Des exercices corrigés permettent en outre une assimilation efficace. " La présentation est exceptionnellement claire et les preuves sont données avec grand soin. Recherche de qualité : les exercices sont accompagnés de solutions qui sont la seule garantie que l'exercice est faisable " Note de contenu : Table des matières LANGAGES FORMELS Langages rationnels Langages algébriques CALCULABILITE ET COMPLEXITE Calculabilité Complexité Côte titre : Fs/3891 Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques [texte imprimé] / Olivier Carton, Auteur . - Paris : Vuibert, 2008 . - 1 vol. (237 p.) : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-7117-2077-4 Bibliogr. p. 233-234. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Langages formels Complexité de calcul (informatique) Fonctions calculables Index. décimale : 511.3 Logique mathématique Résumé : Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. De la théorie des langages formels aux notions de calculabilité et de complexité, cet ouvrage facile d'accès constitue une introduction à l'informatique fondamentale dont il couvre les grands domaines. Les différentes notions sont mises en relation, les notions de base y sont illustrées de nombreux exemples et l'ensemble est enrichi de compléments qui permettront d'aller plus loin. Aucune connaissance préalable n'est requise pour utiliser ce manuel. Il s'adresse aux étudiants en Master d'informatique ou de mathématiques comme à tous ceux qui désirent acquérir de solides bases en informatique fondamentale. De leur côté, les agrégatifs verront qu'une grande part du programme de l'option informatique de l'agrégation de mathématiques est couverte. Ce livre est propice à de nombreux développements pour les leçons à l'oral. Des exercices corrigés permettent en outre une assimilation efficace. " La présentation est exceptionnellement claire et les preuves sont données avec grand soin. Recherche de qualité : les exercices sont accompagnés de solutions qui sont la seule garantie que l'exercice est faisable " Note de contenu : Table des matières LANGAGES FORMELS Langages rationnels Langages algébriques CALCULABILITE ET COMPLEXITE Calculabilité Complexité Côte titre : Fs/3891

Exemplaires (10)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/3894	Fs/3891-3894	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/3893	Fs/3891-3894	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/3892	Fs/3891-3894	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/3891	Fs/3891-3894	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6713	Fs/6713-6718	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6714	Fs/6713-6718	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6715	Fs/6713-6718	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6716	Fs/6713-6718	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6717	Fs/6713-6718	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/6718	Fs/6713-6718	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 2 / 2)