查询词典 logic

We still have some 'Englishness' left, keeping our minds open to the past and retaining some faith in our future, rejecting the logic-chopping rational for the widely if hazily reasonable, refusing to be cut off from instinct and intuition.

我们依然保留着一些英国人特性，使我们对过去能保持清醒的认识，对未来也还保持着一些信心，排斥那些通过诡辩式逻辑得出的理性结论，而宁愿接受那些虽然不被完全理解但却完全合乎情理的东西，拒绝抛弃自己原有的本能与直觉。

For the purpose of analyzing the meaning of special conversation, I put forward a micro-pragmatic reasoning, too. And this reasong is called a temporary pragmatic reasoning. Meanwhile, the author points out that the enthymid reasoning is a reasoning with enthymeme. It is also a non-proved logic congitive phenomenon used to confirm the hypothesis.

为分析特殊会话含义，本文提出了微观语用推理即临时语用推理，指出它是带有"缺省项"的"缺省推理"，是一种对假设确认的非论证逻辑认知现象。

The medi-organization existed in oursociety is an entia of universality and particularity,this dissertation analysis the property rightstransaction agency in the logic of universality and particularity.

在我国所存在的各种形式的中介组织，是一个一般性与特殊性的统一体，本文的分析正是按照这样的逻辑把产权交易机构置于这种中介组织的一般性和特殊性之中进行考察。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

The theory roots in the technology economics、 information economics、 region economics、 industry economics and human geography. The research methods include epagoge、 deductive method、 demonstration、 logic framework and so on.

本论文运用技术经济、信息经济、区域经济、产业经济和人文地理学的相关理论，采用归纳演绎、统计分析、实证研究和逻辑框架图等多种研究方法对信息技术对企业空间结构演变的影响动因以及企业空间结构演变的趋势进行研究论证。

The results showed that the activation ability value of the elite fencing athletes brain ability of infor oration processing was much higher than that of the normal people, which meant the brain could deal with more information and have more methods of information processing. The superior unilateral brain regions of information processing were the left forebrain and right epencephalon, which were the best match of both- side brain. Female athlete moods were more stable than the male athlete;besides, they were more active, having more powerful logic memory, and more rational thoughts. Among the parameter of FFQG, marginal modulus reflected the consumption of information processing which was related with the fencing athlete athletic for m. T his, the low er the modulus w as, the better w as the athletic for m. T he fencing athlete with good marginal modulus was 6z.4%.w ith the nor oral being 3 }.6%.which indicated that the efficiency of Chinese fencing athlete brain ability of information processing was rather high.

结果表明，优秀击剑运动员大脑处理信息的能力与普通人相比，激活能力总值显著较高，提示优秀击剑运动员大脑处理信息的量更大，处理信息的方式更多；击剑运动员大脑处理信息的优势单脑区为左前脑和右后脑，左前右后脑是优秀击剑运动员双侧脑的最佳匹配；男女运动员在大脑左颞区优秀图形的差异显著，提示女运动员比男运动员有更稳定的情绪，更高的内驱力，更强的逻辑记忆和理性思维能力；击剑运动员优势图形中的特征图形为内方型和隧道型，非优势图形中的特征图形为逃逸型和奇异型；脑象图的技术参数中，边缘系数反映大脑处理信息的耗能量，它与击剑运动员的竞技状态呈较高的负相关，即边缘系数越低，运动员在竞技比赛中的发挥越好；击剑运动员边缘系数优秀型占总人数的62.4%，一般型占总人数的37.6%，提示我国优秀击剑运动员大脑处理信息的效率很高。

On this basis, the thesis analyzed Epicurus's thoughts of the intrinsic logic and substance about the formation of political society.

在此基础上文章分析了伊壁鸠鲁的视域中政治社会的本质和形成的内在逻辑。

In order to interpret Epicurus in a new way, this thesis,which is based on Epicuruss unique perspective of political philosophy, analyzed all his logic and re-evaluates him.

本文试图以新的方式解读伊壁鸠鲁，故选取了伊壁鸠鲁构建政治哲学的独特视角为原点，宏观上剖析其整个逻辑，并对他进行重新评价。

It is: sets the RFID label on the hanger, the card reader can get the information of the label and sends to the epigyny of the terminal unit of the station; when the hanger passes the reader of any working station; estimates the hanger whether or not enters the station to process manufacture after the epigyny receives the signal of the hanger, the programmable logic controller controls the pulling-in switch of the corresponding station according to the instruction from the epigyny.

该方法包括：在吊架上设有RFID标签，当吊架经过某个工作站进站口前的RFID读卡器时，读卡器会读到吊架标签上的信息，经由工作站终端设备发送给上位机；上位机接收到吊架检测信号后，判断此吊架是否进入工作站进行加工，可编程逻辑控制器根据上位机的指令控制相应工作站点的进站开关合上。

So the core of philosophy is technology epistemology and reasoning and logic of technology.

技术哲学的核心问题应该是技术认识论和技术推理逻辑问题。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。