1.2 计算题和证明题