期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于消点法的几何自动推理系统实现 被引量:5
1
作者 罗慧敏 《计算机应用》 CSCD 北大核心 2008年第11期2984-2986,共3页
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证... 为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。 展开更多
关键词 几何定理自动证明 自动推理 消点法 可构造性几何命题 构图
下载PDF
论直觉主义逻辑对经典逻辑的挑战 被引量:1
2
作者 颜中军 《湘潭大学学报(哲学社会科学版)》 CSSCI 北大核心 2011年第3期125-128,共4页
直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,... 直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,直觉主义逻辑理论自身面临诸多困境,尽管达米特为此作出了哲学辩护,但依然受到多方面的指责。 展开更多
关键词 直觉主义 直觉主义逻辑 经典逻辑 可构造性
下载PDF
一阶命题演算的希尔伯特型直觉主义系统
3
作者 刘大中 董克诚 《河北大学学报(自然科学版)》 CAS 2001年第2期103-106,共4页
简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 .
关键词 命题演算 希尔伯特型 直觉主义逻辑 可构造性 逻辑演绎 推理
下载PDF
三角数、勾股数与平方数
4
作者 郭伟民 《中等数学》 1997年第6期20-21,共2页
三角数、勾股数、平方数是几个常见而重要的数,本文给出它们之间某种本质的内在联系。
关键词 勾股数 三角数 平方数 正整数解 内在联系 最小解 可构造性 定理2 定义函数 归纳法
下载PDF
基于直觉主义的数学哲学引申意义研究
5
作者 李列 《佳木斯职业学院学报》 2019年第9期44-45,共2页
直觉主义下数学哲学与传统数学对数学对象的概念是不同的,为此研究直觉主义下数学哲学的引申意义。直觉主义强调的是构造性数学,基于一种哲学主张由哲学本源与心智结合而成的数学哲学思想。直觉主义重新构造了数学的定义,强调数学的可... 直觉主义下数学哲学与传统数学对数学对象的概念是不同的,为此研究直觉主义下数学哲学的引申意义。直觉主义强调的是构造性数学,基于一种哲学主张由哲学本源与心智结合而成的数学哲学思想。直觉主义重新构造了数学的定义,强调数学的可构造性,认为数学对象是由人类逻辑思维和心理构造而成的,但直觉主义下的数学哲学是难以逾越理论障碍的。 展开更多
关键词 直觉主义 可构造性 数学对象 心理构造
下载PDF
Hierarchical 3D mechanical parts matching based-on adjustable geometry and topology similarity measurements 被引量:1
6
作者 马嵩华 田凌 《Journal of Central South University》 SCIE EI CAS 2014年第1期89-99,共11页
A hierarchical scheme of feature-based model similarity measurement was proposed,named CSG_D2,in which both geometry similarity and topology similarity were applied.The features of 3D mechanical part were constructed ... A hierarchical scheme of feature-based model similarity measurement was proposed,named CSG_D2,in which both geometry similarity and topology similarity were applied.The features of 3D mechanical part were constructed by a series of primitive features with tree structure,as a form of constructive solid geometry(CSG) tree.The D2 shape distributions of these features were extracted for geometry similarity measurement,and the pose vector and non-disappeared proportion of each leaf node were gained for topology similarity measurement.Based on these,the dissimilarity between the query and the candidate was accessed by level-by-level CSG tree comparisons.With the adjustable weights,our scheme satisfies different comparison emphasis on the geometry or topology similarity.The assessment results from CSG_D2 demonstrate more discriminative than those from D2 in the analysis of precision-recall and similarity matrix.Finally,an experimental search engine is applied for mechanical parts reuse by using CSG_D2,which is convenient for the mechanical design process. 展开更多
关键词 D2 shape distribution CSG tree geometry dissimilarity topology dissimilarity adjustable weight
下载PDF
A Techno-Economic Paradigm Perspective on the 'Third Industrial Revolution' and China's Strategies in Response
7
作者 黄群慧 贺俊 《China Economist》 2013年第2期4-17,共14页
Built on artificial intelligence, digitalization, and information technologies, the "Third Industrial Revolution "" transforms large-scale assembly lines and flexible manufacturing system with fundamental modern ma... Built on artificial intelligence, digitalization, and information technologies, the "Third Industrial Revolution "" transforms large-scale assembly lines and flexible manufacturing system with fundamental modern manufacturing technologies and features personalized manufacturing, which is enabled by reconfigurable manufacturing system, and quick market response. It is a profound transformation of techno-economic paradigms, imbedded in the technology, management, and institutional systems. As this revolution deepens, it is likely that manufacturing and the manufacturing sector would acquire new definitions. In addition, the resource foundation and factor structure, which are central to the competitiveness of a nation and an enterprise, would perhaps be reconfigured, hence rewriting the landscape of global industrial competition. Under this scenario, the "smiling curve '" which used to portray the economic features of the value chain, may change into a "silence curve" or even "sadness curve ". The catching- up pathway of latecomer countries, as predicted by the traditional 'flying geese model", is likely to be blocked, solidifying the division of"core and periphery countries" which is unfavorable to developing countries. Industrial competition between countries would move from competition between enterprises and supply chains to competition in industrial ecosystems, matdng system adaptability and dynamics the key to long-term industrial competitiveness. As an effort to embrace the "Third Industrial Revolution" and meet the challenges brought by "multi-facets competition" with developed industrial nations in various links of value chain, in the future China should make appropriate adjustments in its strategies for economic transition and upgrading, global competition, technological innovation, industrial development and information technology. 展开更多
关键词 advanced manufacturing technology the Third Industrial Revolution techno-economic paradigm economic development strategy
下载PDF
浅谈广谱哲学的三个特点 被引量:9
8
作者 张玉祥 常晓辉 《自然辩证法研究》 CSSCI 北大核心 2014年第7期120-124,共5页
关于广谱哲学的定义有很多,它们是从不同的视角考察的结果。这里从广谱哲学三个特点(可构造性、可广义量化性、可操作性)的角度,结合日常生活的例子,给广谱哲学以新的概括,从而突出广谱哲学与其它哲学的显著区别。
关键词 广谱哲学 可构造性 广义量化性 可操作性
原文传递
推荐五本世界公认的逻辑学著作
9
作者 素沁 《哲学动态》 CSSCI 北大核心 1989年第2期45-46,共2页
(1) G·Takeuti和W.M.Zaring的《公理化集合论导引》第2版(Introduction to Axiomatic Set Theory [2nd ed]),本书以Zermelo-Fraenke的理论为线索全面介绍公理化集合的Godel和Cohen相容性和独立性理论,用这种论述方式介绍,读者能较... (1) G·Takeuti和W.M.Zaring的《公理化集合论导引》第2版(Introduction to Axiomatic Set Theory [2nd ed]),本书以Zermelo-Fraenke的理论为线索全面介绍公理化集合的Godel和Cohen相容性和独立性理论,用这种论述方式介绍,读者能较容易地掌握公理化集合论的基本理论以及其他相关结果,并进入到80年代的许多新的前沿课题。本书1971年初版,1982年第2版对初版作了全面刷新,增添了许多新内容,如Silver机、证明可构造性公理化相容性的结构设计等。本书可作为数理逻辑专业研究生一个学期集合论课程的标准教材。 (2) G·Takeuti和W.M.Zaring的《公理化集合论》(Axiomatic Set Theory)。本书是《公理化集合论导引》 展开更多
关键词 公理化集合论 数理逻辑 相容性 可构造性 新内容 结构设计 基本理论 前沿课题 标准教材 相关结果
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部