[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].

[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. Abonnez-vous à mes écrits en français par mail ou par rss. Pour mes écrits en anglais, abonnez-vous à la newsletter anglophone ou au flux RSS complet. Votre adresse n’est jamais partagée et effacée au désabonnement.

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.


Permalinks:
https://ploum.net/72-onliner-15/index.html
gemini://ploum.net/72-onliner-15/index.gmi