Лекции отличнейшие.

Можешь дать ссылку?

Гугли miniKanren или https://www.youtube.com/results?search_query=constraint+logic+programming+william+byrd

Спасибо.

Давайте поговорим на тему, как часто вам нужна математика в работе программиста и какие ее отрасли? Сколько математики вы знаете? Собираетесь ли углубляться в математику в будущем?

Математика как язык?

Нет, математика как наука.

Математику не зря называют королевой наук. Не она требуется в прикладных задачах, а её парадигмы используются для лучшего понимания различных аспектов работы. Кроме того, говорить о математике вообще сложно из-за её многообразия и практически бесконечной глубины в разных теориях. С точки зрения математики программирование можно рассматривать с разных точек зрения. С точки зрения программиста можно обращаться к математическим теориям, чтобы абстрагироваться от слишком прикладного характера разработки. Хотя, в коммерческой среде так делают разве что на вводных лекциях, чтобы напустить важности.

Например, новомодные graph databases описываются теорией графов и теорией категорий, но для разработки реального приложения реальные программисты обычно читают уже готовую и вполне конкретную документацию по neo4j, к примеру.

>говорить о математике вообще сложно из-за её многообразия и практически бесконечной глубины в разных теориях

...включая алгоритмы и теорию игр

так что в основе любого программирования - математика. Вопрос в объеме и предметной области. Ну тут уже наверно надо от задачи плясать.

Так можно сказать, что в основе всего математика.

Транспиляторы!

Математика нужна также как инструмент. Например: вот ты знаешь что такое косинус, то ты сможешь (к примеру) вращать какой-то объект. Зная булеву алгебру, можно упрощать логические выражения и т.д.

Это можно сказать о знаниях вообще.

Мозг нужен как инструмент :) Без него вообще мало что можно сделать

Я считаю, что математика - это наука об абстракциях. Поскольку нет ничего абстрактнее абстракций, область применения математики - всё что угодно. Поэтому говорить о том, нужна ли математика в какой-то конкретной области смысла мало. Можно спросить иначе - "оправдан ли математический подход в такой-то прикладной области, в такой-то конкретной задаче", на него уже можно будет хоть как-то отвечать.

Имхо математика - базовый технический язык, атрибут человека разумного  наряду с естественными языками. Абстракции возникают, в том числе*, как элемент этого языка для передачи и изложения. Те же теории чисел, игр, криптография и дискретная математика в своих приложениях предельно конкретны.

*разумеется, абстрактные модели могут быть и часто являются предметом исследования тоже. До тех пор и в том объеме, в котором отдельные представители homo sapiens могут себе их вообразить.