Ну да, матлогика в обязательных - это ЛОЛ. И теорвер. Да всё там полный ЛОЛ, чего уж мельчить.

По идее обязательные - это то, что нужно каждому математику, но это нереально, ибо множество почти пустое. Всякие аддитивные комбинаторщики не используют почти ничего из программы Миши, и наоборот - комплексным геометрам типа Миши не нужна комбинаторика, дискретная математика и т.д.

Матлогикам вообще ничего не нужно, кроме матлогики, наверное

Мишин подход про кор математикс, наверное, правилен, хз, как ещё составить обязательную программу.
Хз, как, но УЖ ТОЧНО НЕ засовывая в неё дисциплины для физиков и айтишников. Ещё экономику забыли. Был бы полный набор: на факультете чистой математике учат физике, компьютерным наукам и экономике. Ну, и ещё немного математике, если время останется.