« Matrice » : différence entre les versions


m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle‏‎ »)
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(8 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== 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 ==
'''matrix'''
'''matrix'''


the quantifier-free portion of a predicate calculus formula that has all the quantifiers at the front


==Sources==
[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]


<small>
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=matrice&codom2nd_wet=1#resultrecs  Source : TERMIUM Plus ]


[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 28 janvier 2024 à 10:07

Définition

En logique propositionnelle, formule ne comportant pas de quantification.

Français

matrice

Anglais

matrix


Sources

Source : UTexas Artificial Intelligence Vocabulary

Source : TERMIUM Plus

Contributeurs: Claire Gorjux, Imane Meziani, wiki