La preuve de théorèmes pour les masses (soniques) - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue Francophone d'Informatique et Musique Année : 2018

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

(1, 2) , (1, 2) , (1, 2)
1
2

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.
Fichier principal
Vignette du fichier
A-692.pdf (1019.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01877004 , version 1 (19-09-2018)

Identifiants

  • HAL Id : hal-01877004 , version 1

Citer

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, 2018, N°6, 14 p. ⟨hal-01877004⟩
87 Consultations
62 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More