علوم ریاضی و نظریه ساختارهای محاسباتی