Fonction de Skolem


Révision datée du 27 janvier 2024 à 22:54 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)

Définition

Fonction introduite pour éliminer les quantificateurs existentiels.

Français

fonction de Skolem

Anglais

Skolem function


Sources

Source : Le grand dictionnaire terminologique

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

Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki