演绎
演绎法
演绎推理
拼音:yǎn yì tuī lǐ 首字母大写:YYTL五笔:ipgw xcg rwyg gj 演绎推理的同义词反义词
亦称“演绎法”。简称“演绎”。“归纳推理”的对称。从包含一般性知识的前提推出包含特殊性知识的结论的推理。这里所说的一般和特殊都是相对而言的。演绎推理全都是必然性推理。主要的形式是三段论。
演绎证明
拼音:yǎn yì zhènɡ mínɡ 首字母大写:YYZM五笔:ipgw xcg yg je 演绎证明的同义词反义词
“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识,论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。
阐绎
翻援
公理化方法
拼音:ɡōnɡ lǐ huà fānɡ fǎ 首字母大写:GLHFF五笔:wc gj wx yy ifc 公理化方法的同义词反义词
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
几何学(几jǐ)
拼音:jǐ hé xué ( jǐ j ǐ )首字母大写:JHX(JJǐ)五笔:wtn wsk ipb ( wtn j ǐ ) 几何学(几jǐ)的同义词反义词
研究空间和图形性质的一门学科。古埃及为了兴建尼罗河水利工程进行土地测量,推动几何学的产生和发展。公元前3世纪,古希腊数学家欧几里得总结前人研究成果,建立演绎体系,写出了经典名著《几何原本》。17世纪,法国数学家笛卡儿用代数方法研究几何问题,创立了解析几何。18、19世纪由于工程、力学和土地测量的需要,产生了画法几何、射影几何和微分几何;以后又出现了非欧几何、黎曼几何等。20世纪以来,进一步发展了微......更多
欧几里得几何
拼音:ōu jǐ lǐ dé jǐ hé 首字母大写:OJLDJH五笔:arq wtn jfd tj wtn wsk 欧几里得几何的同义词反义词
简称“欧氏几何”。几何学的一门分科。公元前3世纪,古希腊数学家欧几里得把人们公认的一些几何知识作为定义和公理,在此基础上研究图形的性质,推导出一系列定理,组成演绎体系,写出《几何原本》,形成了欧氏几何。在其公理体系中,最重要的是平行公理,由于对这一公理的不同认识,导致非欧几何的产生。按所讨论的图形在平面上或空间中,分别称为“平面几何”与“立体几何”。