Дык с тем же успехом можно и программирование считать разделом математики. А что? Всё равно же всё в нём в итоге сводится к машинам Тьюринга с Шёнфилдом, да к автоматам с КСГ. Относят её к математике потому, что матлогика как наука исторически появилась куда позже математики. Но это не мешает ей прекрасно существовать без математики, в то время как математика без матлогики существовать не может...

Или кого-то смущает слово "математическая"? Ну, скажем, "американский футбол" не имеет вообще никакого отношения к футболу как таковому В отличие от мини-футбола и футзала...