منطق ریاضی و برنامه‌نویسی