公理
- 与 公理 相关的网络解释 [注:此内容来源于网络,仅供参考]
-
axiomatize
使公理化
axiomatics | 公理体系 公理学 | axiomatize | 使公理化 | axis based error | 轴线误差
-
axiom of betweenness
介中性;中间性
关联公理 axiom of alignment | 介中性;中间性 axiom of betweenness | 选择公理 axiom of choice
-
computability
可计算性
后来我上数学系,学了更多的"公理系统",在做毕业论文时还自己设计了一个公理系统,以便来证明数学上"可计算性"(Computability)里边,一条没有证明的定理.
-
consistency of linear equations
线性方程组的兼容性
公理的兼容性;公理的一致性;公理的无矛盾性 consistency of axioms | 线性方程组的兼容性 consistency of linear equations | 兼容原则 consistency principle
-
cosecant
余割
(cosine)、正切(tangent)、余割(cosecant)、正割(secant)和余切(cotangent). 22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等24 推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等25 边边边公理(SSS) 有三边对应相等的两个三角形全等
-
cotangent
余切
(cosine)、正切(tangent)、余割(cosecant)、正割(secant)和余切(cotangent). 22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等24 推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等25 边边边公理(SSS) 有三边对应相等的两个三角形全等
-
derivation
导出
它的一个同义词是导出(derivation). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.
-
obvious
显明的
他认为公理是显明的(obvious),每个人都能接受而不必证明. 要作推理,除了公理之外,还需要一些定义(definitions)﹑假设(hypothesis)以及一般公理(postulates,适用於所有科学,例如等量加法公理).
-
secant
正割
(cosine)、正切(tangent)、余割(cosecant)、正割(secant)和余切(cotangent). 22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等24 推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等25 边边边公理(SSS) 有三边对应相等的两个三角形全等
-
secant
割
(cosine)、正切(tangent)、余割(cosecant)、正割(secant)和余切(cotangent). 22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等24 推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等25 边边边公理(SSS) 有三边对应相等的两个三角形全等
- 推荐网络解释
-
antiquated law:兩- 過時的法例
anti-fraud 兩- 打擊欺詐 港- 打擊詐騙 台- 制止背信 | antiquated law 兩- 過時的法例 | anti-trust 兩- 反托拉斯;反壟斷 台- 反托拉斯;反獨佔;反壟斷
-
permutable:可排列
permutability 转置性 可置换性 换排性 | permutable 可排列 | permutate 重排列
-
Wilson Tong:导 演 唐伟成
◎导 演 唐伟成 Wilson Tong | ◎主 演 刘家辉 Chia Hui Liu | 卢惠光 Ken Lo