« 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 ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas]]


== Définition ==
== Définition ==
'''matrice'''
En logique propositionnelle, formule ne comportant pas de quantification.


== Français ==
== Français ==
xxxxxxx
'''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 à 13: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


Source : UTexas Artificial Intelligence Vocabulary

Source : TERMIUM Plus

Contributeurs: Claire Gorjux, Imane Meziani, wiki