Séances de cours associées à Élaboration d'un modèle : exemple simple

Abstraction de données : modules et spécifications dans Coq

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.

Spécification du modèle dans les séries chronologiques

Couvre l'identification et la spécification du modèle dans l'analyse des séries chronologiques, y compris les modèles d'EI et l'estimation des moindres carrés.

Le paradoxe du bus rouge bleu bourgeon

Discute du paradoxe du bus rouge bleu bourgeon dans la modélisation des choix de mode et de ses implications politiques.

Séries chronologiques

Explore les séries chronologiques, couvrant les spécifications du modèle, les diagnostics et les méthodes de prévision.