Ce document est lié à :
info:eu-repo/semantics/altIdentifier/arxiv/2404.12676
Ce document est lié à :
info:eu-repo/grantAgreement//ERC-2018-SYG-810367/EU/Extreme-scale Mathematically-based Computational Chemistry/EMC2
http://creativecommons.org/licenses/by/ , info:eu-repo/semantics/OpenAccess
Sylvie Boldo et al., « Enseigner divisibilité et binomiaux avec Coq », HAL-SHS : sciences de l'éducation, ID : 10670/1.vvqi84
Le but de cette contribution est de fournir des feuilles d'exercices en Coq à destination des étudiants pour l'apprentissage de la divisibilité et des coefficients binomiaux. Ces domaines élémentaires sont un bon sujet d'étude car ils sont largement enseignés durant les premières années universitaires (ou avant en France). Nous présentons nos choix techniques et pédagogiques et les nombreux exercices que nous avons développés. Sans surprise, cela a nécessité des développements {\Coq} supplémentaires tels que de nouveaux lemmes et des tactiques dédiées. Les feuilles d'exercices sont en accès libre et d'un usage flexible.