🇫🇷 Logique
Eléments de calcul propositionel
Arbres et expressions logiques, arithmétiques, parenthésées ou non.
Validité d’une formule par les arbres de Beth
Arbres et expressions logiques, arithmétiques, parenthésées ou non.
Validité d’une formule par les arbres de Beth
Expressions logiques quasi totalement parenthésées, construction d'arbres et représentation graphique, sous forme de TP OCaml, avec corrigé en OCaml et en Python.
Validité d’une formule par les arbres de Beth
Expression logiques non totalement parenthésées, avec OCaml et Python
Expressions arithmétiques non totalement-parenthésées, avec OCaml et Python