范畴论
- 与 范畴论 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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.
对态射和它们定义于其间的结构的抽象研究构成了范畴论的一部分。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时,他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想,是邓小平经济理论体系中的重要组成部分,是我国经济建设根本任务的一个重要方面。