和谐典范,harmonious epitome,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 和谐典范

1) harmonious epitome 点击朗读

和谐典范

2) harmony in norm 点击朗读

规范和谐

This article traced the school of western jurisprudence such as Natural Jurisprudence,Analytical Jurisprudence,Sociological Jurisprudence and Post-modern Legal Trend to discuss a fundamental legal conception about "harmony",and then the author refined four theoretical paradigm for harmonious rule of law as harmony in reason,harmony in norm,harmony in interest,harmony in duality.

梳理西方法哲学流派中自然法学派、规范分析法学派、社会学法学派和后现代法学思潮有关"和谐"这一基础法观念的知识,可以提炼出理性和谐、规范和谐、利益和谐与二元和谐四大和谐法治的理论模式。

更多例句>>

3) the classical harmonious beauty 点击朗读

古典和谐美

Thus seeking the reflection of the classical harmonious beauty is the core of all Shen Congwen\'s works.

沈从文文学世界中的一个核心方面,是一种久已不见的古典和谐美:自然与人和谐统一,自然景物与人交融共存,万物息息相关,互感互知,皆笼罩在一个既无情又有情、运行不息的"天地"之中。

更多例句>>

4) Hangzhou Harmonious Development 点击朗读

和谐杭州示范区

Implementing "Harmonious Society" Theory into Urban Spaces——The Edification of "Hangzhou Harmonious Development";

论“和谐社会”理念在城市空间上的实现——构建“和谐杭州示范区”的启迪

5) harmonic gauge condition 点击朗读

谐和规范条件

6) Systematic harmonious paradigm 点击朗读

系统和谐范式

补充资料：Post典范系统

Post典范系统
Post canonical system

　　，ec~c“eTeMa]，Post演算(Post ealculus) 字的可数集的一种定义方法(见可枚举集(e口山n-erable set)).Post典范系统概念是E .Post于1943年引进的，是适用于定义任意可枚举集和不依附于生成对象的逻辑结构及其语义或推导法则(deriv如onn日e)的演算(cal以如s)的第一个一般概念.一个Post典范系统由一个四元组A，尸，了，二给出;其中A是演算的字母表，P(与A无公共元素)是变元字母表，了是由A中的字构成的表(演算公理)，而7T是形如 G!.，p;、，“·GI、。p，、。G】，。十. (*) G用，，P用、一G。。二夕，、。，G，、。，、- G、P、…G。P，G。十、的推导法则的表(G‘，j是A中指定的字;p。是尸中指定的字母).一个字Q可由字Q:，一，Q.利用法则(*)得到，如果对于(*)中尸的任何字母都能在A中找到相应的字(称为该字母的值)，当把它代入(，)中所有的变元之后，则(。)中线上边的字变为Q;，…，Q。，而线下边的字变为Q.根据对推导法则的如此理解，在P叱t典范系统中定义推演.在演算理论中，A中可枚举字的集合(cn切rnera比setof场叼川)采用下面与通常定义等价的定义:M称为可枚举的(enu几rrable)，如果它与某一Post典范系统中导出的A中的字的集合相同，这个P渭t典范系统的字母表应包含A(用至少增加一个字母亡来扩充A的必要性是不可避免的，然而可以要求，除M之外只有形如亡Q的字可以导出，其中Q是A中的字). 可以考虑PO6t典范系统概念的各种特殊形态:l)R招t正规系统(R粥t norlllal system)(所有法则形女口 GP、_ PG‘/’ 2)局部演算(local calc吐)(法则形如夕，G尸2〕_ 17:G‘尸2」’ 3)约束演算(restricted calc吐)(一个字母的字母表，法则具有一个前提);等. 上面提到的几种特殊形态是假定有一个公理，以及一个任意的Post典范系统可以导出它们中的任意一个(Post典范系统和Post正规系统(Post蒯功目sys-tem)之间的等价是Post证明的，对寻找不可解系统有重要意义). 参考文献见演算(calculus). C.劝，Mac月OB撰[补注]正则典范系统(regular eano皿al system)的出现是特别重要的.在一个正则典范系统中每一个推导法则形如“Gp产生G’p”，其中G和G‘皆是演算的字母表上的字，p是一个变元.更详细的内容在【All中可以找到.巧st典范系统【l、活tc翻以血目哪tem;noeTa Ra.o一
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

古典和谐型审美形态典范演讲和发音的典范简论和谐社会范畴和谐

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 和谐典范 1) harmonious epitome 和谐典范 2) harmony in norm 规范和谐 1. This article traced the school of western jurisprudence such as Natural Jurisprudence,Analytical Jurisprudence,Sociological Jurisprudence and Post-modern Legal Trend to discuss a fundamental legal conception about "harmony",and then the author refined four theoretical paradigm for harmonious rule of law as harmony in reason,harmony in norm,harmony in interest,harmony in duality. 梳理西方法哲学流派中自然法学派、规范分析法学派、社会学法学派和后现代法学思潮有关"和谐"这一基础法观念的知识,可以提炼出理性和谐、规范和谐、利益和谐与二元和谐四大和谐法治的理论模式。更多例句>> 3) the classical harmonious beauty 古典和谐美 1. Thus seeking the reflection of the classical harmonious beauty is the core of all Shen Congwen\'s works. 沈从文文学世界中的一个核心方面,是一种久已不见的古典和谐美:自然与人和谐统一,自然景物与人交融共存,万物息息相关,互感互知,皆笼罩在一个既无情又有情、运行不息的"天地"之中。更多例句>> 4) Hangzhou Harmonious Development 和谐杭州示范区 1. Implementing "Harmonious Society" Theory into Urban Spaces——The Edification of "Hangzhou Harmonious Development"; 论“和谐社会”理念在城市空间上的实现——构建“和谐杭州示范区”的启迪 5) harmonic gauge condition 谐和规范条件 6) Systematic harmonious paradigm 系统和谐范式补充资料：Post典范系统 Post典范系统 Post canonical system 　　，ec~c“eTeMa]，Post演算(Post ealculus) 字的可数集的一种定义方法(见可枚举集(e口山n-erable set)).Post典范系统概念是E .Post于1943年引进的，是适用于定义任意可枚举集和不依附于生成对象的逻辑结构及其语义或推导法则(deriv如onn日e)的演算(cal以如s)的第一个一般概念.一个Post典范系统由一个四元组A，尸，了，二给出;其中A是演算的字母表，P(与A无公共元素)是变元字母表，了是由A中的字构成的表(演算公理)，而7T是形如 G!.，p;、，“·GI、。p，、。G】，。十. () G用，，P用、一G。。二夕，、。，G，、。，、- G、P、…G。P，G。十、的推导法则的表(G‘，j是A中指定的字;p。是尸中指定的字母).一个字Q可由字Q:，一，Q.利用法则()得到，如果对于()中尸的任何字母都能在A中找到相应的字(称为该字母的值)，当把它代入(，)中所有的变元之后，则(。)中线上边的字变为Q;，…，Q。，而线下边的字变为Q.根据对推导法则的如此理解，在P叱t典范系统中定义推演.在演算理论中，A中可枚举字的集合(cn切rnera比setof场叼川)采用下面与通常定义等价的定义:M称为可枚举的(enu几rrable)，如果它与某一Post典范系统中导出的A中的字的集合相同，这个P渭t典范系统的字母表应包含A(用至少增加一个字母亡来扩充A的必要性是不可避免的，然而可以要求，除M之外只有形如亡Q的字可以导出，其中Q是A中的字). 可以考虑PO6t典范系统概念的各种特殊形态:l)R招t正规系统(R粥t norlllal system)(所有法则形女口 GP、_ PG‘/’ 2)局部演算(local calc吐)(法则形如夕，G尸2〕_ 17:G‘尸2」’ 3)约束演算(restricted calc吐)(一个字母的字母表，法则具有一个前提);等. 上面提到的几种特殊形态是假定有一个公理，以及一个任意的Post典范系统可以导出它们中的任意一个(Post典范系统和Post正规系统(Post蒯功目sys-tem)之间的等价是Post证明的，对寻找不可解系统有重要意义). 参考文献见演算(calculus). C.劝，Mac月OB撰[补注]正则典范系统(regular eano皿al system)的出现是特别重要的.在一个正则典范系统中每一个推导法则形如“Gp产生G’p”，其中G和G‘皆是演算的字母表上的字，p是一个变元.更详细的内容在【All中可以找到.巧st典范系统【l、活tc翻以血目哪tem;noeTa Ra.o一　　说明：*补充资料仅用于学习参考，请勿用于其它任何用途。参考词条

©2011 dictall.com