Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
By applying AHP-FUZZY method and combining logic reasoning, the mathematical model to evaluate the states of main productive equipments is proposed.
针对火电厂的主要生产设备采用AHP - FUZZY方法，并结合逻辑推理，建立了设备综合评价数学模型。
This paper has described the mathematical model, spray control logic and diagnostics in the secondary cooling water dynamic control model of CCM at Meishan Steelmaking Plant.
本文介绍了梅山炼钢厂连铸机二冷水动态控制模型的数学模型、控制逻辑和模型诊断功能。
应用推荐