全部商品分类
| 联系编辑 | |
|---|---|
| 标题： | |
| 内容： | |
| 联系方式： | |
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部分内容包括：版本序列及其极限理论、修正演算系统、过程模式理论、归纳推理理论、三个语言环境的理论和元语言环境遵从的6个基本原理以及信息社会中科学研究的工作流程。
- 暂时还没有任何用户评论
全部咨询(共0条问答)
- 暂时还没有任何用户咨询内容
|
中国科技出版传媒股份有限公司 版权所有 京ICP备14028887号-5 京ICP证150976号
北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com |
京公网安备 11010102004214号