扩展的三段论及自动推理
出版时间:
2009-03
版次:
2
ISBN:
9787502363185
定价:
56.00
装帧:
平装
开本:
16开
纸张:
其他
页数:
295页
正文语种:
简体中文
30人买过
-
《扩展的三段论及自动推理》着重论述了作者的三段论形式化研究和自动推理研究的最新进展和创新成果。所谓的第三次数学危机实际上是首次逻辑学危机:逻辑学由于没有数学的准确定义使得逻辑规则失效一一违背同一律。对于三段论的改进与对罗素悖论的改进其意义是一致的,都是先于逻辑准确定义逻辑的对象,这是解决逻辑危机的必由之路。逻辑原子主义应该承认,没有数学的逻辑学不可靠,将数学完全解释为逻辑学是不可能的。 第1章逻辑的本质与逻辑学的分类标准
第2章亚里士多德三段论产生的背景和三段论研究的意义
第3章亚里士多德三段论的特征
第4章亚里士多德三段论的形式化
第5章亚里士多德三段论面临的问题
第6章扩展的三段论:数学意义和基本特征
第7章扩展的三段论的有效格式
第8章扩展的三段论形式系统
第9章一阶语言的改进及其对扩展的三段论形式语言的解释
第10章扩展的三段论自动推理的实现方式
第11章结语
-
内容简介:
《扩展的三段论及自动推理》着重论述了作者的三段论形式化研究和自动推理研究的最新进展和创新成果。所谓的第三次数学危机实际上是首次逻辑学危机:逻辑学由于没有数学的准确定义使得逻辑规则失效一一违背同一律。对于三段论的改进与对罗素悖论的改进其意义是一致的,都是先于逻辑准确定义逻辑的对象,这是解决逻辑危机的必由之路。逻辑原子主义应该承认,没有数学的逻辑学不可靠,将数学完全解释为逻辑学是不可能的。
-
目录:
第1章逻辑的本质与逻辑学的分类标准
第2章亚里士多德三段论产生的背景和三段论研究的意义
第3章亚里士多德三段论的特征
第4章亚里士多德三段论的形式化
第5章亚里士多德三段论面临的问题
第6章扩展的三段论:数学意义和基本特征
第7章扩展的三段论的有效格式
第8章扩展的三段论形式系统
第9章一阶语言的改进及其对扩展的三段论形式语言的解释
第10章扩展的三段论自动推理的实现方式
第11章结语
查看详情
-
九五品
河北省石家庄市
平均发货33小时
成功完成率57.14%
-
九五品
北京市海淀区
平均发货5小时
成功完成率90.11%
-
九品
天津市津南区
平均发货18小时
成功完成率89.9%
-
九品
北京市昌平区
平均发货24小时
成功完成率90.48%
-
九五品
北京市朝阳区
平均发货17小时
成功完成率98.31%
-
九五品
山东省济南市
平均发货13小时
成功完成率86.53%
-
九五品
山东省济南市
平均发货9小时
成功完成率69.01%
-
八品
内蒙古包头市
平均发货12小时
成功完成率96.44%
-
八五品
河南省信阳市
平均发货11小时
成功完成率97.3%
-
九品
山东省聊城市
平均发货17小时
成功完成率90.41%
-
九品
山东省聊城市
平均发货17小时
成功完成率90.41%
-
九品
河南省郑州市
平均发货11小时
成功完成率95.81%
-
九品
河北省廊坊市
平均发货14小时
成功完成率95.33%