计算机专业要求逻辑推