... 符号量值运算 signed magnitude arithmetic 符号逻辑模型 model of symbolic logic 符号描述 denotational description ...
基于14个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
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
应用推荐
模块上移
模块下移
不移动