 |
 |
 |
Lectures
Logique propositionnelle : Notes de révision pour l'agrégation
Résumé : Ces notes de révision sont consacrées à la leçon 916 « Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. » de l'agrégation de mathématiques, option D, session 2019.
Cited literature [16 references]
https://cel.archives-ouvertes.fr/cel-01903823
Contributor : Sylvain Schmitz <>
Submitted on : Wednesday, October 24, 2018 - 4:23:04 PM
Last modification on : Friday, April 30, 2021 - 9:53:28 AM
Long-term archiving on: : Friday, January 25, 2019 - 2:45:28 PM
Contributor : Sylvain Schmitz <>
Submitted on : Wednesday, October 24, 2018 - 4:23:04 PM
Last modification on : Friday, April 30, 2021 - 9:53:28 AM
Long-term archiving on: : Friday, January 25, 2019 - 2:45:28 PM
File
916.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License