Что на СП будет в этом году, я точно не знаю, потому что там грозились увеличить количество часов и расширить программу. Раньше были кое-какие основы разработки программных систем, формальные грамматики и азы того, что на третьем курсе называется конструированием компиляторов. Еще два слова про плюсовую библиотеку STL, если время оставалось.

На матан ходить смысл, по-моему, есть. Лишним это точно не будет.