好,我们看着一些论点,通过它们的形式演绎有效。
Good, we then looked at some examples of arguments that are deductively valid in virtue of their form.
本文讨论了编译软件的组合理论,并提出了一个形式演绎系统。
In this paper a combinational theory of compilers is described and a formal deductive system is given.
不得以任何形式演绎复制相关艺术品进行商业行为,违者将追究其法律责任。
Cannot any form deduction duplication related artware carry on the business dealing, the offender will investigate its legal liability.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductive system given in this paper.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductives...
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal DE...
我说过一些论点是演绎有效的,但是不是它们的形式。
Now I had said some arguments are deductively valid but not in virtue of their form.
我们一会再讲,我想让你们对,演绎和归纳和论点形式敏感一些,这是我们今天需要做的。
We'll get on to that later what I want to get on to is sensitizing us to deduction and induction and the form of an argument, that's what we need to get on to today.
区分形式和内容非常重要,论点在形式上是演绎有效的,而不是在内容上。
Now here its very important to distinguish from contents okay, arguments are deductively valid in virtue of their forms rather than their contents.
《哈利·波特》系列的最佳之处在于其演员和充满戏剧性的故事都是以宏大的歌剧形式来演绎的。
The best of the Harry Potter films feel like personal and dramatic stories told in a grand operatic way.
合唱是歌剧音乐的重要演绎形式之一。
我得到的反应是,所有中国人或者华裔美国人没有一个不是从小在这个故事的耳濡目染中长大的,都接触到它的某种形式的演绎。
The response I got was that there is not a Chinese or a Chinese-American that has not grown up and had some contact with this piece in some form.
她以西洋歌剧形式全新演绎东方艺术之美,体现了中国艺术与西方艺术的完美结合。
She forms a new interpretation of Western opera, the beauty of Oriental art, reflects Chinese art and Western art of the perfect combination.
借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
墙体的LED屏演绎温暖奢华,颜色与形式的搭配令人赏心悦目,彰显品质感。
Wall LED screen interpretation of warm luxury, color and form with a pleasing, highlighting the sense of quality.
语用推理的模式不是单纯的演绎或归纳,而是多种推理方式的综合运用,语用推理的形式化研究是有意义的。
The mode of pragmatic inference is not a usage of single deduction or induction, but a integrated usage of various inference ways, so the research on the form of pragmatic inference is meaningful.
在面子的逻辑形式修辞策略中,积极和消极两类面子分别与传统的演绎和归纳模式相对应。
In the face rhetorical strategies regarding logos, the positive face strategy is a deductive rhetorical strategy, whereas the negative face strategy is an inductive rhetorical strategy.
逻辑形式中不仅应包含有演绎推理 ,而且应包含归纳推理 ;
The logical form contains not only deductive reasoning, but also inductive reasoning.
FYS女士钱夹不仅仅是一种服饰配件形式的表现,更重要的是在传达一种生活方式态度,演绎流金岁月的多彩。
FYS womens wallet is not just a clothing accessories. Forms of expression, more important is to convey lifestyles and attitudes, interpret tivoli audio colorful.
进一步讨论了形式系统L ?中的一般演绎推理及强完备性问题。
General deduction and strong completeness of the formal deductive system l? Are further studied.
我国教育界常常认为“数学推理”主要是指高度形式化的、抽象化的演绎推理。
The educational circle of our country is usually considered as "mathematical inference" which refers to the highly formalized and abstract deductive inference.
音乐会还特别融入了电声元素,让二胡以“世界音乐”的形式,演绎其独一无二的音乐个性及精神。
The concert also involved some electronic elements, letting Er-Hu show its unique character and spirit in the form of "the world music".
无论是表象还是内在的形式结构都体现出传统与现代的结合,应沿着时代的轨迹,以新的视觉观来从新演绎包装设计。
Both the exterior and the internality had incarnated the combination of tradition and modern. We will follow the track of ages, come with the new sense of vision to deduce the packaging design.
在四大名著成书前后,与之关系密切、互为渊源的戏剧,以其立体化、形象化的形式,在舞台上演绎和诠释四大名著中的故事。
Before and after these four books, dramas that had close relationship with them annotated the stories among these books in a visualized way on the stage.
这一概念的演绎有效性可以说严格的系统的形式逻辑而言,良好的理解概念的语义。
Thenotion of deductive validity can be rigorously stated for systems offormal logic in terms of the well-understood notions of semantics.
通过演绎原因,柏拉图认为,人们可以提取先天的知识本是在出生时,来自境界的形式。
By deductive reason, Plato believed that one could extract the innate knowledge which is present at birth, derived from the realm of forms.
剪纸源远流长,历经历史的洗礼和演绎,以其本身特有的图形视觉文化符号,成为最具东方特色的艺术形式之一。
Paper-cut which goes back to ancient times and grows with a long history becomes one of best Oriental art forms with itself special visual and cultural symbols.
将传统的吉祥符号演绎出可能重组出的各种形式,打破传统吉祥符号传播的限定模式,将其指意性的特点充分发挥。
Therefore, we should rearrange the forms of traditional auspicious signs and surpass the fixed modes of transitivity and develop fully their meanings.
将传统的吉祥符号演绎出可能重组出的各种形式,打破传统吉祥符号传播的限定模式,将其指意性的特点充分发挥。
Therefore, we should rearrange the forms of traditional auspicious signs and surpass the fixed modes of transitivity and develop fully their meanings.
应用推荐