数理逻辑数学的一个分支,其研究对象是对 证明计算这两个直观概念进行符号化以后的 形式系统。数理逻辑是 数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是 逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于 哲学逻辑),又称 元数学,后者的使用现已局限于 证明论的某些方面。

精品内容

【CMU硬核书】数理逻辑与计算,526页pdf
专知会员服务
59+阅读 · 9月14日
参考链接
微信扫码咨询专知VIP会员