Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Dernière révision Les deux révisions suivantes | ||
enseignement:logique:projet:2013 [2013/11/25 22:56] rthion [Exploration de l'espace de recherche] |
enseignement:logique:projet:2013 [2013/12/18 16:04] ecoquery [Mise à jour du projet] |
||
---|---|---|---|
Ligne 257: | Ligne 257: | ||
La fonction procèdera comme suit: | La fonction procèdera comme suit: | ||
- | - mettre la valeur de '' | + | |
- | - s'il reste des variables à affecter, appeler | + | - sinon: |
- | - sinon tester la valeur de la cnf | + | |
- | * si la formule | + | - Appeler |
- | | + | - si l' |
- | | + | |
- | | + | - Appeler |
+ | | ||
+ | | ||
<note warning> | <note warning> | ||
Ligne 304: | Ligne 307: | ||
La génération de cette spécification par récurrence pour //n//-bits peut être définie comme suit: | La génération de cette spécification par récurrence pour //n//-bits peut être définie comme suit: | ||
- | * Additionneur 1-bit: | + | * Additionneur 1-bit : on retourne le vecteur V=[B,A1] de taille //2// avec |
- | * A1 = S [ p1/t, q1 / u, ⊥ / w] | + | * A1 = S [ p1/t, q1 / u, ⊥ / w], on calcule cette formule en construisant la substitution |
- | * B = R [ p1/t, q1 / u, ⊥ / w] | + | * B = R [ p1/t, q1 / u, ⊥ / w], idem que précédemment, |
- | * Additionneur // | + | * Additionneur //n//-bits : soit V' |
- | * A//n// = S [ p//n// / t, q//n// / u, B' / w ], où | + | * A//1// à A//n-1// : on ne change rien : A'// |
- | * B = R [ p//n// / t, q//n// / u, B' / w ], où B' est le dernier bit de sortie d'un additionneur à // | + | * A//n// = S [ p//n// / t, q//n// / u, B' / w ], B' est le dernier bit de sortie d'un additionneur à //n-1//-bit que l'on va l' |
+ | * B = R [ p//n// / t, q//n// / u, B' / w ], où B' est le dernier bit de sortie d'un additionneur à // | ||
Ligne 409: | Ligne 413: | ||
* v4, 16/11/13: aide sur erreur '' | * v4, 16/11/13: aide sur erreur '' | ||
* v5, 24/11/13: modif partie sur additionneur | * v5, 24/11/13: modif partie sur additionneur | ||
+ | * v6, 18/12/13: mise à jour de la description de la fonction '' |