У цьому дописі в спільноті я хочу додати посилання на дуже захопливі ігри та інтерактивні середовища (вільно доступні), які допомагають людям досліджувати високотехнологічні концепції як у програмуванні, так і в математиці. Якщо ви знаєте ще якісь цікаві місця для відвідування, просто напишіть нижче. Розважатися! Lean: Збірка дуже захопливих програмних головоломок, які допомагають вам зрозуміти, як доводиться та формалізується математика. Ви більше ніколи не побачите твердість 5*7=7*5 так само, як і раніше. NandGame: Ви створюєте власний процесор з нуля (навіть NAND зроблений із простіших схем). Дуже затягує і дуже весело! Квантова мухоловка: Саме тут ви нарешті отримаєте розуміння квантових обчислень. Яскраві, безмежні, захопливі та математично дуже глибокі. Скретч: Вчися програмуванню весело. Евклідія: Навчіться виконувати конструкції за допомогою лінійки та компаса. Раніше це було частиною шкільного навчання, а тепер це додаток. Весело і дуже інформативно. Планарність: Спробуйте знайти вкладення графа, яке показує, що він дійсно є плоским. Ого: Найкращий дослідник клітинних автоматів. Якщо хочете копнути глибше: SageMath: Це потужна система комп'ютерної алгебри з синтаксисом Python. Він ідеальний для курсів, а синтаксис SageMath набагато ближчий до звичайного математичного дискурсу. Мені подобається викладати курси з SageMath. GeoGebra: Можна робити докази, обчислення та інтерактивні аплети. Це цікавий спосіб вивчити багато аспектів математики без бакалаврату. Демонстраційні проєкти Wolfram: Збірка математичних аплетів, які допоможуть вам зрозуміти дуже складні теми. Для запуску Mathematica не потрібен, але він потрібен для розробки власних аплетів. Механіка доказу (автор Гізер Макбет): Це книга з інтерактивним репозиторієм на GitHub, де можна більш комплексно дізнатися структуру та синтаксис Lean. Ілюстрована теорія чисел (Мартін Г. Вайсман): Це підручник з елементарної теорії чисел із застосуваннями. А ці додатки доступні на сайті у вигляді збірки безкоштовних зошитів Jupyter, які навчають ключовим поняттям. Графічна лінійна алгебра: Ілюстрованим і частково інтерактивним способом вивчення глибоких концепцій алгебри. HomotopyContinuation.jl: Це надзвичайно красивий і інтерактивний (разом із Джулією) спосіб вивчення деяких надзвичайно складних ідей з алгебраїчної геометрії (зв'язні компоненти, метод продовження гомотопії) та з застосуваннями до дуже спеціальних алгебраїчних систем, які походять із додатків. Ти можеш дізнатися Джулію по дорозі. Mathamaze: Це досвід від Гелени Веррілл. Чудова геометрія, плитка, візерунки. Просто чудово. Важко пояснити: N: Шлях ніндзя: Якщо ви вважаєте, що математика складна. Навчіться терпінню на власних помилках. Попередження: дуже залежність HyperRogue: Гіперболічну геометрію можна вивчити у розбійному світі.