语言

Learning activities are consequently selected according to how well they engage the learner in meaningful and authentic language use rather than merely mechanical practice of language patterns.

他指出：如果语言教师能组织一些活动来吸引学生把注意力放在语言的意义上，使用所学的外语，通过交流来解决问题，那么语言学习就会自然发生。

Standard Generalized Markup Language is a document markup language for the specified or set way of labeling a meta- language .

标准通用标记语言是针对指定一个文档标记语言或标签设置方式的一种元语言。

The language used to talk about language is called metalanguage .

所使用的语言谈论语言是所谓的元语言。

Metalanguage theory is a kind of instrumental language in contemporary logic.

摘 要：元语言理论是现代逻辑学中区别于对象语言的工具语言。

It can be regarded as a sort of analysis and study of language phenomena from a microscopic perspective.

它可被视为是一种从微观的角度对语言现象进行的分析和研究，语言形式的长度，复杂性或语言成分的相互关系平行于它们所编码的概念，经验和交际策略。

Until now, there are many kinds of machine language systemwhich are use to prove mathematical theorems, and several of them are recognized bythe mathematician and computer experts, such as HO1, Mizar, PVS, coq etc.

迄今为止，世界已有多种可用来进行数学命题证明和逻辑推理的机器语言系统，但其中只有少数几种语言可被普遍接受并受到数学家与计算机专家的认可，如HOL、Mizar、PVS、Coq等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

Instead of easy language or human language, it uses mnemonics typical of assembler or low-level programming languages.

而不是简单的语言或人类的语言，它使用助记符的汇编或低层次的编程语言的典型。

Monad is a useful tool for introducing imperative features to pure functional programming language. It has tree properties that make it especially useful: modularity, flexibility and isolation.

Monad作为一种构造函数式语言的工具，以其模块性、灵活性和独立性，可很好的解决在纯函数式语言中引入命令式语言特征的问题。

Volume 1 includes Tibetan, Qiang language, Jingpo language, Burmese branches of Tibeto-Burman family, Volume 2 the languages belonging to Yi language branch, Volume 3 the languages belonging to Dong-Tai family, Volume 4 Miao-Yao language family, Austronesian and South Asia language, Volume 5 Turkic family and Tajik, and Volume 6 Mongolic family, Manchu-Tungusic language family and Korean.

其中藏缅语族的藏语支、羌语支、景颇语支、缅语支语言合订为卷一，彝语支语言合订为卷二，侗台语族语言合订为卷三，苗瑶语族、南岛语、南亚语等合订为卷四，突厥语族和塔吉克语合订为卷五，蒙古语族、满-通古斯语族和朝鲜语合订为卷六。

The interlock among language, culture and communication operates not only on the monolingual, monocultural level, but also across languages and cultures.

语言、交际与文化的连接不仅体现在同一语言和同一文化内，也体现在不同语言和不同文化之间。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐