Les propositions de projets de M1. Vous devrez faire votre choix (en contactant directement les encadrants) pour le 26 Janvier.
Attention les projets s'affichent sur plusieurs pages!
Il s'agit de construire une machine de Turing avec des allumettes. La validation du projet se fera en écrivant une preuve automatique de P = NP, ou pas.
