Langages formels - Calculabilité et complexité - Licence 3 & Master - Agrégation par Olivier Carton

Livres connexes

• Introduction à la calculabilité - 3ème édition
• Les clés pour l'info: ENS et Agrégation (option D)
• Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
• Algèbre - Arithmétique pour l'informatique - Licence 2 & 3 Mathématiques & Informatique
• Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité
• Théorie des ensembles: Introduction à une théorie de l'infini et des grands cardinaux
• Mathématiques pour l'informatique - Licence 1 & 2 Informatique
• Construction des nombres
• Algorithmes - Notions de base
• Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

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.