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