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 | ||
enseignement:logique:projet:2013 [2013/12/16 11:10] rthion [Formules de spécification] |
enseignement:logique:projet:2013 [2013/12/19 12:53] (Version actuelle) ecoquery [Organisation du projet] |
||
---|---|---|---|
Ligne 55: | Ligne 55: | ||
<note important> | <note important> | ||
Le projet est à réaliser seul ou en binôme. Les différentes étapes permettent aux étudiants de situer leur avancement. //Avancer régulièrement et progresser hors des séances de TP afin que ces dernières vous soient le plus profitables possibles// | Le projet est à réaliser seul ou en binôme. Les différentes étapes permettent aux étudiants de situer leur avancement. //Avancer régulièrement et progresser hors des séances de TP afin que ces dernières vous soient le plus profitables possibles// | ||
- | Le projet est à rendre après les vacances de Noël sous la forme d'une archive comme celle qui vous est fournie. //Les modalités exactes du rendu seront données en temps utile//. | ||
</ | </ | ||
Ligne 257: | Ligne 256: | ||
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 410: | Ligne 412: | ||
* 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 '' |