《数理逻辑基本原理与形式演算》是信息科学与技术基础丛书之一。全书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论，提出了三个语言环境的思想以及元语言环境的基本原理，并描述了信息社会中科学研究的工作流程。
具体描述
读后感
不知道为什么评分挺高，我是听人推荐找到这本书自学，但是第二章没看完就走不下去了。几个问题， 1. 每一章的前言似乎想概括整章的内容，但是我太蠢，看到的全是一鳞半爪的概念，并且是一层一层的概念，这种既不完整又层次繁杂的概念罗列很让人迷惑。每个前言要读两遍并在纸上...
评分不知道为什么评分挺高，我是听人推荐找到这本书自学，但是第二章没看完就走不下去了。几个问题， 1. 每一章的前言似乎想概括整章的内容，但是我太蠢，看到的全是一鳞半爪的概念，并且是一层一层的概念，这种既不完整又层次繁杂的概念罗列很让人迷惑。每个前言要读两遍并在纸上...
评分不知道为什么评分挺高，我是听人推荐找到这本书自学，但是第二章没看完就走不下去了。几个问题， 1. 每一章的前言似乎想概括整章的内容，但是我太蠢，看到的全是一鳞半爪的概念，并且是一层一层的概念，这种既不完整又层次繁杂的概念罗列很让人迷惑。每个前言要读两遍并在纸上...
评分不知道为什么评分挺高，我是听人推荐找到这本书自学，但是第二章没看完就走不下去了。几个问题， 1. 每一章的前言似乎想概括整章的内容，但是我太蠢，看到的全是一鳞半爪的概念，并且是一层一层的概念，这种既不完整又层次繁杂的概念罗列很让人迷惑。每个前言要读两遍并在纸上...
评分不知道为什么评分挺高，我是听人推荐找到这本书自学，但是第二章没看完就走不下去了。几个问题， 1. 每一章的前言似乎想概括整章的内容，但是我太蠢，看到的全是一鳞半爪的概念，并且是一层一层的概念，这种既不完整又层次繁杂的概念罗列很让人迷惑。每个前言要读两遍并在纸上...
用户评价
宋公指定的教材，宋公教的好啊。
评分概念提出太突兀了，不适合自学。
评分概念提出太突兀了，不适合自学。
评分数理逻辑的参考书。
评分概念提出太突兀了，不适合自学。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有