逻辑中的表列方法
作者： 孔红著
关键词： 逻辑方法
页数：236
出版社： 北京：中国政法大学出版社
出版日期：
发现《逻辑中的表列方法》在 2023-08-16 可全文阅读或下载。
图书简介
分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法之一，在自动定理证明方面有重要应用。表列方法具有通用于各种逻辑的一般性，不仅经典命题逻辑和一阶谓词逻辑有其表列，在模态逻辑、非单调逻辑等非经典逻辑分支中，表列方法也以不同的形式存在着。
用户须知
出版社通过教客网下载电子书并起诉站长多次，本站随时可能倒闭。
诉讼案号：（2022）川01民初4401，（2022）川01民初4403，（2022）川01民初4403，（2022）川0191民初19351号， （2022）川0191民初19594号，（2022）川0191民初20457号，（2022）川0191民初20459号， （2023）川知民终373号，（2023）川知民终374号，（2023）川知民终375号， （2024）川0191民初15977号，（2024）川0191民初15979号，（2024）川0191民初15980号， （2024）川0191民初15981号，（2024）川0191民初15982号
- 找《逻辑中的表列方法》，去就近图书馆。
- 本页面文字内容和图片来自 m.5read.com。
- 封皮图片引用地址：http://cover.duxiu.com/coverNew/CoverNew.dll?iid=686a666a6d6d66676e695da5a696ae98ab9ca9a498a9a23439373634313337