Immersive Linear Algebra — Apprendre l’algèbre linéaire avec des figures interactives (2015)

 (immersivemath.com)
3 points par GN⁺ 9 시간 전 | 1 commentaires | Partager sur WhatsApp
  • Publié en 2015, Immersive Linear Algebra est un livre conçu pour aider à comprendre les concepts d’algèbre linéaire au moyen de figures manipulables directement, au-delà des illustrations statiques
  • Il met en avant des figures entièrement interactives comme élément central de l’expérience d’apprentissage
  • Selon la présentation officielle, il se présente comme le premier livre d’algèbre linéaire au monde à appliquer cette approche
  • L’édition fournie est la v1.1 et l’ISBN est 978-91-637-9354-7
  • Les seules informations fournies ne permettent pas de confirmer le fonctionnement concret des interactions ni les environnements d’exécution pris en charge

Apprentissage interactif de l’algèbre linéaire

  • Immersive Linear Algebra présente les concepts d’algèbre linéaire avec des figures entièrement interactives
  • Dans sa présentation officielle, il se présente comme le premier livre d’algèbre linéaire au monde à appliquer cette approche

Informations sur l’édition

  • La version fournie est la v1.1
  • L’ISBN est 978-91-637-9354-7

Portée des informations vérifiables

  • Les informations fournies permettent de vérifier les caractéristiques du livre et les informations sur l’édition
  • Le fonctionnement concret des figures interactives et les environnements pris en charge ne sont pas confirmés

À lire aussi

1 commentaires

 
GN⁺ 9 시간 전
Avis sur Hacker News

  • Après mon premier cours d’algèbre linéaire, j’étais complètement perdu, mais des années plus tard, 3Blue1Brown m’a permis d’en avoir une compréhension intuitive
    https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQ...

    • J’enseigne l’algèbre linéaire à l’université, et dès le premier cours je recommande à tous les étudiants de regarder cette série dès que possible. Elle installe remarquablement une compréhension géométrique, ce qui donne envie d’apprendre les théorèmes et les calculs, et permet aussi de développer à l’avance une intuition sur pourquoi les théorèmes sont vrais

  • J’aime vraiment beaucoup ce livre. J’aurais aimé avoir un livre comme celui-ci quand j’apprenais l’algèbre autrefois, et j’aimerais voir les statistiques, les probabilités et la robotique avancée traitées de la même manière

  • C’est tellement bien que ça donne envie de retourner à l’école

    • Pas besoin d’aller à l’école pour apprendre

  • La structure est claire, et c’est supérieur à la plupart des tentatives similaires dans la mesure où l’on indique exactement ce qu’il faut savoir pour passer d’une section à la suivante. Les infobulles sont aussi utiles et, en poussant l’idée plus loin, on pourrait imaginer une fenêtre contextuelle « explique-moi ceci » lorsqu’on sélectionne une phrase, une équation ou un symbole particulier

  • Avec ces graphiques interactifs, les vidéos de cours et le nouvel éditeur LaTeX Prism d’OpenAI, l’enseignement des mathématiques traverse une période passionnante. Dans le même temps, avec les progrès de l’IA sur les problèmes de recherche ouverts et des technologies LLM comme Axiom, la recherche en mathématiques devient elle aussi passionnante

  • Créer des illustrations et des graphiques intuitifs prenait énormément de temps, mais maintenant que les LLM permettent de les produire beaucoup plus facilement et rapidement, j’espère que les livres seront réécrits

    • En fait, des livres sont bien en train d’être réécrits, mais lentement. Machine Learning Systems de Harvard en est un exemple : https://mlsysbook.ai/vol1/

  • Je me souviens avoir vu cette ressource il y a longtemps sur explorabl.es

  • Je me demande pourquoi les programmeurs sont toujours attirés par les supports d’introduction interactifs et excessivement simplifiés sur l’algèbre linéaire. Ces ressources se concentrent souvent uniquement sur l’aspect visuel et ignorent l’essentiel, comme les théorèmes et les preuves

    • En tant que programmeur qui utilise beaucoup les mathématiques, je dirais que la compréhension intuitive du monde est ce qui compte le plus. L’intuition permet de trouver des idées, d’écarter les solutions irréalisables, et d’estimer les coûts attendus ainsi que la qualité du résultat
      La capacité à creuser en profondeur est aussi importante, mais il est plus important encore de comprendre intuitivement plusieurs domaines — psychologie, économie, finance, physique, art, etc. — et de savoir où se situent les limites de ce que l’on connaît. C’est comme diriger un logiciel de consolidation budgétaire pour une grande entreprise : on connaît bien les pratiques de base de la comptabilité, mais on est moins solide sur les détails comme les règles fiscales propres à chaque secteur
      Quand j’ai construit un logiciel d’optimisation de découpe de pierre, je comprenais suffisamment la vision par ordinateur, la géométrie algorithmique et l’optimisation pour juger de la faisabilité des solutions, répartir les sujets à apprendre entre les membres de l’équipe et, si nécessaire, participer à l’implémentation, au débogage et à l’optimisation. Pour autant, je n’ai pas le niveau pour écrire moi-même du code de géométrie algorithmique couvrant tous les cas extrêmes
      Ce serait bien de tout connaître avec une précision infinie, mais pour un programmeur ce n’est pas efficace ; il faut donc savoir où s’arrêter
    • Les mathématiciens aussi sont souvent attirés par des ressources légères qui simplifient excessivement la programmation. Au fond, l’attitude consistant à dire dites-moi seulement ce dont j’ai besoin pour mon travail relève presque d’un principe humain universel
    • En pratique, l’algèbre linéaire dont les programmeurs ont besoin se limite probablement souvent à ce niveau. Bien sûr, l’algèbre linéaire elle-même est un domaine très intéressant
    • Les LLM dont on parle beaucoup ces temps-ci utilisent eux aussi une algèbre linéaire assez élémentaire. Faire de l’algèbre linéaire simple à une échelle immense était une très bonne idée, et c’est peut-être ce qui attire l’attention
    • C’est la même raison pour laquelle des mathématiciens qui ne sont ni informaticiens ni logiciens ignorent la théorie des types et la théorie des systèmes qui sous-tendent les assistants de preuve, tout en étant attirés par des outils implémentant le langage objet de ZFC