Table des matières

• Les Leçons inauguralesdans la collection Collège de France / Fayard
• Les Leçons inaugurales du Collège de France
• Leçon inaugurale prononcée le jeudi 19 novembre 2009 par Gérard Berry, professeur
  LEÇON INAUGURALE No 208
  • 1. INTRODUCTION
    • 1.1. La nécessité des modèles
    • 1.2. Un exemple, deux modèles
    • 1.3. La variété des modèles de calcul
  • 2. LES CONCEPTS FONDAMENTAUX
    • 2.1. Syntaxe et sémantique
    • 2.2. Raisonner et calculer sur les programmes
    • 2.3. La compositionnalité
    • 2.4. Le déterminisme
    • 2.5. La causalité
  • 3. LES MODÈLES SÉQUENTIELS
    • 3.1. La théorie de la calculabilité
      • 3.1.1. La machine de Turing
      • 3.1.2. Systèmes de réécriture
      • 3.1.3. Définitions algébriques de fonctions entières
      • 3.1.4. Les grands résultats
    • 3.2. Le λ-calcul
      • 3.2.1. Le λ-calcul pur
      • 3.2.2. La théorie syntaxique
      • 3.2.3. Calculabilité et indécidabilité
      • 3.2.4. Typage et terminaison
      • 3.2.5. Les théories sémantiques
      • 3.2.6. La séquentialité du λ-calcul
      • 3.2.7. λ-calcul et logique
      • 3.2.8. Le λ-calcul en pratique
    • 3.3. Les systèmes d’états finis
  • 4. LES MODÈLES DU PARALLÉLISME
    • 4.1. Notions générales
    • 4.2. Synchronisme et asynchronisme
    • 4.3. Le parallélisme asynchrone
      • 4.3.1. La mémoire partagée
      • 4.3.2. La communication par files d’attente
      • 4.3.3. J’ai rendez-vous avec vous
      • 4.3.4. Réseaux graphiques
      • 4.3.5. Calculs de processus
      • 4.3.6. Les machines chimiques
      • 4.3.7. Où vont les modèles asynchrones ?
    • 4.4. Les modèles synchrones et vibratoires
      • 4.4.1. Causalité synchrone et stabilisation vibratoire
  • 5. LES NOUVELLES FRONTIÈRES DU CALCUL
  • 6. LA COOPÉRATION ENTRE MODÈLES DE CALCUL
  • 7. CONCLUSION
• Références bibliographiques