Systèmes de preuve - Archive ouverte HAL Access content directly
Lectures Year : 2018

Systèmes de preuve

(1, 2)
1
2

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Attribution - NoDerivatives - CC BY 4.0

Identifiers

  • HAL Id : cel-01903833 , version 1

Cite

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⟩
352 View
556 Download

Share

Gmail Facebook Twitter LinkedIn More