查询词典 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.

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

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。