Systèmes de preuve - Laboratoire Méthodes Formelles
Cours Année : 2018

Systèmes de preuve

Résumé

Ces notes de révision sont consacrées à la leçon 918 « Systèmes formels de preuve en logique du premier ordre. Exemples. » de l'agrégation de mathématiques, option D, session 2019.

Domaines

Informatique [cs] Mathématiques [math]
Fichier principal
Vignette du fichier
918.pdf (355.13 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-01903833

Soumis le : mercredi 24 octobre 2018-16:27:25

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

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité - Pas de modifications

Identifiants

  • HAL Id : cel-01903833 , version 1

Citer

Sylvain Schmitz. Systèmes de preuve. Master. Préparation à l'agrégation de mathématiques, option informatique, France. 2018. ⟨cel-01903833⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More