Langages formels : calculabilité et complexité : cours et exercices corrigés / Olivier Carton ; [préface, Dominique Perrin]

Date :

Type : Livre / Book

Langue / Language : français / French

ISBN : 978-2-311-01400-6

EAN : 9782311014006

Langages formels

Complexité de calcul (informatique)

Fonctions calculables

Classification Dewey : 005.131

Perrin, Dominique (1946-....) (Préfacier, etc. / author of introd)

Résumé / Abstract : Ce manuel est une introduction à l'informatique fondamentale présentant tous les grands domaines de la thorie des langages formels aux notions de calculabilité et de complexité. Le cours est complet par de nombreux exercices dont les corrigs, 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 Mathmatiques ou d'informatique ainsi qu'aux candidats à l'Agrégation de mathématiques, option informatique, dont il couvre l'essentiel du programme.