{"id":45,"date":"2021-09-16T12:10:39","date_gmt":"2021-09-16T10:10:39","guid":{"rendered":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/?page_id=45"},"modified":"2024-12-17T10:16:38","modified_gmt":"2024-12-17T09:16:38","slug":"d%e2%88%83%e2%88%80duction","status":"publish","type":"page","link":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/d%e2%88%83%e2%88%80duction\/","title":{"rendered":"D\u2203\u2200DUCTION"},"content":{"rendered":"\n

<\/p>\n\n\n\n

Le logiciel D\u2203\u2200DUCTION propose une aide \u00e0 l’apprentissage de la d\u00e9monstration math\u00e9matique. Il vise les \u00e9tudiants en d\u00e9but de licence, mais peut vous \u00eatre utile jusqu’en L3 si vous ne maitrisez pas les bases de l’\u00e9criture d’une d\u00e9monstration.<\/p>\n\n\n\n

Il se pr\u00e9sente sous la forme d’une interface graphique, et vous permet de construire votre d\u00e9monstration pas \u00e0 pas en visualisant successivement chaque \u00e9tape de la preuve. Il ne propose pas une r\u00e9daction de la preuve : cette partie reste volontairement \u00e0 la charge de l’\u00e9tudiant, qui peut s’aider d’une visualisation symbolique de la preuve.<\/p>\n\n\n\n

Pour le moment la biblioth\u00e8que d’exercices contient de la th\u00e9orie des ensembles, des epsilon\/deltas, un peu d’arithm\u00e9tique. Les fiches d’activit\u00e9s utilis\u00e9es en L1 \u00e0 SU sont disponibles ici<\/a>.<\/p>\n\n\n\n

Sous le capot, D\u2203\u2200DUCTION est d\u00e9velopp\u00e9 en Python avec PyQt, et s’appuie sur l’assistant de preuve L\u2203\u2200N<\/a> 3. Je cherche de l’aide : si vous voulez participer, contactez-moi !<\/p>\n\n\n\n

Voici une vid\u00e9o de d\u00e9monstration, sur un exercice tr\u00e8s simple.<\/p>\n\n\n

\n
\"\"<\/a>
Vid\u00e9o de d\u00e9monstration<\/a>, par Camille Lich\u00e8re<\/figcaption><\/figure>\n<\/div>\n\n\n

Ce qui est le plus g\u00e9nial, c’est la m\u00e9moire de travail qu’il prend en charge (…).<\/strong><\/em>
Maintenant je suis persuad\u00e9e que je pourrai me passer de D\u2203\u2200DUCTION !<\/strong><\/em><\/p>Une \u00e9tudiante (particuli\u00e8rement enthousiaste…)<\/cite><\/blockquote><\/figure>\n\n\n\n

\n
\n
\n
\"Compte<\/a><\/figure>\n<\/div>\n\n\n\n
\n

Le logiciel a \u00e9t\u00e9 test\u00e9 dans le cadre d’un stage d’une dizaine d’heures, hors cursus, avec 10 \u00e9tudiants en fin de L1. L’exp\u00e9rience est d\u00e9crite dans ce m\u00e9moire de M1<\/a>.<\/p>\n<\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n

\n\n\n\n

Installer D\u2203\u2200DUCTION<\/h2>\n\n\n\n

D\u2203\u2200DUCTION est disponible sous forme de paquet Python<\/a>. C’est maintenant la m\u00e9thode recommand\u00e9e pour l’installation. Avec cette m\u00e9thode, la mise \u00e0 jour tr\u00e8s facile.<\/p>\n\n\n\n

D\u2203\u2200DUCTION est aussi disponible \u00e0 l’installation sous forme \u00ab\u00a0empaquet\u00e9e\u00a0\u00bb<\/a> :<\/p>\n\n\n\n