PAROLE IN PORTOGHESE ASSOCIATE CON «EQUIVALES»
equivales
equivales
wiktionary
from
jump
navigation
search
informal
second
person
singular
present
indicative
form
dicionário
português
flexão
deequivalendo
sentido
igualar
expression
operators
gives
true
sets
must
have
uniform
contents
particular
contain
integers
instance
reals
cannot
tradução
espanhol
muitas
outras
traduções
línea
traducción
palavras
terminam
word
games
terminadas
encontrar
para
como
draw
something
rumble
wordfeud
equivales
spanish
galician
meaning
wordsense
spelling
hyphenation
pronunciation
translations
wordreference
significados
discusiones
download
time
charge
glosbe
meta
theorem
formula
that
continued
equivalence
with
number
even
operands
likewise
10 LIBRI IN PORTOGHESE ASSOCIATI CON «EQUIVALES»
Scopri l'uso di
equivales nella seguente selezione bibliografica. Libri associati con
equivales e piccoli estratti per contestualizzare il loro uso nella letteratura.
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
