Le dessous des maths.
Comme ce sont des choses normalement connues, les cours de théorie des ensembles et de récurrence sont à voir chez vous.
Un générateur de formules propositionnelles aléatoires, avec table de vérités. Le programme est appelé à évoluer, comme les fonctionnalités sont encore très limitées. Le tout codé en
OCaml
L'exécutable (pour Debian/Ubuntu, x86 64 bits) à lancer avec
./gen_formula
Et le code source, à compiler avec
ocamlopt.opt gen_formula.ml -o gen_formula