- 收录百万图书，拥有最全最权威的中文图书信息
- 建立读书档案：你读过哪些书呢，还想读哪些书呢？快来图书城建立你的读书档案吧！
- 在线阅读和书评功能，让您在买书前能够更多的了解图书内容
- 图书比价功能，让您花最少的钱买到需要的书
数理逻辑引论与归结原理/现代数学基础丛书
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
本书内容可分为4部分。第一部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第三部分清楚而严谨地讲述归结原理理论，给出了各个难点内容的完整证明。第四部分讲述多值逻辑演算理论，包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的&*逻辑系统和相关的R0代数理论。
关于图书城：
为什么通过图书城买书：
|