Dans ce post communautaire, je veux mettre des liens vers des jeux très engageants et des environnements interactifs (disponibles gratuitement) qui aident les gens à explorer des concepts intellectuels en programmation et en mathématiques. Si vous connaissez d'autres endroits amusants à visiter, postez simplement ci-dessous. Amusez-vous ! Lean : Une collection de casse-têtes de programmation très engageants qui vous aident à apprendre comment les mathématiques sont prouvées et formalisées. Vous ne verrez plus jamais de la même manière la difficulté de 5*7=7*5. NandGame : Vous créez votre propre processeur à partir de zéro (même le NAND est fabriqué à partir de circuits plus simples). Hautement addictif et super amusant ! Quantum Flytrap : C'est ici que vous allez enfin comprendre les calculs quantiques. Coloré, illimité, engageant et mathématiquement très profond. Scratch : Apprenez la programmation de manière amusante. Euclidea : Apprenez à réaliser des constructions avec une règle et un compas. Cela faisait partie de l'éducation scolaire, mais maintenant c'est une application. Amusant et très informatif. Planarity : Essayez de trouver un encastrement de graphe qui montre qu'il est effectivement planaire. Golly : L'explorateur ultime des automates cellulaires. Si vous voulez approfondir : SageMath : C'est un puissant système d'algèbre informatique avec une syntaxe Python. Il est idéal pour les cours et la syntaxe de SageMath est beaucoup plus proche du discours mathématique régulier. J'aime enseigner des cours avec SageMath. GeoGebra : Vous pouvez faire des preuves, des calculs et des applets interactives. C'est une manière amusante d'apprendre de nombreux aspects des mathématiques de premier cycle. Wolfram Demonstration Projects : Une collection d'applets mathématiques qui peuvent vous aider à comprendre des sujets très sophistiqués. Vous n'avez pas besoin de Mathematica pour les exécuter, mais vous en avez besoin pour concevoir vos propres applets. The Mechanics of Proof (par Heather Macbeth) : C'est un livre avec un dépôt GitHub interactif où vous pouvez apprendre de manière plus complète la structure et la syntaxe de Lean. An Illustrated Theory of Numbers (par Martin H. Weissman) : C'est un manuel sur la théorie des nombres élémentaire avec des applications. Et ces applications sont disponibles sur le site Web sous forme de collection de Jupyter Notebooks gratuits qui vous enseignent les concepts clés. Graphical Linear Algebra : Une manière illustrée et, dans une certaine mesure, interactive d'apprendre des concepts profonds en algèbre. HomotopyContinuation.jl : C'est une manière incroyablement belle et interactive (avec Julia) d'apprendre des idées très complexes de la géométrie algébrique (composantes connexes, méthode de continuation homotopique) et avec des applications à des systèmes algébriques très spéciaux issus d'applications. Vous pouvez apprendre Julia en cours de route. Mathamaze : C'est une expérience de Helena Verrill. Géométrie magnifique, carrelages, motifs. Tout simplement merveilleux. Difficile à expliquer : n : le chemin du ninja : Si vous pensez que les mathématiques sont difficiles. Apprenez la patience de la manière difficile. Avertissement : hautement addictif. HyperRogue : Vous pouvez apprendre la géométrie hyperbolique dans un environnement de type rogue.