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.
Document type :
Lectures
Liste complète des métadonnées

https://cel.archives-ouvertes.fr/cel-01903823
Contributor : Sylvain Schmitz <>
Submitted on : Wednesday, October 24, 2018 - 4:23:04 PM
Last modification on : Thursday, April 4, 2019 - 10:18:05 AM
Document(s) archivé(s) le : 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

Identifiers

  • HAL Id : cel-01903823, version 1

Citation

Sylvain Schmitz. Logique propositionnelle : Notes de révision pour l'agrégation. Master. Préparation à l'agrégation de mathématiques, option informatique, France. 2018. ⟨cel-01903823⟩

Share

Metrics

Record views

161

Files downloads

65