Langages formels - Calculabilité et complexité - Licence 3 & Master - Agrégation - Guidaren.gq

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

Titre de livre: Langages formels - Calculabilité et complexité - Licence 3 & Master - Agrégation

Éditeur: VUIBERT

ISBN: 2311014005

Auteur: Olivier Carton

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

  • 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