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 ==== | ||