书籍简介:

分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法之一，在自动定理证明方面有重要应用。表列方法具有通用于各种逻辑的一般性，不仅经典命题逻辑和一阶谓词逻辑有其表列，在模态逻辑、非单调逻辑等非经典逻辑分支中，表列方法也以不同的形式存在着。

书籍规格:

书籍详细信息
书名	逻辑中的表列方法站内查询相似图书
	9787562049166 如需购买下载《逻辑中的表列方法》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	中国政法大学出版社
版次	1版	印次	1
定价(元)	26.0	语种	简体中文
尺寸	21 × 15	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

逻辑中的表列方法是中国政法大学出版社于2013.7出版的中图分类号为 B81 的主题关于逻辑方法的书籍。