3) category theory
范畴论
1.
Study on the Supply and Demand Metching Method of Emergency Decision-making Knowledge Based on Category Theory
基于范畴论的应急决策知识供需匹配方法研究
2.
Through the research on the mapping relationship and various axioms of category theory and combining the theory with the requirement analysis,we purpose a systematic demand model which can be identified by computer from systematic notion.
通过对范畴论中的映射关系和各种公理的研究,将该理论和需求分析结合起来,提出一种从系统概念转化为计算机可以识别的系统需求的模型。
3.
The way of thinking of category theory is introduced, then the general approach to applying category theory to formal semantic modeling is proposed.
范畴论是一种通用概念框架,可作为软件工程的理论基础。
4) category theory
范畴理论
1.
Formal description for architecture model based on feature and category theory
基于特征和范畴理论的体系结构模型形式化描述
2.
The paper discusses some major parallel models at present,and studies in details the parallel model based on the category theory,categorical data type (CDT) model,the present work actuality and existing problem etc.
在对目前较为流行的一些并行模型机进行简单分析的基础上,对以范畴理论为基础的并行机模型、范畴数据类型(CDT)的研究方法、现状及存在的问题进行了较为深入的研究和探讨。
3.
By using category theory,the properties of corelations,including the basic properties of the correspondence between relations and corelations,equivalence corelations,and coequivalence corelations,are investigated.
文章使用范畴理论研究共关系的基本性质,讨论共关系与关系之间的对应,以及等价共关系、共等价共关系等。
5) theoretical category
理论范畴
1.
The system of theories of socialism with Chinese characteristics is a completely new theoretical category.
中国特色社会主义理论体系是一个崭新的理论范畴。
6) The category of painting theory
画论范畴
补充资料:复合三段论
几个三段论联结而成的推理。前一个三段论的结论是后一个三段论的前提之一(大前提或小前提)。如:“科学是有用的,逻辑学是科学,所以逻辑学是有用的。一切有用的东西都应该学习,因此逻辑学应该学习。”其中,“逻辑学是有用的”是前一个三段论的结论,又是后一个三段论的小前提。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条