Systèmes de preuve - CEL - Cours en ligne Accéder directement au contenu
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.
Fichier principal
Vignette du fichier
918.pdf (355.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

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 : Notes de révision pour l'agrégation. Master. Préparation à l'agrégation de mathématiques, option informatique, France. 2018. ⟨cel-01903833⟩
433 Consultations
744 Téléchargements

Partager

Gmail Facebook X LinkedIn More