ریاضیات کاربردی در مهندسی نرم‌افزار