Fonction de Skolem

Révision datée du 23 avril 2021 à 10:31 par Isaline (discussion | contributions) (Isaline a déplacé la page Skolem functions vers Fonction de Skolem)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

Fonction introduite pour éliminer les quantificateurs existentiels.

Français

fonction de Skolem

Anglais

Skolem function

Source : Le grand dictionnaire terminologique

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

Révision

Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki