查询词典 logic

Keywords: continuous-time temporal logic; finite precision timed automaton; decidability; model checking.

中文关键词：连续时间时序逻辑；有限精度时间自动机；可判定性；模型检测。

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

My preferences in literature have reinforced this unwillingness to make a decision based on theory and logic alone.

对文学的热爱更增强了我的认识：仅根据理论和逻辑做决策是没有希望的。

This article on the scientific logic of the decision-making in the application of a number of exploration and study.

本文就科学逻辑在行政决策中的应用问题进行了一些探讨和研究。

If say Ma Yun gives employee raises in the winter, not only development of incentive enterprise oneself still can be industry and obtain employment market to carry brace up confidence, this is the word of sense of responsibility of a kind of society; So, ma Yun abounds this of appeal " declaimer ", it is when consumptive market is atrophic " halloo consumption ", try to turn round market situation namely and the effort that active market trades, this can regard as logic of a kind of market that depend on abide likewise " social mission feels " fulfill.

如果说马云在冬天给员工加薪，不仅激励企业自身发展还能为行业和就业市场提振信心，这是一种社会责任感的话；那么，马云这个富于感染力的"演说者"，在消费市场萎缩之时"高呼消费"，就是试图扭转市场形势并活跃市场交易的努力，这同样可以看做是一种依循市场逻辑的"社会使命感"的履行。

Decouple processing of graphic user interface and internal logic, making it easier for the developers to change interface

解耦图形用户界面和内部逻辑的处理，使开发人员更易于更换界面

Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.

内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。

Mathematic and logic depend extensively on the deductive method of reasoning .

数学和逻辑学广泛地依靠推理的演绎方法。

Methods and theories applied in this research include systems analysis, logic and deductive method, comparison method and others like information system theory. Subjects concerned include management.

企望从系统的观点，以情报学为基础，依托于管理学、信息经济学、计算机科学等学科的新发展，建立情报学角度的企业知识管理系统研究框架。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

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万英镑骗了个精光。