同类推荐
-
-
基本演绎法
-
¥48.00
-
-
逻辑新引:怎样判别是非
-
¥52.00
-
-
印度逻辑和原子论:对正理派和胜论派的一种解说
-
¥68.00
-
-
逻辑新引:怎样判别是非
-
¥78.00
-
-
新归纳之谜:绿蓝悖论研究
-
¥48.00
-
-
逻辑应试技巧通关教程
-
¥51.80
-
-
逻辑哲学论
-
¥56.00
-
-
不显现性:现象学的空间:der Raum der Ph…
-
¥120.00
-
-
早点提升孩子的逻辑力
-
¥198.00
-
-
逻辑学有什么用:how to think like a…
-
¥49.80
|
|
图书信息
|
|
|
|
结构证明论
|
| ISBN： | 9787030754745 |
定价： | ￥89.00 |
| 作者： | 马明辉编著 |
出版社： | 科学出版社 |
| 出版时间： | 2023年06月 |
版次： | 2版 |
| 开本： | 24cm |
页数： | 18,245页 |
| 装祯： | 平装 |
中图法： | B812.4 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
8
|
库区7/样本7
|
2026-06-11
|
|
其它供货商库存合计
|
202
|
|
2026-06-11
|
图书简介 | | 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算.根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明，本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算. |
|