علوم ریاضی و مبانی منطق