Logique propositionnelle - Laboratoire Méthodes Formelles
Cours Année : 2018

Logique propositionnelle

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.

Domaines

Informatique [cs] Mathématiques [math]
Fichier principal
Vignette du fichier
916.pdf (334.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Sylvain Schmitz  : Connectez-vous pour contacter le contributeur

https://cel.hal.science/cel-01903823

Soumis le : mercredi 24 octobre 2018-16:23:04

Dernière modification le : lundi 15 avril 2024-11:25:23

Archivage à long terme le : vendredi 25 janvier 2019-14:45:28

Télécharger pour visualiser

Dates et versions

cel-01903823 , version 1 (24-10-2018)

Licence

Paternité - Pas de modifications

Identifiants

  • HAL Id : cel-01903823 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
856 Consultations
4135 Téléchargements

Partager

More