名词解释数学与逻辑模型