Матан и тервер открывает очень многие двери, которые навсегда закрыты для тех, кто просто знает языки программирования.
Вообще знание языка программирования - это то, чем может довольствоваться только школьник в лучшем случае.
Если знаешь некоторые основы, то возможно осилить любой язык. Понять простейшие примитивы любого языка - и поехал говнокод строчить.
А вот выучить мат.аппарат - тут это так просто не прокатит. Зато и работы хватит: и машинное обучение и машиностроение, и обработка данных (гуглить: ШАД) и ещё много дисциплин, где просто никуда без всего этого добра.

Фактически никакие. Больше упор лучше делать на структуры данных, паттерны, архитектуры, инфраструктуры и т.д и т.п

Без разницы. Что тебе ближе, то и используй.

Ну, например, чтобы правильно ответить на собеседовании. :)
Многие компании спрашивают это хотя бы на каком-то базовом уровне.
Вообще, иногда спрашивают классические задачки из Computer Science.
Ну или чтобы успешно выступать на олимпиадах - там это сплошь и рядом.

Пример, который был бы наиболее близок к большенству разработчиков, с чем они сталкиваются каждый день - сборщик зависимостей (package manager, bundler или как угодно называйте) перед компиляцией/запуском.
Идёт построение т.н DAG - https://en.wikipedia.org/wiki/Directed_acyclic_graph , чтобы не было петель.