axiom system
同义词释义
- 1)axiom system,公理系统2)axiomatic system,公理系统3)axiomatic system ∑,公理系统∑4)the ZF system of axioms,ZF公理系统5)Peano's axiom system,Peano公理系统6)new axiom system,新公理系统
用法例句
Relations between some axiom systems for matroids and the automorphism groups of a matroid;
拟阵的几个公理系统与其自同构群的关系
Two groups of axioms in the natural axiom system of probability theory are set up.
建立《概率论自然公理系统》中的第 组和第 组公理。
This paper sets forth the process of axiom information theory, and gives its axiom system.
本文阐述了公理信息论的产生 ,并且给出公理信息论的公理系
Research on axiomatic systems of Pawlak rough sets;
Pawlak粗糙集的公理系统
Using operator to model constraints,this paper researches such abstract operator logic,analyzes its syntax,semantics,axiomatic system,its natural deduction system and its normalized natural deduction system,provide the theoretical foundation for constrict analysis of hierarchy system.
研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统。
The development of axiomatic approach,the characateristics of axiomatic system and its incompleteness,the use of axiomatic approach in Physics and its position in epistemology are discussed.
讨论了公理化方法的发展,公理系统的特点和公理系统的不完备性,公理化方法在物理学中的借鉴,及其在认识论中的地位,还讨论了公理化方法在物理学中应用的限度,及其在自然科学理论中的最基本要
The paper presents a model of the axiomatic system ∑ in the particle geometry in the ordinary space.
在通常的直观空间中给出平面质点几何学公理系统∑的一个模型。
In this paper, the author explains the past and present researches on this problem and introduces in simple terms some concerning problems: the ZF system of axioms, the axiom of choice and so on.
本文深入浅出地阐述了这一问题的研究历史和现状 ,同时简要介绍了与之有关的ZF公理系统、选择公理等问题 ,指出了这些问题在数学基础研究方面的重大意
The Independence of Several Axioms in Euclidean System
欧几里德公理系统中几个公理的独立性
Utility Management System
公用设施工程管理系统
The Relationship between CG Structure and CG Mechanism A System Approach;
从公司治理系统分析公司治理结构与公司治理机制的关系
Contact your telephone company or phone-system administrator
与电话公司或电话系统管理员联系
A Study of Applying Customer Relationship Management (CRM) in Chinese Securities Industry;
证券公司客户关系管理系统应用研究
The Research on Customer Relationship Management System of China Unicom, Chongqing Branch;
重庆联通公司客户关系管理系统研究
Reestablishing Primary Geometry System under H. Wegl Axion System;
在韦尔公理体系下重建中学几何系统
Document and Right Management in OA System
OA系统中的公文管理与人员权限管理
The Road Web Geographical Information System Based On ArcIMS--Taking the Road Web Geographical Information System of Guangdong Province for Example;
基于ArcIMS的公路地理信息系统——以广东公路地理信息系统为例
Adobe Systems Inc.
Adobe系统公司
Banyan Systems Corp.
Banyan系统公司
Study on the Performance Evaluation System of Multinational Corporations Strategic Management Subsystem;
跨国公司战略管理子系统—业绩评价系统研究
Research of Business Management Subsystem of Anshan Power Supply Corporation ERP System;
鞍山供电公司ERP系统—营销管理子系统的研究
The Design and Implementation of Organization and Access Control Management Subsystem in *** Company s PLM System;
***公司PLM系统组织权限管理子系统的设计与实现
The Workflow Management System Technique s Applying in Office Automation;
工作流管理系统在办公自动化系统中的应用
The Design and Implementation of Documents Processing Subsystem in Municipal Government OA System;
市政府OA系统公文处理子系统设计与实现
Information Management System of Traffic Police Based on the WebSphere (Vehicle Management System);
基于WebSphere的公安交警信息管理系统(车管系统)
Public Security-oriented Security Management of Information System
面向公安行业的信息系统安全管理系统研究
相关英语词汇
- accessible vertex是什么意思
- axis of absolute convergence是什么意思
- arbitrary element是什么意思
- Archery是什么意思
- alternating knot是什么意思
- accumulation point是什么意思
- asymptotic convergence rate是什么意思
- admissibility limit是什么意思
- absolute maximum是什么意思
- autoradiogram是什么意思
- approaching sampling technique是什么意思
- arithmetical predicate是什么意思
- average sample number,ASN是什么意思
- argument是什么意思
- additive functional transformation是什么意思
- axiom of constructibility是什么意思
- additive channel是什么意思
- absolute norm是什么意思
- analytically representable function是什么意思
- associated space是什么意思
- Attaining Point是什么意思
- alternating renewal process是什么意思
- ascending powers是什么意思
- approximate lower semi continuity是什么意思
- associative law for series是什么意思
- asymptote of curve是什么意思
- absorbing medium是什么意思
- admissible function是什么意思
- analytical continuation是什么意思
- add sampling methods是什么意思