Bibliothèque de Faculté des mathématiques et de l'informatique
Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
| Titre : |
Langages formels : caculabilité et complexité: cours et exercices corrigés |
| Type de document : |
texte imprimé |
| Auteurs : |
Olivier Carton, Auteur |
| Editeur : |
vuibert |
| Année de publication : |
2014 |
| Importance : |
255 p. |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-311-01400-6 |
| Note générale : |
Bibliogr. p. 251-252. Index. |
| Langues : |
Français (fre) |
| Index. décimale : |
08-01 Informatique générale |
| 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. |
Langages formels : caculabilité et complexité: cours et exercices corrigés [texte imprimé] / Olivier Carton, Auteur . - vuibert, 2014 . - 255 p. : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-311-01400-6 Bibliogr. p. 251-252. Index. Langues : Français ( fre)
| Index. décimale : |
08-01 Informatique générale |
| 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. |
|  |
Réservation
Réserver ce document
Exemplaires (2)
|
| 1139 | 08-01-2026 | Livre | Bibliothèque de faculté d'informatique et mathématique | Informatique | Exclu du prêt |
| 1140 | 08-01-2026 | Livre | Bibliothèque de faculté d'informatique et mathématique | Informatique | Disponible |
| Titre : |
Problèmes corrigés de mathématiques posés aux concours de Mines-Ponts : tome 6 |
| Type de document : |
texte imprimé |
| Auteurs : |
Olivier Carton, Auteur ; Marc Zeitoun, Auteur |
| Editeur : |
Paris : Ellipses |
| Année de publication : |
1998 |
| Autre Editeur : |
86-Ligugé : Impr. Aubin |
| Collection : |
Les épreuves corrigées des grandes écoles scientifiques |
| Importance : |
272 p. |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
25 cm. |
| ISBN/ISSN/EAN : |
978-2-7298-5748-6 |
| Langues : |
Français (fre) |
| Index. décimale : |
04-01 Mathématiques générales |
| Résumé : |
Couverture de G. Matthieu. Les épreuves corrigées des grandes écoles scientifiques. Posés aux Concours de Mines / Ponts. |
| |
Réservation
Réserver ce document
Exemplaires (2)
|
| 182870 | 04-01-1067 | Livre | Bibliothèque de faculté d'informatique et mathématique | Mathématiques | Disponible |
| 182871 | 04-01-1067 | Livre | Bibliothèque de faculté d'informatique et mathématique | Mathématiques | Disponible |
Accueil
Sélection de la langue
Adresse
Faculté des Mathématiques et de l'Informatique
Bibliothèque de Faculté
31000 Oran
Algérie
(213)041560000
Université des Sciences et de la Technologie Mohamed Boudiaf d'Oran
