[shù lǐ luó ji]
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
[shù lǐ luó ji]
词典释义：
数理逻辑
时间: 2026-05-22 14:37:39
[shù lǐ luó ji]
數理邏輯
数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
词典释义：
數理邏輯
数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
[shù lǐ luó ji]
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。