成功加入购物车
张寅生 著 / 科学技术文献出版社 / 2009-03 / 平装
售价 ¥ 30.00 5.4折
定价 ¥56.00
品相 九品品相描述
上书时间2021-08-09
扩展的三段论及自动推理
《扩展的三段论及自动推理》着重论述了作者的三段论形式化研究和自动推理研究的最新进展和创新成果。所谓的第三次数学危机实际上是首次逻辑学危机:逻辑学由于没有数学的准确定义使得逻辑规则失效一一违背同一律。对于三段论的改进与对罗素悖论的改进其意义是一致的,都是先于逻辑准确定义逻辑的对象,这是解决逻辑危机的必由之路。逻辑原子主义应该承认,没有数学的逻辑学不可靠,将数学完全解释为逻辑学是不可能的。
第1章逻辑的本质与逻辑学的分类标准第2章亚里士多德三段论产生的背景和三段论研究的意义第3章亚里士多德三段论的特征第4章亚里士多德三段论的形式化第5章亚里士多德三段论面临的问题第6章扩展的三段论:数学意义和基本特征第7章扩展的三段论的有效格式第8章扩展的三段论形式系统第9章一阶语言的改进及其对扩展的三段论形式语言的解释第10章扩展的三段论自动推理的实现方式第11章结语
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30