同类推荐
-
-
数学建模与实验
-
¥62.00
-
-
数学建模与实验
-
¥62.00
-
-
数学建模与实验
-
¥62.00
-
-
计算机科学中的数理逻辑
-
¥69.00
-
-
跟名侦探学逻辑推理
-
¥68.00
-
-
跟名侦探学逻辑推理
-
¥68.00
-
-
跟名侦探学逻辑推理
-
¥68.00
-
-
数学建模与算法设计
-
¥68.00
-
-
数学建模:基于北太天元与AI的竞赛应用
-
¥49.80
-
-
有序选择的建模方法:入门教程
-
¥115.00
|
|
图书信息
|
|
|
|
结构推理
|
| ISBN： | 9787559828781 |
定价： | ￥68.00 |
| 作者： | 冯棉著 |
出版社： | 广西师范大学出版社 |
| 出版时间： | 2020年07月 |
版次： | 2版 |
| 开本： | 23cm |
页数： | 244页 |
中图法： | O141 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
3
|
|
2026-06-18
|
图书简介 | | 本书研究命题逻辑的结构推理，涉及多种结构推理系统的建构。全书共四章，内容包括：经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理。 |
|