ISBN/价格: | 978-7-03-075474-5:CNY89.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 结构证明论/.马明辉编著 |
版本项: | 2版 |
出版发行项: | 北京:,科学出版社:,2023.06 |
载体形态项: | 18,245页:;+24cm |
一般附注: | 高等学校逻辑学专业系列教材/刘虎主编 |
提要文摘: | 本书在介绍古典句子逻辑和直觉主义逻辑的基础上,给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算.根据结构的定义和结构规则,区分不同类型的矢列演算,并且以切割消除为工具,给出了插值性质、可判定性等问题的证明,本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算. |
题名主题: | 证明 高等学校 教材 |
中图分类: | B812.4-43 |
个人名称等同: | 马明辉 编著 |
记录来源: | CN 安徽时代 20231007 |