Cette UE présente les systèmes dynamiques booléens finis, qui sont des outils mathématiques de plus en plus utilisés dans le domaine de la modélisation des réseaux de régulation biologique.
Des pré-requis en logique, théorie des ensembles, théorie des graphes et systèmes dynamiques booléens finis sont fournis, ainsi que les définitions des différentes dynamiques associées possibles, des graphes régulateurs correspondants et des formules logiques. Le rôle des circuits de rétroaction dans la dynamique est particulièrement mis en avant. Des applications de ces outils pour la modélisation de réseaux biologiques sont présentées, principalement dans le contexte des maladies. Les cours pratiques (TP) sont réalisés à l'aide de GINsim, un logiciel libre dédié à la modélisation logique des réseaux de régulation.