Михаил Потанин

Веб, как технология, устроен сравнительно просто. Для него не требуется специальный функционал.

Формальные семантики, переписывание термов, удовлетворение ограничений (constraint satisfaction problem), солверы (SMT, SAT), темпоральные логики.

В Спб находится наиболее пробвинутый IT ВУЗ - ИТМО. Но если нужен только js, то лучше туда не идти.

Книги Перноуза привертно такие. "Новуй ум короля" и программирование затрагивает.
Еще можно почитать "Гедель, Эшер, Бах. Эта бесконечная гирлянда" Дагласа Р. Хофштадтера

Я бы рекомендавал начинать с Elm, как с самого простого языка, позволяющего легко делать содержательные web-приложения, в том числе и игры.

Я искал, но не нашел. Не уверен, что вообще существует эффективный алгоритм для этого. Даказательство существования равновесия Неша основано на теореме о неподвижной точке, доказательство которой неконструктивно. В случае конесной таблици можно решать задачу линейного программирования с параметрами, а потом сделать оптимизацию по этим параметрам чем-то типа градиентного спуска, но боюсь это будет сильно тормозить.

Хорошо подходят книги Пенроуза, если не зацыкливаться на его филосовских идеях.
Начать изучение стоит с теории множеств - без нее вся остальная математика остается переписыванием формул.
А дальше - что интересно: алгебра (начинать лучше с теории групп), геометрия (топология), матлогика, дискретная математика, статистика.

С математика - матлогики, теории множеств и неорией вычислений. Есть несколько неплохих книг на эту тему Александра Шеня.
Дальше - язык программирования. Здесь развилка - если интересует интерактивность или фронтенд и знаете html, то надо брать elm. Если нет - haskelll.

C++ неоправдано сложный для большенства задач, слабо защищает от ошибок, трубует строгой дисциплины и внимания к деталям.
Для серьезного изучения программирования подходит Haskell, для легкого вхождения (в первую очередь в фронтенд, но и в программирование вообще) - Elm. Они же полезны для лучшего восприятия математики.
Если нужно быть ближе к железу, лучший вариант - Rust.
Из математики стоит познакомиться с теорией множеств и логикой.

Если поменять местами какие-то 0 и 1 местами, то, если критерий существует, делимомть не должна измениться.
Такое N должно делить любую непрерывную последовательность из единиц, в том числе и из одной. То есть ни чего сказать нельзя.

Теория множеств и логика очень полезны. Остальное может подождать.
Если время есть и быстрое нахождение работы не обязательно, лучше начинать со статически типизированных языком. Фронтенд хорошо пишется на Elm. Для бекенда на ноде можно использовать Purescript.

Закрытой - в смысле исходники недоступны?
Если требуется платная поддержка, то она доступна и для отрытых решений, типа Activiti, Alfresco.

На мой взгляд выжная книга - "Дизайн и эволюция языка C++" Страуструппа. Она хорошо тем, что описывает мотивацию принятия тех или иных решений, которые в этом языке часто бывают странными.
Но я не уверен, что C++ полезен в embedded. Лучше осваивать Rust.

Elm - лучшее сочетание простоты и возможностей.
Лучше всего подходит для интерактивных web-приложений (нужно знать html, для графики придется освоить svg и webgl). Мобильные приложения сразу под андроид и ios пишутся с помощью react-native, но с web-приложениями они плохо совместимы.

Зависит от многого.
В Haskell, например, этот код, если из контекста будет ясно, что x целочисленный тип, этот код вызовет прерывание программы с ошибкой зацикливания. Но если создать свой тип, реализующий арифметику Пеано, то x станет зацикленной структурой, типа бесконечного списка.
В императивных языках значение x будет зависеть от предидущего значения.

kdb

Функция ни когда не завершается, что позволяет ее вызывать так, как будто она возвращает любой заданный тип.

Сила притяжения магнитов очень быстро растет при их сближении и падает при отдалении. В результате такими системами сложно управлять. Кроме того, для управления приходится коммутировать большие токи, что тоже не способствует простоте проектирования.

Я со звуком не работал, но по описаниям стоит посмотреть на Supercollider. Язык ориентирован на звук, много унаследовал от SmallTalk, но сдвинулся в функционального программирования.
Вспомнил еще библиотеку overtone для Clojure. Для игровой логики Clojure, наверно, будет удобнее, чем Supercollider. Они между собой как-то умеют взаимодействовать, но подробностей я не знаю.

Elm, если достаточно запуска в браузере.