guarded signature - определение. Что такое guarded signature
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое guarded signature - определение

FORMAL LANGUAGE FOR PREDICATE TRANSFORMER SEMANTICS INTRODUCED BY BY EDSGER DIJKSTRA
Guarded command; Guarded commands
Найдено результатов: 242
Metric signature         
MATHEMATICAL CONCEPT
Signature change; Signature (physics); Euclidean signature; +---; -+++; Lorentz signature; Mostly Plus; Mostly Minus; Signature of the metric
In mathematics, the signature of a metric tensor g (or equivalently, a real quadratic form thought of as a real symmetric bilinear form on a finite-dimensional vector space) is the number (counted with multiplicity) of positive, negative and zero eigenvalues of the real symmetric matrix of the metric tensor with respect to a basis. In relativistic physics, the v represents the time or virtual dimension, and the p for the space and physical dimension.
time signature         
  • alt=two groups of three minims
  • alt=three groups of two minims
  • alt=three groups of three minims
  • '''3+3+3'''}} and the cycle then repeats. Taking the smallest time unit as eighth notes, the arrows on the tempo dial show the tempi for ♪, ♩, ♩. and the measure beat. Starts slow, speeds up to usual tempo
  • Example of Orff's time signatures
  • 3}}. The displayed numbers count the underlying [[polyrhythm]], which is 5:3
  • 4}}
  • 4}}
  • String Quartet No. 2 in F major]], showing a multiple time signature
  • Semicircle with dot
  • Semicircle without dot
  • alt=Circle with dot
  • Circle without dot
  • alt=three semibreves
  • alt=two semibreves
  • 4}} at 60 bpm
  • bpm]]
  • 4}} at 60 bpm
  • bpm]]
  • 140x105px
  • 140x105px
  • 140x105px
  • 140x105px
  • 140x105px
  • x30px
  • x30px
  • x30px
SPECIFICATION OF BEATS IN A MUSICAL BAR OR MEASURE
Common time; 4/4 time; Meter signature; Time signatures; Time-signature; 4/4 beat; Time (music); 6/8 Time; Irregular time signatures; Irregular time signature; Odd time signature; Odd time signatures; Unusual time signature; Unusual time signatures; Waltz time; Time Signature; Additive meter; Eight to the bar; Eight to the Bar; 6/8 time; Complex time signature; Complex meter; Commontime; 13/8; Three-quarter time; 𝄴; Common-time; Usual time signature; Mixed meter; Asymmetric time signatures; Irrational time signature; Irrational meter; Non-dyadic time signature; Non-dyadic meter; Odd meter; 4/4 music; 5/4 music; 7/4 music; 11/4 music
(time signatures)
The time signature of a piece of music consists of two numbers written at the beginning that show how many beats there are in each bar.
N-COUNT
guarded         
2005 SINGLE BY DISTURBED
Guarded (song); Guarded (Disturbed song)
If you describe someone as guarded, you mean that they are careful not to show their feelings or give away information.
The boy gave him a guarded look...
In the office, Dr. Lahey seemed less guarded, more relaxed.
ADJ
guardedly
'I am happy, so far,' he says guardedly...
They are guardedly optimistic that the market is on the road to recovery.
ADV: usu ADV with v, ADV adj, also ADV with cl
Signature drink         
ANY UNIQUE OR ORIGINAL COCKTAIL DRINK
User:MayraElizabeth/Signature Drinks; Wikipedia talk:Articles for creation/Signature Drinks; Signature Drinks; Signature drinks
A Signature drink is any unique or original drink that expresses the nature of the person or establishment creating it.
Time signature         
  • alt=two groups of three minims
  • alt=three groups of two minims
  • alt=three groups of three minims
  • '''3+3+3'''}} and the cycle then repeats. Taking the smallest time unit as eighth notes, the arrows on the tempo dial show the tempi for ♪, ♩, ♩. and the measure beat. Starts slow, speeds up to usual tempo
  • Example of Orff's time signatures
  • 3}}. The displayed numbers count the underlying [[polyrhythm]], which is 5:3
  • 4}}
  • 4}}
  • String Quartet No. 2 in F major]], showing a multiple time signature
  • Semicircle with dot
  • Semicircle without dot
  • alt=Circle with dot
  • Circle without dot
  • alt=three semibreves
  • alt=two semibreves
  • 4}} at 60 bpm
  • bpm]]
  • 4}} at 60 bpm
  • bpm]]
  • 140x105px
  • 140x105px
  • 140x105px
  • 140x105px
  • 140x105px
  • x30px
  • x30px
  • x30px
SPECIFICATION OF BEATS IN A MUSICAL BAR OR MEASURE
Common time; 4/4 time; Meter signature; Time signatures; Time-signature; 4/4 beat; Time (music); 6/8 Time; Irregular time signatures; Irregular time signature; Odd time signature; Odd time signatures; Unusual time signature; Unusual time signatures; Waltz time; Time Signature; Additive meter; Eight to the bar; Eight to the Bar; 6/8 time; Complex time signature; Complex meter; Commontime; 13/8; Three-quarter time; 𝄴; Common-time; Usual time signature; Mixed meter; Asymmetric time signatures; Irrational time signature; Irrational meter; Non-dyadic time signature; Non-dyadic meter; Odd meter; 4/4 music; 5/4 music; 7/4 music; 11/4 music
·add. ·- A sign at the beginning of a composition or movement, placed after the key signature, to indicate its time or meter. Also called rhythmical signature. It is in the form of a fraction, of which the denominator indicates the kind of note taken as time unit for the beat, and the numerator, the number of these to the measure.
Signatories         
  • Fingerprints may be used instead of signatures where the signer is illiterate. Here on an Indian legal document of 1952.
  • [[Vermeer]]'s signature
  • p=Xú Yǒngyù yìn}}, rotating character seal of Xú Yǒngyù
HANDWRITTEN MARK MADE AS A PROOF OF IDENTITY AND INTENT
Signatures; Signatory state; Signatory; Signiture; Signatories; Signature Hole
·pl of Signatory.
Signature         
  • Fingerprints may be used instead of signatures where the signer is illiterate. Here on an Indian legal document of 1952.
  • [[Vermeer]]'s signature
  • p=Xú Yǒngyù yìn}}, rotating character seal of Xú Yǒngyù
HANDWRITTEN MARK MADE AS A PROOF OF IDENTITY AND INTENT
Signatures; Signatory state; Signatory; Signiture; Signatories; Signature Hole
·vt A sign, stamp, or mark impressed, as by a seal.
II. Signature ·vt To mark with, or as with, a signature or signatures.
III. Signature ·vt An outward mark by which internal characteristics were supposed to be indicated.
IV. Signature ·vt The printed sheet so marked, or the form from which it is printed; as, to reprint one or more signatures.
V. Signature ·vt A letter or figure placed at the bottom of the first page of each sheet of a book or pamphlet, as a direction to the binder in arranging and folding the sheets.
VI. Signature ·vt That part of a prescription which contains the directions to the patient. It is usually prefaced by S or Sig. (an abbreviation for the Latin signa, ·imv of signare to sign or mark).
VII. Signature ·vt Especially, the name of any person, written with his own hand, employed to signify that the writing which precedes accords with his wishes or intentions; a sign manual; an Autograph.
VIII. Signature ·vt A resemblance between the external characters of a disease and those of some physical agent, for instance, that existing between the red skin of scarlet fever and a red cloth;
- supposed to indicate this agent in the treatment of the disease.
IX. Signature ·vt The designation of the key (when not C major, or its relative, A minor) by means of one or more sharps or flats at the beginning of the staff, immediately after the clef, affecting all notes of the same letter throughout the piece or movement. Each minor key has the same signature as its relative major.
signatory         
  • Fingerprints may be used instead of signatures where the signer is illiterate. Here on an Indian legal document of 1952.
  • [[Vermeer]]'s signature
  • p=Xú Yǒngyù yìn}}, rotating character seal of Xú Yǒngyù
HANDWRITTEN MARK MADE AS A PROOF OF IDENTITY AND INTENT
Signatures; Signatory state; Signatory; Signiture; Signatories; Signature Hole
['s?gn?t(?)ri]
¦ noun (plural signatories) a party that has signed an agreement.
Origin
C19: from L. signatorius 'of sealing', from signare (see signature).
Time signature         
  • alt=two groups of three minims
  • alt=three groups of two minims
  • alt=three groups of three minims
  • '''3+3+3'''}} and the cycle then repeats. Taking the smallest time unit as eighth notes, the arrows on the tempo dial show the tempi for ♪, ♩, ♩. and the measure beat. Starts slow, speeds up to usual tempo
  • Example of Orff's time signatures
  • 3}}. The displayed numbers count the underlying [[polyrhythm]], which is 5:3
  • 4}}
  • 4}}
  • String Quartet No. 2 in F major]], showing a multiple time signature
  • Semicircle with dot
  • Semicircle without dot
  • alt=Circle with dot
  • Circle without dot
  • alt=three semibreves
  • alt=two semibreves
  • 4}} at 60 bpm
  • bpm]]
  • 4}} at 60 bpm
  • bpm]]
  • 140x105px
  • 140x105px
  • 140x105px
  • 140x105px
  • 140x105px
  • x30px
  • x30px
  • x30px
SPECIFICATION OF BEATS IN A MUSICAL BAR OR MEASURE
Common time; 4/4 time; Meter signature; Time signatures; Time-signature; 4/4 beat; Time (music); 6/8 Time; Irregular time signatures; Irregular time signature; Odd time signature; Odd time signatures; Unusual time signature; Unusual time signatures; Waltz time; Time Signature; Additive meter; Eight to the bar; Eight to the Bar; 6/8 time; Complex time signature; Complex meter; Commontime; 13/8; Three-quarter time; 𝄴; Common-time; Usual time signature; Mixed meter; Asymmetric time signatures; Irrational time signature; Irrational meter; Non-dyadic time signature; Non-dyadic meter; Odd meter; 4/4 music; 5/4 music; 7/4 music; 11/4 music
time signature. The time signature indicates that there are three quarter notes (crotchets) per measure (bar).
signatory         
  • Fingerprints may be used instead of signatures where the signer is illiterate. Here on an Indian legal document of 1952.
  • [[Vermeer]]'s signature
  • p=Xú Yǒngyù yìn}}, rotating character seal of Xú Yǒngyù
HANDWRITTEN MARK MADE AS A PROOF OF IDENTITY AND INTENT
Signatures; Signatory state; Signatory; Signiture; Signatories; Signature Hole
(signatories)
The signatories of an official document are the people, organizations, or countries that have signed it. (FORMAL)
Both countries are signatories to the Nuclear Non-Proliferation Treaty.
N-COUNT: oft N of/to n

Википедия

Guarded Command Language

The Guarded Command Language (GCL) is a programming language defined by Edsger Dijkstra for predicate transformer semantics in EWD472. It combines programming concepts in a compact way. It makes it easier to develop a program and its proof hand-in-hand, with the proof ideas leading the way; moreover, parts of a program can actually be calculated.

An important property of GCL is nondeterminism. For example, in the if-statement, several alternatives may be true, and the choice of which to choose is done at runtime, when the if-statement is executed. This frees the programmer from having to make unnecessary choices and is an aid in the formal development of programs.

GCL includes the multiple assignment statement. For example, execution of the statement x, y:= y, x is done by first evaluating the righthand side values and then storing them in the lefthand variables. Thus, this statement swaps the values of x and y.

The following books discuss the development of programs using GCL:

  • Dijkstra, Edsger W. (1976). A Discipline of Programming. Prentice Hall. ISBN 978-0132158718.
  • Gries, D. (1981). The Science of Programming. Monographs in Computer Science (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: Springer Verlag. doi:10.1007/978-1-4612-5983-1. ISBN 978-0-387-96480-5. S2CID 37034126.
  • Dijkstra, Edsger W.; Feijen, Wim H.J. (1988). A Method of Programming. Boston, MA: Addison-Wesley Longman Publishing Co., Inc. p. 200. ISBN 978-0-201-17536-3.
  • Kaldewaij, Anne (1990). Programming: the derivation of algorithms. Prentice-Hall, Inc. ISBN 0132041081.
  • Cohen, Edward (1990). David Gries (ed.). Programming in the 1990s: An introduction to the calculation of programs. Texts and Monographs in Computer Science. Springer Verlag. doi:10.1007/978-1-4613-9706-9. ISBN 978-1-4613-9706-9. S2CID 1509875.