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 Connect in order to contact the contributor
Submitted on : Wednesday, September 19, 2018 - 10:46:24 AM
Last modification on : Wednesday, November 17, 2021 - 12:33:04 PM

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

Les métriques sont temporairement indisponibles