[Onliner 15]
par Ploum le 2005-10-11
– Une forme de skolem est une formule prédicative sous forme prénexe dans laquelle toutes les quantifications existentielles du préfixe ont été éliminée par skolémisation.
issu de mon syllabus de Mathématiques Discrètes[1].
Notes
[1] En théorie, j’ai su ce que cette définition signifiait… à l’époque.
Ingénieur et écrivain, j’explore l’impact des technologies sur l’humain, tant par écrit que dans mes conférences.
Recevez directement par mail mes écrits en français et en anglais. Votre adresse ne sera jamais partagée. Vous pouvez également utiliser mon flux RSS francophone ou le flux RSS complet.
Pour me soutenir, achetez mes livres (si possible chez votre libraire) ! Je viens justement de publier un recueil de nouvelles qui devrait vous faire rire et réfléchir. Je fais également partie du coffret libre et éthique « SF en VF ».