作者：王浩
类别：文化电子书
关键词：数理逻辑通俗讲话
整理日期：2017-02-24 17:17:56
下载地址： 本地下载 网友上传
作品导读
目录： 第一章 数理逻辑一百年 第二章 形式化和公理方法 第三章 计算机 2.1 形式系统——公理系统的特殊情形 2.2 谓词演算或一阶逻辑 2.3 形式系统和形式思维 2.4 一阶和二阶理论 2.5 G?del不完全性定理概要 2.6 证明的背景及分解 2.7..
数理逻辑通俗讲话的作者是王浩。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。