关于格的

基本解释 (translations)

casal

与关于格的相关的网络例句 [注：此内容来源于网络，仅供参考]

The study of lattice implication algebras On the basis of previous results of lattice implication algebras, we firstly studied some properties of implication filters, prime implication filters, maximal implication filters and ultrafilters. Then we laid stress on the study of two kinds of relatively general lattice implication algebras, i. e. complete and atomic lattice implication algebra and injective lattice implication algebra.

关于格蕴涵代数的研究本文在已有的格蕴涵代数研究结果基础上，首先研究了格蕴涵代数中蕴涵滤子、素蕴涵滤子、极大蕴涵滤子和超滤等的性质和相互的关系，然后重点较系统地研究了两类覆盖面较广的格蕴涵代数：完备的且原子的格蕴涵代数和内射的格蕴涵代数。

The theology thought that Heidegger contains in the philosophical thinking andtheir impact of philosophical thinking over modern theology has all composedHeidegger and modern theology relation, that Heidegger and Christian relation becomemodern magical educational circles has been entire thought boundary regard and the hotspot studying even, people has looked at the cartful thought having understood thiswhat great thinker thought middle implication gradually, his thought about existencehas also been the theologian who has affected that Bargeman is such as inclusivemany existentialisms, construction course being entire existential theology school even,that is to say the impact of Heidegger theology thought and whose philosophicalthinking over modern theology thought all becomes one of the important thought eventthat modern Christianity studies, both Macao and Flatboats theologian be affected verymuch by whose thought, Heinrich ott brings forward the Switzerland theologian evenrebuilding system theology motion with Heidegger philosophy, Heidegger philosophywarm and the theology relation debate stretching causing magical educational circles ofGerman.

海德格尔哲学思想中蕴含的神学思想及其哲学思想对现代神学的影响都构成了海德格尔与现代神学的关系，海德格尔与基督教的关系成为现代神学界甚至是整个思想界关心和研究的热点，人们逐渐看清楚了这个伟大的思想家思想中所蕴含的珍贵思想，他关于存在的思想更是影响了诸如布尔特曼在内的许多存在主义神学家，甚至是整个存在主义神学流派的建构进程，可以说，海德格尔神学思想以及其哲学思想对现代神学思想的影响都成为现代基督教研究的重要思想事件之一，马堡和弗莱堡的神学家都深受其思想影响，瑞士神学家奥特甚至提出以海德格尔哲学改建系统神学的提案，引致德语神学界的海德格尔哲学热和一场海德格尔哲学与神学关系的论争。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

In the past two years alone there has been a doorstop of a biography by Conrad Black, a blow-by-blow account of Nixon's visit to China by Margaret MacMillan and a joint portrait of Nixon and Henry Kissinger by Robert Dallek. And those are only the notable ones.

仅仅过去的两年内，已经有了那么多关于他的作品：康拉德·布莱克所写的仰止之作；玛格丽特·麦克米伦关于尼克松的中国之行那种的翔实记录；罗伯特·达莱克则生动地刻画了尼克松与基辛格的肖像……这还仅仅是作品中最为著名的那些，无名之作更数不胜数。

At last, carring on dependent thinkingThis paper firstly introduced the exsiting achievement of subject"Han nationality myth of NǚWa and myth of Goddess",then combined with the record about classical books of myth of NǚWa and investigation, revealed the meaning, property, characteristics, historical evolvement of myth of NǚWa. It lets Primary Goddess Procreative Worship stripped from the inordinate folk Goddess worship. This paper holds that NǚWa is the first ancestor of human, which possesses distinct godship of great mother.

首先介绍了关于汉族女娲神话以及女神神话这一课题的既有研究成果，然后在前人已有研究的基础之上，结合古往今来关于女娲神话的典籍记载和实地调查资料，揭示汉族女娲神话的含义、性质、特点、历史演变，将原始女神生殖崇拜从纷乱驳杂的民间女神崇拜中剥离出来，本文认为女娲是人类的始祖母，具有鲜明的大母神神格，在神话的发展过程中，她又粘合了其他种种神绩，成为拥有文化英雄神格的神话人物，并与伏羲结合，在以女娲、伏羲为主人公的洪水神话里面同样担负着生殖与造人等重任。

Of or relating to or characteristic of Grenada or its inhabitants.

属于或关于格林纳达、格林纳达居民的，或有其特点的。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

The writings of the middle period include Gorgias (a consideration of several ethical questions), Meno (a discussion of the nature of knowledge), the Apology (Socrates' defense of himself at his trial against the charges of atheism and corrupting Athenian youth), Crito (Socrates' defense of obedience to the laws of the state), Phaedo (the death scene of Socrates, in which he discusses the theory of Forms, the nature of the soul, and the question of immortality), the Symposium (Plato's outstanding dramatic achievement, which contains several speeches on beauty and love), the Republic (Plato's supreme philosophical achievement, which is a detailed discussion of the nature of justice).

中期这部分的著作包括《高尔吉亚篇》(关于几个伦理问题的讨论)，《美诺篇》，《申辩》(在法庭上苏格拉底自己对于指控他无神论和腐蚀雅典青年的罪名的辩护)，《克里托篇》(苏格拉底对于顺从城邦法律所做的辩护)，《费多篇》(苏格拉底之死，他讨论了&型相论&，自然灵魂和不朽的问题)，《会饮篇》(柏拉图最突出和生动的作品，它包含几篇对于&美&和&爱&的演讲)，《理想国》(柏拉图最高的哲学成就，它详细的讨论了关于&正义&的问题)。

Ooh La 歌手:The Kooks 所属专辑:Inside in Inside Out 制作人: The Kooks - Ooh La In their eyes is the place that you finally discovered That you love it here, you've got to stay On the bottom of the rock, an island On which you find you love it when you twitch You feel that itch in you pettycoat Your pretty pretty pettycoat Then you smiled, he got wild You didn't understand that there's money to be made Beauty is a card that must get played By organisation And ooh la, she was such a good girl to me And ooh la, the world just chewed her up, and spat her out And ooh la, she was such a good girl to me And ooh la, the world just chewed her up, and spat her out The world can be a very big place So be yourself don't get out of place Love your man and love him twice Go to Hollywood and pay the price Oh go to Hollywood And don't be a star, it's such a drag Take care of yourself, don't begin to lag It's a hard life to live, so live it well I'll be your friend and not in pretend I know you girl In all situations And ooh la, she was such a good girl to me And ooh la, the world just chewed her up, and spat her out And ooh la, she was such a good girl to me And ooh la, the world just chewed her up, and spat her out Pretty pretty pretty...pretty pettycoat Pretty pretty pretty...pretty pettycoat In all situations And ooh la, she was such a good girl to me And ooh la, the world just chewed her up, and spat her out And ooh la, she was such a good girl to me And ooh la, the world just chewed her up, and spat her out

户外香格里拉歌手： kooks 所属专辑：里面在里面列制作人：该kooks -户外香格里拉在他们眼中，是地方，你终于发现你喜欢这里，你还能留下来关于底部的岩石，是一个岛屿就你找到你爱它，当你抽搐你是否觉得痒，在你的小外套你的美丽漂亮的小外套然后你笑了，他得到野生你不明白有什么钱，以作美是一个卡，要发挥由组织和户外香格里拉，她是这么好的一个女孩给我和户外香格里拉，世界刚刚咀嚼她的，和吐口水她出去和户外香格里拉，她是这么好的一个女孩给我和户外香格里拉，世界刚刚咀嚼她的，和吐口水她出去这个世界可以是一个非常大的地方，所以，你不失控的地方爱你的人与爱他的两倍前往好莱坞与美国付出代价哦，去好莱坞千万不要被一个明星，它的这种拖累照顾自己，不要开始滞后这是一个艰苦的生活，让生活得好我会成为你的朋友而不是在假装我知道你的女孩在所有情况和户外香格里拉，她是这么好的一个女孩给我和户外香格里拉，世界刚刚咀嚼她的，和吐口水她出去和户外香格里拉，她是这么好的一个女孩给我和户外香格里拉，世界刚刚咀嚼她的，和吐口水她出去漂亮漂亮漂亮。。。

与关于格的相关的网络解释 [注：此内容来源于网络，仅供参考]

Slough of despond：陷于失望的沼泽

"当他陷于失望的沼泽(Slough of Despond)时,是斯韦登伯格而不是水疗法使他得以净化. 关于詹姆斯的基督徒神话的虚构,有必要告诉大家的是:在他陷入绝望的深渊时,就已经对斯韦登伯格有所耳闻了,所以他与斯韦登伯格的相遇才释放出如此巨大的拯救力量.

Graham Greene：格雷厄姆.格林

本片改编自格雷厄姆-格林(Graham Greene)的小说>,讲述了一个关于爱情、背叛、谋杀和揭示美国卷入东南亚战争根源的故事. 在这部影片中,任何事和任何人都不是表面上看起来的那么简单.

Concerning Gwendolyn：关于格温多琳

I suspect that questioning them would prove fruitless.|我估计找他们问话不会... | Concerning Gwendolyn.|关于格温多琳 | I can't tell you how devastated I was when I got the news,|我无法描述当我得到消息的 ...

Huguenot wars：胡格诺战争

关于狄奥尼索斯宗教的争论--例如在希巨昂的克里斯提尼(Kleisthenes of Sikyon)僭主政治时期所发生的;德国自由城市中关于宗教改革的冲突和胡格诺战争(Huguenot wars),都属于这种性质的斗争.

Ehren Kruger：编剧:艾仁.克鲁格

"在编剧艾仁.克鲁格(Ehren Kruger)看来,这是一部关于猜疑的电影,而对杰夫.布里吉斯来说,影片在讲述一个为了所爱的人而铤而走险的故事,以及在重重重压之下我们该如何做出反应.

Pompey Magnus：庞贝.麦格纳斯

Cato,the Senate hears you.|卡托,元老院听你发言 | Pompey Magnus...|庞贝.麦格纳斯... | I have a question concerning your friend and co-consul.|我有个问题关于你的朋友,你的共同执政官...

Qualitative Research：质的研究

20世纪70年代以后,随着"课程理解范式"的兴起,"量的研究"渐次为"质的研究"(qualitative research)所取代. 据美国著名课程理论专家格鲁梅特考察,"量的研究"在当今的课程研究领域已相当少见. 1988年6月,在斯但福大学举行了关于"质的研究"现状的研讨会,

Graham Greene：格雷厄姆.格林

本片改编自格雷厄姆-格林(Graham Greene)的小说<<西贡风云>>,讲述了一个关于爱情、背叛、谋杀和揭示美国卷入东南亚战争根源的故事. 在这部影片中,任何事和任何人都不是表面上看起来的那么简单.

ergative verb：作格动词

当一个动词既有及物形式又有非宾格形式时,它被称为作格动词(ergative verb),如break,roll,melt等等. 关于VP嵌套的理论始于Larson(1988,1990)对英语双宾语结构(dou-bleobject construction)和与格结构(dative construction)之问句法衍生的研究,

She did her thesis on Asperger's syndrome：她的毕业论文就是关于亚斯伯格氏症候群的

and took it upon herself to cure the world of mental illness.|并且想要找... | She did her thesis on Asperger's syndrome|她的毕业论文就是关于亚斯伯格氏症候群的 | and used Max as her case study.|并且把Max...