Langages formels : calculabilité et complexité : cours et exercices corrigés

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 eff...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Carton, Olivier
מחברים אחרים: Perrin, Dominique, 1946- (Auteur de l'introduction, etc.)
פורמט: Livre papier
שפה:Français
יצא לאור: Paris : Vuibert DL 2014.
מהדורה:[2e édition].
נושאים:
הערה: Autre tirage : 2020
La couv. porte en plus : "cours complet, exercices d'application, tous les corrigés détaillés"
Autres localisations: Voir dans le Sudoc
LEADER 02164nam a22003137a 4500
001 481420
008 140703t20142014xxe ||| |||| 00| 0 fre d
009 PPN179350889
020 |a 9782311014006 (br.) :  |c 26 EUR 
024 |a 9782311014006 
041 0 |a fre 
082 |a 005.131  |z fre 
100 1 |a Carton, Olivier. 
245 1 0 |a Langages formels :  |b calculabilité et complexité : cours et exercices corrigés   |c Olivier Carton ; [préface, Dominique Perrin]. 
250 |a [2e édition]. 
260 |a Paris :  |b Vuibert,  |c DL 2014. 
300 |a 1 vol. (255 p.) :  |b ill., couv. ill. en coul. ;  |c 24 cm. 
500 |a Autre tirage : 2020 
500 |a La couv. porte en plus : "cours complet, exercices d'application, tous les corrigés détaillés" 
504 |a Bibliogr. p. [251]-252. Index 
505 0 |a I. Langages formels -- 1. Langages rationnels -- 2. Langages algébriques -- II. Calculabilité et complexité -- 3. Calculabilité -- 4. Complexité 
520 |a 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. 
521 |a Public destinataire : licence 3 & master mathématiques & informatique, agrégation mathématiques 
650 |a Langages formels 
650 |a Complexité de calcul (informatique) 
650 |a Fonctions calculables 
650 |a Manuels d'enseignement supérieur 
700 1 |a Perrin, Dominique,  |d 1946-  |4 aui 
997 |0 481420  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, 511.3 CAR  |z Orléans, BU Sciences, Technologies, STAPS, 511.3 CAR  |z Orléans, BU Sciences, Technologies, STAPS, 511.3 CAR  |z Orléans, BU Sciences, Technologies, STAPS, 511.3 CAR