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.
Encadrant
Alan Turing
Nombre d'étudiants
3
Attribué
Oui
Obsolète
Non
Etudiants affectés
Kurt Gödel, Ada Lovelace
Tags