restricted predicate calculus

restricted predicate calculus的基本解释

-

狭谓词演算

与restricted predicate calculus相关的网络例句 [注：此内容来源于网络，仅供参考]

Once any such stock certificate is issued and during the period that the Plan holds the Restricted Shares, Officer shall be entitled to all rights associated with the ownership of shares of Common Stock not so held, except as follows: if additional shares of Common Stock become issuable to Officer with respect to Restricted Shares due to an event described in Section 6 below, any stock certificate representing such shares shall be issued in the name of the Plan and delivered to the Committee or its representative and those shares of Common Stock shall be treated as additional Restricted Shares and shall be subject to forfeiture to the same extent as the shares of Restricted Shares to which they relate; if cash dividends are paid on any shares of Common Stock subject to the terms of this Agreement, those dividends shall be reinvested in shares of Common Stock and any stock certificate representing such shares shall be issued in the name of the Plan and delivered to the Committee or its representative and those shares of Common Stock shall be treated as additional Restricted Shares and shall be subject to forfeiture to the same extent as any other Restricted Shares; and Officer shall have no rights inconsistent with the terms of this Agreement, such as the restrictions on transfer described in Section 4 below.

一旦任何此类股票证书已颁发，在计划持有受限股的期间，管理人员有权享有与持有相应普通股股份有关的一切权利，但以下情况除外：如果由于以下第6条中所述的事件，导致可向管理人员发行额外的普通股股份，则任何代表该等额外股份的股票证书应以计划的名义发行并交付给委员会或其代表，且该等普通股股份应被视作额外的受限股，并和与其相关的受限股遵守同样的没收规定；如果对服从于本协议之条款的任何普通股股份支付现金股息，该等股息应重新投资到普通股股份中，任何代表该等股份的股票证书应以计划的名义发行并交付给委员会或其代表；以及管理人员不得拥有任何与本协议之条款（比如下述第4条中所述的转让限制）不一致的权利。

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

与restricted predicate calculus相关的网络解释 [注：此内容来源于网络，仅供参考]

restricted predicate calculus：狭谓词演算

restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化