同类推荐
-
-
基本演绎法
-
¥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： | 9787030616012 |
定价： | ￥88.00 |
| 作者： | 马明辉编著 |
出版社： | 科学出版社 |
| 出版时间： | 2019年06月 |
开本： | 24cm |
| 页数： | 12,254页 |
装祯： | 平装 |
中图法： | B812.4 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
202
|
|
2026-06-11
|
图书简介 | | 本书介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算，它们是结构证明论的基础理论。甘岑式矢列演算的基本定理是切割消除。运用证明论研究方法，通过分析证明的结构可以得到一些逻辑性质，如子公式性质、可判定性、插值性质等等。本书还介绍了经典模态命题逻辑以及一些代数逻辑的结构证明论。 |
|