L'informatique du temps et des événements : [leçon inaugurale prononcée le 28 mars 2013] Gérard Berry,...

Résumé

Gérer le temps et les événements est central dans des domaines variés de l'informatique, des circuits et logiciels embarqués dans des objets de toutes sortes à la création musicale, en passant par la simulation de phénomènes physiques. Ce sujet est pourtant peu traité par l'informatique classique. Cette leçon présente des modélisations du temps et des événements associées à de nouveaux langages de programmation. Elle traite des notions d'épaisseur de l'instant, de temps hiérarchique et multiforme créé par la répétition d'événements, et du rapport temps réel/temps continu.

Auteur :
Berry, Gérard (1948-....)
Éditeur :
[Paris], Collège de France,
Collection :
Leçons inaugurales du Collège de France
Genre :
Conférence
Langue :
français.
Description du livre original :
1 vol. (86 p.) ; 19 cm
ISBN :
9782213678726.
Domaine public :
Non
Téléchargement du livre au format PDF pour « L'informatique du temps et des événements »

Table des matières

  • Les Leçons inaugurales du Collège de France
  • Leçon inaugurale prononcée le jeudi 28 mars 2013 par Gérard Berry, professeur
    • Introduction
      • Informatique et numérique : quel rapport ?
      • L’enseignement de l’informatique
      • L’approche générale et les sujets du cours
    • Le temps et les événements en informatique
    • Parler du temps, mais de manière formelle
      • La mesure du temps
      • Le parler du temps
      • La flèche mathématique du temps
      • La logique temporelle linéaire
      • Le cône du temps et la logique temporelle arborescente
      • Le double cône du temps
    • Élargir la notion de temps
      • Temps propre, temps coordonné
      • Horloges multiples et irrégulières
      • Temps logique, temps physique
      • Temps multiforme
      • Temps continu, temps discret
      • L’épaisseur de l’instant
      • La question du déterminisme
      • La causalité est-elle transitive ?
    • Des circuits aux systèmes sur puces
    • Langages synchrones et temps multiforme
      • Le logiciel synchrone cyclique
      • Signaux et programmes en Esterel
      • Sémantiques formelles et compilation
      • Évolution des langages synchrones
      • Vers de nouvelles applications
    • Simulation temps continu/temps discret
      • La simulation classique
      • Les problèmes aux frontières
    • La preuve de programmes
    • Conclusion

Commentaires

Laisser un commentaire sur ce livre