« Fonction de Skolem » : différence entre les versions
Aucun résumé des modifications |
m (Isaline a déplacé la page Skolem functions vers Fonction de Skolem) |
(Aucune différence)
| |
Version du 23 avril 2021 à 09:31
Définition
Fonction introduite pour éliminer les quantificateurs existentiels.
Français
fonction de Skolem
Anglais
Skolem function
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
