Différences
Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
|
nomosdk:journalisation [2014/03/16 18:52] admin [La base de données] |
nomosdk:journalisation [2014/03/16 18:53] (Version actuelle) admin [La base de données] |
||
|---|---|---|---|
| Ligne 21: | Ligne 21: | ||
| Une journalisation partielle correspond uniquement à la table **log**. Une journalisation complète rajoute à cette dernière les tables suivantes : **input**, **output**, **premise**, **conclusion**. | Une journalisation partielle correspond uniquement à la table **log**. Une journalisation complète rajoute à cette dernière les tables suivantes : **input**, **output**, **premise**, **conclusion**. | ||
| - | À noter, le champ //specificity_log// correspond à deux fois le logarithme de base dix la spécificité de la prémisse sans la racine de deux Pi. | + | À noter, le champ //specificity_log// correspond à deux fois le logarithme de base dix de la spécificité de la prémisse sans la racine de deux Pi. |
| ==== L'interface et la visualisation ==== | ==== L'interface et la visualisation ==== | ||