Skip to Main content Skip to Navigation
Journal articles

La preuve de théorèmes pour les masses (soniques)

Résumé : Après avoir motivé la nécessité d’introduire des outils interactifs pour l’enseignement en informatique musicale et, plus généralement, dans les disciplines scientifiques, nous décrivons jsCoq, notre nouvelle interface utilisateur pour le logiciel de preuve mathématique Coq. Cet outil fournit aux enseignants un moyen efficace pour concevoir et mettre en œuvre des cours qui combinent textes, audio, images et preuve interactive de théorèmes. Nous présentons deux études de cas d’utilisation dans le domaine audio et les résultats d’une évaluation de jsCoq sur le terrain.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal-mines-paristech.archives-ouvertes.fr/hal-01877004
Contributor : Claire Medrala <>
Submitted on : Wednesday, September 19, 2018 - 10:46:24 AM
Last modification on : Monday, May 3, 2021 - 8:44:04 AM

File

A-692.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01877004, version 1

Citation

Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot. La preuve de théorèmes pour les masses (soniques). Revue Francophone d'Informatique et Musique, Association Francophone d'Informatique Musicale, 2018, N°6, 14 p. ⟨hal-01877004⟩

Share

Metrics

Record views

146

Files downloads

57