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

Fiche technique

Format : Broché
Nb de pages : 255 pages
Poids : 450 g
Dimensions : 17cm X 24cm
ISBN : 978-2-311-01400-6
EAN : 9782311014006

Langages formels, calculabilité et complexité

cours et exercices corrigés
licence 3 & master, mathématiques & informatique, agrégation mathématiques

De Olivier Carton,

Chez Vuibert

Collection(s) | Vuibert supérieur

Paru le 14/06/2014

Broché 255 pages

préface Dominique Perrin

Licence

Quatrième de couverture

Langages formels

Calculabilité et complexité

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.

Biographie

Professeur d'informatique à l'université Paris Diderot (Paris 7), Olivier Carton enseigne à tous les niveaux, depuis le L1 jusqu'au M2, les différentes disciplines de l'informatique : programmation, algorithmique... Spécialiste des automates et des langages formels, il a également enseigné durant plusieurs années à l'École normale supérieure de Paris (ENS Ulm).