مدل‌سازی ریاضی در علوم رایانه و منطق محاسباتی