查询词典 logical

Historical logic rationality would unify that two in order to search logical confirmatory and standardization from historical development, and remove mysticism, mistiness and relativism.

历史的逻辑理性则将二者统一起来，在历史的发展中寻找逻辑的确定性和规范性，消除神秘主义和模糊性乃至相对主义。

Mizar system is initiated as a Computer System Language of logical proof,validation,and typeset in the 1980s.

Mizar语言系统是上世纪八十年代开创的集逻辑证明、校验、排版功能于一体的计算机语言系统。

The bitwise operators and logical operators use the same characters, so it is helpful to have a mnemonic device to help you remember the meanings: since bits are "small," there is only one character in the bitwise operators.

按位运算符和逻辑运算符都使用了同样的字符，只是数量不同。因此，我们能方便地记忆各自的含义：由于"位"是非常"小"的，所以按位运算符仅使用了一个字符。

Present a kind of paraconsistent modal logics PML by generalizing classical modal logics'truth value set from {0, 1} to [0, 1] , propose new logical consequence relationships by generalizing fuzzy implications in PML, introduce sound and complete Gentzen style inference systems in PML. 9. Global properties of valid formulas are the necessary conditions that must be satisfied by valid formulas.

8将经典模态逻辑公式的值域从{0，1}扩充到[0，1]，结合模糊逻辑推理关系的研究结果，建立了能处理不一致知识的模态逻辑，并给出其可靠而且完备的Gentzen型推理系统。

On the base of these, and the ideas of mathematical curriculum reform and the course of the reform of solid geometry, combining with educational reality and students" psychology, put forward some thoughts about solid geometry of middle school in future:(1) The arrangement of curriculum content should. give consideration to both the logical sequence of knowledge and the development of students" psychology, and make them united;(2) Paying great attention to the analogy of plane geometry and solid geometry;(3) Some respects remained to be strengthened about solid geometry in senior middle school;(4) Emphasizing the importance of conversion in solid geometry;(5) Stressing on the combination of solid geometry and algebra and other subjects;(6) The design of the content of solid geometry should have certain elasticity, and make solid geometry and modern education technology well combined.

在此基础上，又植根于近年来我国数学课程改革的理念和立体几何课程改革的进展，并结合我国的教育实际与学生心理，对未来中学立体几何课程的设胃提出若干思考：(1)课程内容的编排，要兼顾知识的逻辑顺序和学尘的心理发展相统一；(2)重视平面几何和立体几何的类比；(3)高中阶段立体几何有待加强的几个方面；(4)强调变换在立体几何中的重要性；(5)注意将立体几何和代数及其他学科相结合；(6)立体几何内容的设计要有一定的弹性，并注意与现代教育技术相结合。

Again, I look forward to a logical explanation from some Mormon who is knowledgeable about this issue.

同样，我期待着一个合乎逻辑的解释一些摩门教谁是了解这个问题。

Based on this, it analyzes the morphologic logical clue of the development of Chinese contemporary art.

同时，特别以2003年的总体艺术状况，做了年鉴式的归纳和总结，试图以宏观和微观的两种视角来诠释中国当代艺术发生、发展的社会学背景和属性。

I think its logical analysis touched Muhammad's mind.

我相信是统一原理的逻辑分析打动了穆罕默德的心。

I am not saying you should be into mumbo-jumbo weird stuff, but that following your gut instincts might be easier than trying to force a more logical method.

我不是说你应该到牟姆博，珍宝怪异的东西，但是，随着你的主观直觉可能更容易比试图迫使更多的逻辑方法。

IELTS is actually not mussy. Either the question and article is logical and academic, in sharp contrast to the impractical contents in TEM-8 which abounds in literature, politics and history. IELTS, featuring its social, general science and academic contents, provides readers with knowledge that adds fun to reading through.

野书 雅思当然不是野书，不管是题目还是文章很异常有条理、学术化，而且比起专八不实用的文学、政治和历史文章，雅思中社会、科普、学术和实用的文章不仅能让人在阅读中获得不少知识、还能让人饶有兴趣地读下去。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。