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.

数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。

youdao

New methods and algorithms of data mining are provided by extension theory, and the new data mining thoughts are also stimulated by the extension set theory.

而可拓学的建立为数据挖掘提供了新的手段和方法，开辟了新的挖掘算法。

youdao

New methods and algorithms of data mining are provided by extension theory, and the new data mining thoughts are also stimulated by the extension set theory.

而可拓学的建立为数据挖掘提供了新的手段和方法，开辟了新的挖掘算法。

youdao