基本释义

[ fú hào luó jí ]

数理逻辑。

符号逻辑的相似词

符号主义   现代逻辑   归纳逻辑   符号运算   现代数学   集合论   逻辑主义   数学理论   布尔代数   模态逻辑   符号处理   逻辑哲学   计算机科学的基础   语义学   逻辑实证主义   公理化   哥德尔定理   公理化方法   生成语法   连接主义   数学工具   卡尔纳普   公理系统   分析哲学   古典逻辑   控制论   概率推理   数学哲学   语言分析   一阶逻辑