tcrxt_mmr

Les instructions sont à peu près les suivantes :

1. le seul matériel sera les deux derniers brouillons d'impression du mémoire de Master 2, de la colle, des ciseaux et un couteau à lame retractable,¹
2. chaque feuille, format A4, tiré dudit mémoire,
3. couvrira un passage précis dudit mémoire,
4. chaque résultat, imprimé en deux exemplaires⁴ scanné², retouché³, mis en ligne⁵
5. .

Ce travail de recomposition sera

• dans le cas de la numérisation mis en page avec LateX, puis mis en ligne,
• dans l'autre relié et constituant une œuvre unique.

Page de garde, introduction & sommaire	Circuits booléens & MLLu
Réseaux booléens	Circuits de preuve
Contractibilité parallèle	Mesures de la complexité des circuits de preuve
Des circuits de preuve vers les circuits booléens

1. Bave, stylo, cheveux & briquet sont prohibés.
2. Sous root, sur un HP PSC 1410 & avec xsane.
3. Uniquement à l'aide de la sélection, de copier, coller & couper, avec Gimp. Si j'en ai envie.
4. Sur du papier Rey INTERNATIONAL PAPER A4 80 g/m² avec la même imprimante que le scanner ci-dessus. L'un des exemplaire est conservé, l'autre posté.
5. Mais aussi ci-dessous, pour débuter.