Programmes de colles

Semaine du lundi 29 septembre 2025

Informatique MPI

Le chapitre 3 a été continué ; les automates émondés, complet, déterministes, et l'algorithme de déterminisation ont été vus, ainsi que l'élimination des transitions $\varepsilon$.

Les résultats de stabilité par complémentaire, intersection, et union (avec construction de l'automate produit), n'ont été vu que plus récemment, de même que le théorème de Kleene et les deux algos sous-jacents (Berry-Sethi et élimination d'états), et le lemme de l'étoile n'a pas encore été abordé.

On pourra donner des exercices un peu plus poussés autour des automates et faire admettre le théorème de Kleene si nécessaire.

Physique MPI

Mécanique de 1ère année y compris mécanique du solide (TMC scalaire uniquement). PAS DE FORCE CENTRALE POUR LE MOMENT

Changements de référentiels : composition des vitesses et accélérations, dynamique et pseudo-forces. Energie potentielle axifuge. Référentiel géocentrique (marées) et ref terrestre (déviation vers l'Est)