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,1
  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 exemplaires4 scanné2, retouché3, mis en ligne5
  5. .

Ce travail de recomposition sera


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/m2 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.
TxT