英语人>网络例句>quantifiers 相关的网络例句
quantifiers相关的网络例句

查询词典 quantifiers

与 quantifiers 相关的网络例句 [注:此内容来源于网络,仅供参考]

The main contents involve:(1)Character 着 ZHE;(2)The exceeding combination of verb reduplication;(3)The reduplicated adjectives and some special combination;(4) The reduplication of non-adjectives;(5) The reduplicated quantifiers;(6) The suffix 儿 ER;(7) The interrogative sentence 格 GE VP;(8)The special usage of V 得 DE and its sentence pattern.

本文主要运用描写语言学的方法,研究以下昆明方言虚词和某些句法现象:第一、&着&字,第二、动词重叠超常句法组配,第三、形容词重叠,第四、非形容词重叠式词及其特殊组配,第五、量词的特殊组配,第六、儿化,第七、&格VP&句,第八、特殊&V得&及其句型等其他问题。

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次,研究了系统K*的基本性质,指出了系统L*的定理都是系统K*的定理,给出了系统K*与量词有关的一些重要定理,证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式;系统K*的可靠性定理成立,即系统K*中的定理关于任何R0链也是逻辑有效的;系统K*的强可靠性定理也成立,即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers.

基本形式的概念作了解释,并象征文字意译是处理一些长度,以及一个测试程序,给出了真理的逻辑功能与一个完整的量词逻辑的证明过程。

This paper reviews major studies on quantifiers within the framework of GB,highlighting their development of QR and application of QR to scope interpretation.

本文首先回顾了管约论框架内主要的量词研究成果,重点介绍他们对量词提升的应用及发展。

In chapter five the rhetoric features of quantifiers in both languages will be described and analyzed.

第五章对两种语言中的表量词所带的修辞色彩对比分析。

Rich quantifiers constitute one important characteristic of modern Chinese.

丰富的量词是现代汉语的一大特点。

There is a controversy whether quantifiers modify adjectives for a long time in the field of linguistics.

在语言学界,量词能否修饰形容词一直是一个有争议的问题。

You use quantifiers in your everyday speech when you want to describe the number or amount of something.

我们每天日常对话中都会用到量词来描述东西的数目或数量。

Quantifiers is one of the characteristics of Chinese.

量词丰富是汉语的特色之一,而名量词是汉语量词的主体。

This paper is a report of a computer-aided investigation into English quantifiers in Marine Engineering English.

在阅读和分析有关文献资料的基础上,作者在语义学方面对英语中的数量词作了系统的归纳和总结。

第3/5页 首页 < 1 2 3 4 5 > 尾页
推荐网络例句

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.

世纪伟人邓小平的富民思想,是邓小平经济理论体系中的重要组成部分,是我国经济建设根本任务的一个重要方面。