« Matrice » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(7 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== en construction ==
== Définition ==
== Définition ==
En logique propositionnelle, formule ne comportant pas de quantification.  
En logique propositionnelle, formule ne comportant pas de quantification.  
Ligne 10 : Ligne 7 :
== Anglais ==
== Anglais ==
'''matrix'''
'''matrix'''
the quantifier-free portion of a predicate calculus formula that has all the quantifiers at the front




<small>
==Sources==


[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]
Ligne 20 : Ligne 15 :
[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.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=matrice&codom2nd_wet=1#resultrecs  Source : TERMIUM Plus ]  


 
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas]]

Dernière version du 28 janvier 2024 à 11: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

Récupérée de « https://datafranca.org/wiki/index.php?title=Matrice&oldid=90328 »


Contributeurs: Claire Gorjux, Imane Meziani, wiki