Systèmes de preuve : Notes de révision pour l'agrégation

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.
Type de document :
Cours
Master. Préparation à l'agrégation de mathématiques, option informatique, France. 2018
Liste complète des métadonnées

https://cel.archives-ouvertes.fr/cel-01903833
Contributeur : Sylvain Schmitz <>
Soumis le : mercredi 24 octobre 2018 - 16:27:25
Dernière modification le : vendredi 9 novembre 2018 - 17:33:55

Fichier

918.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas de modifications 4.0 International License

Identifiants

  • HAL Id : cel-01903833, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

2

Téléchargements de fichiers

1