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.
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal-mines-paristech.archives-ouvertes.fr/hal-01877004
Contributeur : Claire Medrala <>
Soumis le : mercredi 19 septembre 2018 - 10:46:24
Dernière modification le : lundi 12 novembre 2018 - 11:03:17

Fichier

A-692.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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, 2018, N°6, 14 p. ⟨hal-01877004⟩

Partager

Métriques

Consultations de la notice

53

Téléchargements de fichiers

24