查询词典 formal language

Since the 1990s, he has proposed that the fundamental task of Chinese teaching is language learning, that its purpose is to improve students' ability to comprehend and apply Chinese, the essence is to direct students acquire the language while practicing on the basis of their development and the major method language-sense teaching. He has asserted that the language-sense teaching method must follow the steps of feeling, apprehending, accumulating and using of language. The practice and analysis of language-sense method must be of equal importance, and closely combined to moral education, thought training, aesthetic edifying, and Chinese language impartment. He has also claimed that teaching material should be compiled with more contents, more refinement and higher starting point in terms of students' actual development of language skills. His analysis of the long-term misplays in Chinese language education is profound and the repositioning and re-interpretation to the facts as purpose, task, essence, subject, method and materials of Chinese language teaching are full-scaled. In terms of teaching, Hong has stressed on the cultivation of the ability of language acquisition and intuition.

上世纪90年代以来，他先后提出语文教学的根本任务是学习语言；语文教学的目的是提高学生正确理解和运用祖国语言文字的能力；语文教学要以学生发展为本，&变讲堂为学堂&，指导学生在实践中学习语言；语文教学的主要方法是语感教学；语感教学要遵循&感受、领悟、积累、运用&的途径，坚持语感实践与语感分析并重，并与思想教育、思维训练、审美陶冶、语文知识教学紧密结合，与生活密切联系；根据学生语言发展的实际，大容量、高起点、选精品编写教材等一系列主张，从理论上对语文教学的长期性失误作了深刻剖析，对语文教学的目的、任务、本体、主体、方法、教材等问题进行重新定位和诠释。

Vigor of Yo of teach by word of mouth of right of character of antonym of this groups of knitting needle, language, language, language is in severe danger, the stipulations of an agreement that the problem makes the language such as bequest of language diversity, language, perhaps having becominging each country to establish the language policy, base that develops language research and language to carry out an activity for the most part.

该组织针对语言权利、语言教育、语言活力、语言濒危、语言多样性、语言遗产等语言新问题制定的规约，大部分已经或者正在成为各国制定语言政策、开展语言探究和语言实践活动的基础。

Xinjiang is a multi-ethnic, multi-lingual, multi-lingual and multi-cultural ethnic autonomous areas, since ancient times is the intersection of multilingual text, the history of language used, such as the Huns, Jianduoluo language, in Hetian Cypriots, Chinese , Yanqi - Qiuzi language, Turkic language, Sogdian language, Uighur language, medieval Persian, the Tibetan language, Mongolian, Manchu language, and other languages.

新疆是多民族、多语种、多文种和多元文化的民族自治地方，也是自古以来多种语言文字的交汇之地，历史上使用过诸如匈奴语、犍陀罗语、于阗塞语、汉语、焉耆—龟兹语、突厥语、粟特语、回鹘语、中古波斯语、吐蕃语、蒙古语、满语等语言。

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.

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

This paper first explores the relationship between the argument- as-product and argument-as-process; then it classifies the non-formal logic as formal-dialectical school and pragma-dialectical school; thirdly, it focuses on theoretical sources, basic characteristics and objects of non-formal logic, and finally it proposes the future directions of non-formal logic.

该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上，把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派，分析了非形式逻辑的理论来源、基本特征和研究对象，探讨了非形式逻辑的发展趋势。

According to the express mode of voice teaching language, the voiceteaching language of vocal music can be divided into visual language, instructing language,depicting language, explicative language and a pithy formula language.

声乐教师在教学中要不断积累和锤炼自己的教学语言，最大限度地发挥教学语言的作用，达到理想的教学效果。

According to the express mode of voice teaching language, the voice teaching language of vocal music can be divided into visual language、instructing language、depicting language 、explicative language and a pithy formula language.

根据教学语言表达方式的不同，可将声乐教学中的有声语言分为形象性语言、指令性语言、叙述性语言、解释性语言和口诀式语言。

CPL language based on ALGOL 60 close to the hardware, but relatively large scale, it is difficult to achieve. University of Cambridge in 1967 of the Matin Richards made to simplify the language of CPL, the introduction of the BCPL (Basic Combined Programming Language) language. In 1970 the United States Ken Thompson of Bell Labs to the basis of language BCPL, but also further simplified the design of a very simple hardware and is very close to the B language and language with B first UNIX operating system, the PDP-7 to achieve.

CPL语言在ALGOL 60的基础上接近了硬件一些，但规模比较大，难以实现。1967年英国剑桥大学的Matin Richards对 CPL语言作了简化，推出了BCPL（Basic Combined Programming Language）语言。1970年美国贝尔实验室的 Ken Thompson以 BCPL语言为基础，又作了进一步简化，设计出了很简单的而且很接近硬件的 B语言（取 BCPL的第一个字母），并用 B语言写第一个UNIX操作系统，在PDP-7上实现。

Formal Theory of context can be used in many areas of AI: Using the formal notion of context in representation and reasoning not only embodies context-dependency of knowledge, but also make representations simpler. Since the reasoning process can be localized, the efficiency and openness of systems are both improved. In Natural Language Understanding systems, formal theories of context provide a framework for representing ambiguity and make the process of disambiguating easier.

形式化的context概念可以用于AI的许多领域：在知识表示和推理中使用形式化的context概念，不仅能体现知识对context的依赖性；而且表示结果简洁，可以局部化推理过程，提高系统效率，建立开放的AI系统；context形式理论为语言歧义性的表示提供了一个形式框架并使消歧过程更方便；context决定了中肯性标准，从而有望改善智能信息检索系统的性能。

The data mining languages can be divided into three types: Inquire language, modeling language and all-purpose language. The first stage of data mining language is inquire languages, PMML is a modeling language, OLE DB for DM is a all-purpose language.

数据挖掘语言可以分为三种类型：查询语言、建模语言和通用语言，第一阶段的数据挖掘语言一般属于查询语言，PMML属于建模语言，OLE DB for DM属于通用语言。

"Please accept this talisman as a token of our thanks."

请收下这个护身符以表达我们的感谢。

If I have that magic, I will be more acceptable in the society.

如果我拥有那种魔法，我将更加被这个社会所容纳。