← Projets

Ready Set Boole

août 2025

C++Algèbre BooléenneLogiqueMathématiques Discrètes42
github

Une 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.