ARITÉ (ONTOLOGIE)
  
FICHIER PDF
FICHIER WMV(VIDEO)
Date/Heure :
Sigle : Code :
Nom Long :
Nom (Anglais) :
Résumé (Anglais) :
Résumé :
Pour définir un prédicat on peut utiliser une formule ouverte, c'est-à-dire comportant une ou plusieurs variables libres, le nombre de variables libres est l'arité du prédicat, le prédicat ne dépend pas du nom de ces variables. Par exemple, le prédicat « x < 4 » est un prédicat d'arité 1 (qui est identique au prédicat y < 4), le prédicat « x < y et y < z » un prédicat d'arité 3… L'ordre des variables n'est pas indifférent.
Site Internet d'origine:
Ouvrir
Pays Région Ville
Site Web Exterieur :
Ouvrir
Email :
Ecrire
Vidéo :
modification :
0000-00-00 00:00:00
création :
2015-07-20 00:21:42
CHIFFRES ASSOCIE(S) :
Pas de données chiffrées pour cet élément
Objets associés à ARITÉ :
abonné :
articles
(Sans Date Passif)
PRÉDICAT
 
articles
(Sans Date Actif)
ONTOLOGIE