逻辑的

Syntactical completeness is only concerned with syntactics. The classical proposition logic systems with the rule of substitution are syntactical complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。

Syntactical completeness is only concerned with syntactics. The classical preposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。

List the specific storage that is:① with a group of arbitrary memory cell to store the node linear form (this group of storage units can be continuous, it can also be a discontinuity)② node in the chain of physical and logical order of priorities are not necessarily the same.

名单上的具体存储是：①与一组任意的存储单元来存储节点的线性形式（这组存储单位，可以连续，它也可以成为间断）②节点链中的物理和逻辑的优先次序不一定是相同的。

The electronic digital stored-program computer marks the convergence of two essentially independent lines of development tracing back to the early nineteenth-century, namely the design of mechanical calculators capable of automatic operation and the development of mathematical logic.

被储存的电子的数传-计画计算机本质上为二的集中作标记发展追踪的独立线回到早人第十九世纪的，即机械计算者的设计能够自动操作和数学逻辑的发展。

Arguments designed to show the biblical and logical strengths of the doctrine of the Son's full deity or vice versa the weakness of Arius's subordinationism would not be likely to be effective unless the instinctive fear of an implied modalism were addressed and shown to be without solid foundation.

除非对暗含形态论的本能惧怕被处理到，并且被显示没有坚固的根基，为显示圣子具有完全神性之教义具有圣经的和逻辑的优点，或者相应地，为表明亚流的从属主义的弱点所设计的论证，都不大可能产生果效。

H. Freyer, as Philosopher and Sociologist, and the first Bearer of the German professorship for Sociology in Leipzig, keeps the mind that the notion of "Ideal Type" is "a logical peculiarity of historical and cultural cognition" and "oversees the contrast of personal and general methods of thinking, on one hand, by defining the logical character in individual, and on the other, by progressing on the way to generalization only till showing the typicalness and not the pure general rule".

每小时弗里尔，作为哲学家和社会学家，以及对社会学教授在德国莱比锡首次承载，保持了记，"理想类型"的概念是"一种历史和文化的认知逻辑的特殊性"和"监督对比个人和一般方法的思考，一方面，通过定义个别逻辑性，另一方面，通过这样的概括工作进展只有到显示典型性，而不是单纯的一般规则"。

A new painting way evading Chinese traditional ones may start here, the trial. Through these conceptual works, we can find that Chinese artists gradually step further and further from the fondness for portrait and plot, get rid of the embarrassed state of traditional paintings and separate from the acuminous and logic visional experience.

这样的尝试可能会为中国逃避传统的绘画方式拉开序幕，那么，透过这些概念化的作品，我们可以窥见中国艺术家在最近的几十年中，已逐渐地游离开传统绘画对物象和情节的迷恋，并摆脱了常规绘画的尴尬处境，从中分离出敏锐的、逻辑的视觉体验。

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

In the neural networks control, the structure and the working principle of the cerebella model articulation controller are discussed firstly, and then based on the mutual supplements and the similarities between FCMAC and fuzzy logic,fuzzified cerebella model articulation controller is proposed. The learning control system based FCMAC are introduced in detail. Through the example of FCMAC used in the swinging up a pendulum control, the excellent control effects are demonstrated.

在神经网络控制方面，本文主要研究了小脑模型关节控制器，并进而根据CMAC与模糊逻辑的互补性与相似性，提出了模糊小脑神经网络控制器，详细讨论了FCMAC的学习控制系统与FCMAC的自学习机理，通过FCAMC对倒单摆控制的具体例子表明，FCMAC控制具有优良的控制效果和强的鲁棒性。

His absurd and conflictive works may let many people fall into a logistic maze. However, because of these incredible and uninhibited works, one can feel the sorrows and doubts of a sensitive individual.

艺术家肆意地在形象的世界中锻造自己的影子，荒诞而矛盾的作品会让很多人陷入逻辑的迷宫，但正是这些荒诞不羁的作品却传达着敏感个体的哀伤和疑惑。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。