« Matrice » : différence entre les versions
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle ») |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== en construction == | == en construction == | ||
== Définition == | == Définition == | ||
En logique propositionnelle, formule ne comportant pas de quantification. | |||
== Français == | == Français == | ||
'''matrice''' | |||
== Anglais == | == Anglais == | ||
| Ligne 21 : | Ligne 17 : | ||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=matrice&codom2nd_wet=1#resultrecs Source : TERMIUM Plus ] | |||
[[Catégorie:Vocabulary]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:UTexas]] | |||
Version du 7 avril 2021 à 14:56
en construction
Définition
En logique propositionnelle, formule ne comportant pas de quantification.
Français
matrice
Anglais
matrix
the quantifier-free portion of a predicate calculus formula that has all the quantifiers at the front
Contributeurs: Claire Gorjux, Imane Meziani, wiki
