与 «EQUIVALES»相关的葡萄牙语书籍
在以下的参考文献中发现
equivales的用法。与
equivales相关的书籍以及同一来源的简短摘要提供其在 葡萄牙语文献中的使用情境。
1
Mathematics of Program Construction: 8th International ...
This is a consequence of two properties: even.0 ≡ true, (the unit of addition is
mapped to the unit of equivales) and2 even.(m+n) ≡ even.m ≡ even.n (binary
addition is mapped to binary equivales). The second step uses the “trading” rule
for ...
2
Algorithmic Problem Solving
Since 0≤m≤(30−1)/2 equivales 0=m, the algorithm is to do nothing – there are
no coins and, hence, no fake coin. For the induction step, assume the induction
hypothesis. Assume the number of coins m is such that 0≤m≤(3n+1−1)/2.
3
Algebraic and Coalgebraic Methods in the Mathematics of ...
The type rule is that R∪ ∈I←J equivales R∈J←I. Relations of the same type are
ordered by set inclusion denoted in the conventional way by the infix ⊆ operator.
The relations of a given type I←J form a complete lattice under this ordering.
Roland Backhouse, Roy Crole, Jeremy Gibbons,
2002
4
On a Method of Multiprogramming
Since Q now only oceurs in (2), the strongest Q equivales the strongest (x := x - l).
P - for a detailed proof see the Appendix of this chapter. We leave it to the reader
to prove, by mathematical induction, that the strongest (x:=x-l).P with P satisfying
...
Antonetta J. M. Gasteran,
1999
5
A Logical Approach to Discrete Math
To show that true is a theorem, we show that it equivales axiom (3.3): true (
Identity of = (3.3), with q:= true) true = true (Identity of = (3.3) — replace the
second true ) true = q = q — Identity of = (3.3) Axioms Identity (3.3) and Symmetry
(3.2) imply ...
David Gries, Fred B. Schneider,
1993
6
Annaes do Senado Federal
... eé que doui anuos décommande em navio dn guerra equivales] a um de
estaiáo, e duu« anuos de serviço de » 1U iil equivalent a um anuo da rom mar
do. Parece- me nfccssario qae so torn* b>m explícito este principio. O SR.
VISCONDE ...
Brazil. Congresso Nacional. Senado federal,
1861
7
AN INDUCTIVE MANUAL OF THE STRAIGHT LINE AND THE CIRCLE WITH ...
When placed between two expressions, it is read "is (or are) equivalent to," or,
more briefly, "equivales (or equivale.)" azzb means that the thing (not necessarily
a number) represented by a equivales that represented by b. 8. — The first of two
...
8
Theoretical Aspects of Computing - ICTAC 2004: First ...
From the point of view of a philosopher requesting a fork equivales to an attempt
to remove ⋔ from the connector state space. Dually, a fork is released by
returning it to the connector state space. In detail, a fork request at a philosopher
port, ...
Zhiming Liu, Keijiro Araki,
2005
9
Mathematics of Program Construction: 7th International ...
... be entire but not necessarily simple. In fact, it suffices that img S ⊆ ker (ΓFT)
since, in general, the simplicity of f · S equivales img S ⊆ ker f : imgS Q kerf E {
definitions} (S - S“) Q. Transposing Relations: From Maybe Functions to Hash
Tables ...
10
Calculational System Design
Since under t = 0, P3 equivales "machine nr. 0 is hlack", machine nr. 0 can still
conclude termination if, in addition, it is white. Token traffic may violate P3, viz.
when a hlack machine transmits the token. Such transmission maintains the
weaker ...
M. Broy, Ralf Steinbrüggen,
1999