英语人>词典>汉英 : 范畴论 的英文翻译,例句
范畴论 的英文翻译、例句

范畴论

词组短语
categorical theory · category theory
更多网络例句与范畴论相关的网络例句 [注:此内容来源于网络,仅供参考]

In Order to solve the question that the criminal theory system is the formal or material,it is necessary to contact the question that the criminal theory system is categorical system or teleological system.

犯罪论体系是范畴论还是目的论,是形式犯罪论与实质犯罪论的原点问题。要解决形式与实质犯罪论这一新的刑法学派之争,必须联系犯罪论体系的范畴论与目的论予以考察。

Instead, a morphism is often thought of as an arrow linking an object called the domain to another object called the codomain.

范畴论中,态射不必是函数,而通常被视为两个对象间的箭头。

Notable examples are the development of category theory, which provides a useful framework for a large part of mathematics, homological algebra, and applications of model theory to algebra.

比较明显的例子是范畴论的发展,范畴论对数学,同调代数,以及模论在代数上的应用都提供了一个十分有用的框架。

Then on the basis of western existential, we analyze definite meaning of the existential, explore the existential philosophy of the traditional philosophy plight of abandoned and beyond. Basing on this demonstration of the praxis category with the existential meaning. Marx pointed out in the innateness of human, natural fact, the natural state of survival reached the general attention, existential significance of praxis can be fully reflected. And explained that Marxist philosophy in the modern existential philosophy of the founders position.

之后以西方生存论为基础对生存论的内涵进行了分析和界定,探讨了生存论哲学对传统哲学理论困境的扬弃与超越,在此基础上通过考察马克思在对人的本然、实然、应然的生存状态的总体性关注中所体现的实践范畴所具有的生存论意蕴,并说明了马克思哲学在现代生存论哲学中的奠基性地位。

This paper starts by giving the mathematical background of monad by introducing the concept of category, functor, natural transformation and monad respectively.

本文依次给出了范畴论中范畴、函子、自然变换以及Monad的概念,并以Haskell语言为例,给出了上述概念在Haskell语言中的实现。

He discussed some of them in the Organon—particularly Categories —and others he did not discuss at all.

他在《工具论》特别是《范畴论》中讨论一些,其他他没有讨论。

Criminal theory system can be divided categorical system and teleological system.

刑法中的犯罪论体系,依据其是根据事物本身论理还是根据一定目的而建立,可分为范畴论和目的论。

In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.

在语言哲学方面它继承了弗雷格的意义论,罗素的指称论,卡尔纳曾的实证主义,古德曼的现代实在论,塔斯基的语义学真理论,克里普克的模态逻辑可能世界语义学的传统,开辟了自然语言形式语义学研究的新方向;在理论语言学方面,他受乔姆斯基形式化语言研究思想的影响,并把这一思想扩展到自然语言的语义研究方面;蒙太格语法的理论来源有两个方面:逻辑方面是逻辑语义学思想和内涵类型论理论,语言学方面是范畴语法和转换生成语法。

The thesis hold the viewpoints as follows: Dong zhong-shu inherited the ideology of Confucianist School in pre-Qin days by adopting the thought of "Grand Unification","Policy of Benevolence" and "Neutral Political Point", absorbed the ideology of Taoist School by accepting the thought of "Rule by Nonaction" in the relationship of monarch-ministers and monarch-people, incorporated the ideology of Mohist School by embracing the thought of "Heaven"s Will" and "Unify to One", assimilated the ideology of Legalist School by drawing the thought of "Being Dominated by Morals with the Assistance of Penalty" and "Unify to Laws, merged the ideology of Yin-Yang School by assuming the thought of Yin-Yang and the Five Elements.

本文认为:在&大一统&论、德治论、&中和&论等方面,董仲舒继承了先秦儒家的&定于一&、&施仁政&、&致中和&等思想;在君臣关系、君民关系等方面,董仲舒吸收了道家的&无为而治&思想;在&天志&论、&大一统&论等方面,董仲舒兼容了墨家的&天志&、&上同于一&等思想;在&德主刑辅&论、&大一统&论等方面,董仲舒汲取了法家的&德刑并用&、&天下统一于法&等思想;在&天&的范畴、君主独尊地位的合理性、&尊德卑刑&论、&三统说&等方面,董仲舒融合了阴阳家的阴阳五行学说。

Nevertheless, morphisms are not necessarily functions, and objects over which morphisms are defined are not necessarily sets.

对态射和它们定义于其间的结构的抽象研究构成了范畴论的一部分。

更多网络解释与范畴论相关的网络解释 [注:此内容来源于网络,仅供参考]

categorical theory:范畴论

categorical syllogism 直言三段论 | categorical theory 范畴论 | categoricity 范畴性

Categorical variable:分类变数

categorical theory | 范畴论 | categorical variable | 分类变数 | categorical | 无条件的, 绝对的, 直接了当的(陈述、理论等)

categoricity:范畴性

categorical theory 范畴论 | categoricity 范畴性 | category 范畴

CATEGORY:范畴

最近这些年来一种称为"范畴"(Category)的东西在计算机理论研究中频频出现. 范畴论是从同调代数发展而来的一种较新的代数语言,但它显然也不是可以解决任何问题的灵丹妙药. 多一种表达方式当然在某种程度上可以增进我们的理解.

The Folkways:民俗论

The Federalist 联邦党人文集 | The Folkways 民俗论 | The Force of Knowldedge:The Scientific Dimension ofSociety 知识的力量--科学的社会范畴

phenocopy:表型复制

以其直接与"知识建构"有关的一系列思想为例,皮亚杰提出的解释性概念有双 向建构、同化与顺化、表型复制(Phenocopy)、平衡化与自动调节、构态与范畴论(mor- Phisms and categories)等.

theory of types:类型论

当然,我们知道这在哲学和数学中是一个老观点, B.罗素的类型论(Theory of Types)以及莱斯尼斯基(Lesniewski)和埃杜凯威兹(Ajdukiewicz)的范畴语法(Categorial Grammar)就是基于这个思想的.

Categorial Grammar:范畴语法

当然,我们知道这在哲学和数学中是一个老观点, B.罗素的类型论(Theory of Types)以及莱斯尼斯基(Lesniewski)和埃杜凯威兹(Ajdukiewicz)的范畴语法(Categorial Grammar)就是基于这个思想的.

Categorial Intuition:范畴直觉

7. Truth as Identity-synthesis 作为同一性综合的真理 | 8. Categorial Intuition 范畴直觉 | 9. A Productive Paradox 一个多产的悖论

Phaedo:<斐多篇>

他处理了自然哲学、人生哲学、存在论(理型论)、宇宙论、知识论、政治论、道德论、灵魂论、艺术论、范畴论、辩证法、几何学、修辞学等等的问题;而他所提出的很多哲学概念如理型(idea),回忆说(recollection)及哲学王(Philosopher King)等等,对[2]这五篇对话录分别为:<<斐多篇>>(Phaedo)、<<斐德罗篇>&gt