数理逻辑训练是什么 数理逻辑训练是什么意思啊