مبانی ریاضی و نظریه احتمالات در مهندسی نرم‌افزار