同类推荐
-
-
数学建模与实验
-
¥62.00
-
-
数学建模与实验
-
¥62.00
-
-
数学建模与实验
-
¥62.00
-
-
数学建模论文写作:从竞赛实战到学术发表
-
¥59.00
-
-
AI与数学建模
-
¥98.00
-
-
数学建模趣味学:从徒手挖爆米花到玩转竞赛
-
¥89.80
-
-
数学建模趣味学:从徒手挖爆米花到玩转竞赛
-
¥89.80
-
-
数学建模趣味学:从徒手挖爆米花到玩转竞赛
-
¥89.80
-
-
数学建模与数学实验
-
¥75.00
-
-
计算机科学中的数理逻辑
-
¥69.00
|
|
图书信息
|
|
|
|
数理逻辑教程
|
| ISBN： | 9787510086304 |
定价： | ￥98.00 |
| 作者： | John L.Bell，Moshe Machover[著] |
出版社： | 世界图书出版公司北京公司 |
| 出版时间： | 2015年01月 |
版次： | 影印版 |
| 开本： | 23cm |
页数： | 18,599页 |
中图法： | O141 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
59
|
|
2026-07-20
|
图书简介 | | 本书是学习数学逻辑的最综合全面的教材，包括了许多练习及解答提示，构成了本书的必不可少的一部分，非常适于自学。每一章分成许多小节，一些特别的小节和问题用星号强调，这并不是要表示这些部分难度加大，而是这些地方很容易被疏漏，所以阅读的时候需要格外留意。目次：预备知识；数学逻辑基础；一阶逻辑；一阶逻辑(连续的)；布尔代数；模理论；递归理论(连续的)；直觉一阶逻辑；公理集合论；非标准分析；一般索引；符号索引。 |
|