août 2025
githubUne exploration structurée des mathématiques discrètes par l’implémentation : évaluation booléenne, génération de tables de vérité, conversion en FNN et FNC, résolution SAT, et courbe de Hilbert. Moins un projet unique qu’un parcours pratique des fondements mathématiques qui sous-tendent l’informatique.