« Fonction de Skolem » : différence entre les versions
m (Isaline a déplacé la page Skolem functions vers Fonction de Skolem) |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| (3 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 8 : | Ligne 8 : | ||
'''Skolem function''' | '''Skolem function''' | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17016128 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17016128 Source : Le grand dictionnaire terminologique ] | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 29 janvier 2024 à 13:33
Définition
Fonction introduite pour éliminer les quantificateurs existentiels.
Français
fonction de Skolem
Anglais
Skolem function
Sources
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
