公理系统

complete accumulation point

完全聚点

complete abelian variety 完备阿贝耳簇 | complete accumulation point 完全聚点 | complete axiom system 完备公理系统

Boolean algebra

布尔代数

(2)布尔代数(Boolean Algebra)是代数系统中最为基础的部分,也是最核心的基本理论. 主要包括了集合的基本概念和运算,自对偶的公理系统. 是数据表示的重要基础. 相信大家都非常清晰他的重要性. (3)关系代数(Relational Algebra)应用也是极为广泛,

axiom of union

联集公设;联集公理

847,"axiom of superposition","叠合公设;叠合公理" | 848,"axiom of union","联集公设;联集公理" | 849,"axiom system","公设系统"

axiomatic method

公设方法;公理方法

849,"axiom system","公设系统" | 850,"axiomatic method","公设方法;公理方法" | 851,"axiomatic set theory","公设化的集合论"

axiomatic set theory

公理化的集合论

公理式的方法;公设式的方法 axiomatic method | 公理化的集合论 axiomatic set theory | 公理系统;公理学 axiomatics

axiomatization

公理化

由於>非常成 功地建立了几何学的公理系统,它不仅成为西方以后二千多年的几何学教科书,而且更成为其他学科公理化( Axiomatization)的楷模.

completely homologous maps

完全同党射

completely distributive lattice 完全分配格 | completely homologous maps 完全同党射 | completely independent system of axioms 完全独立公理系统

computability

可计算性

后来我上数学系,学了更多的"公理系统",在做毕业论文时还自己设计了一个公理系统,以便来证明数学上"可计算性"(Computability)里边,一条没有证明的定理.

rigor

严谨

4-水平:严谨(Rigor),其特征是学生领会了现代公理系统的严密性,对于几何对象的具体性 质以及几何关系的具体含义都可以不作解释,而是完全抽象地建立一般化的几何理论,这实质上已 经将几何提高到一个广泛应用的领域.譬如他能比较各种公理体系,

systematic selection

系统选择

在von Mises的理论中,这个公理是他的集合概念的定义的一部分:他要求一个集合中频率的极限一定要对任何种类的系统选择(systematic Selection)不敏感(他指出,赌博系统总是可被认为是一种系统选择.

Ontario moonstone：安大略月光石,安大略月长石

onicolo 玛瑙 | Ontario moonstone 安大略月光石,安大略月长石 | onychite 雪花石膏

She is vilified by the press for her controversial view：因她持有异议,新闻界对她横加挞伐

牐12. vilify 诽谤,中伤 | 牐燬he is vilified by the press for her controversial view. 因她持有异议,新闻界对她横加挞伐. | 牐13. decry 责难,诽谤