会员服务
数理逻辑是 数学的一个分支，其研究对象是对 证明和 计算这两个直观概念进行符号化以后的 形式系统。数理逻辑是 数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是 逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于 哲学逻辑），又称 元数学，后者的使用现已局限于 证明论的某些方面。
没有数据了, 换个别的吧!
参考链接
微信扫码咨询专知VIP会员
Top