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

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

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

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология
  1. Словари
  2. Англо-русский словарь
  3. guarded signature

guarded signature - перевод на русский

FORMAL LANGUAGE FOR PREDICATE TRANSFORMER SEMANTICS INTRODUCED BY BY EDSGER DIJKSTRA
Guarded command; Guarded commands
Найдено результатов: 140
guarded signature      

['gɑ:did'signətʃə]

полиграфия

укреплённая полоской бумаги или материи тетрадь (книжного блока)

укреплённая полоской бумаги или материи тетрадь (книжного блока)

guarded signature      
тетрадь с (тканевым) фальчиком, упрочнённая полоской бумаги или материи тетрадь (книжного блока)
metric signature         
MATHEMATICAL CONCEPT
Signature change; Signature (physics); Euclidean signature; +---; -+++; Lorentz signature; Mostly Plus; Mostly Minus; Signature of the metric

математика

сигнатура метрики

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

['signɔtʃə]

общая лексика

сигнатура

специфическое содержимое памяти, характеризующее объект, например компьютерный вирус

отличительный признак

подпись

ставить подпись, подписывать

сигнатурный

нефтегазовая промышленность

рисунок волны, форма волны (на сейсмограмме)

синоним

sig

существительное

['signətʃə]

общая лексика

(собственноручная) подпись

автограф

подписание

музыкальная шапка (радиопрограммы и т. п.)

подпись

полиграфия

сигнатура

сфальцованный печатный лист

музыка

ключевые знаки

ключ

радиотехника

музыкальная шапка

глагол

общая лексика

подписывать

ставить подпись

полиграфия

ставить сигнатуру

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

['signət(ə)ri]

прилагательное

юриспруденция

подписавший

принявший участие в подписании

существительное

['signət(ə)ri]

общая лексика

подписавшийся

сторона, подписавшая какой-л. документ (особ. договор)

юриспруденция

подписавшееся государство

подписавшаяся сторона

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
signatory 1. noun сторона, подписавшая какой-л. документ (особ. договор); joint signatory - совместно подписавший 2. adj. подписавший (какой-л. документ, особ. договор)
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

['taimsignətʃə]

существительное

музыка

тактовый размер

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
подпись
- signature by procuration
 - signature on a bill
 - authorized signature
 - fictitious signature
 - genuine signature
 - mark signature
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
1) сигнатура
2) тетрадь; сфальцованный лист
3) страница
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
signature noun 1) подпись; to bear the signature (of) - быть подписанным (кем-л.); over the signature - за подписью 2) typ. сигнатура 3) mus. ключ 4) radio музыкальная шапка

Определение

time signature
(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 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.


https://en.wikipedia.org/wiki/Guarded Command Language
Как переводится guarded signature на Русский язык
Поиск в словаре
Все словари Английский словарь Англо-арабский словарь Англо-голландский словарь Англо-греческий словарь Англо-испанский словарь Англо-итальянский словарь Англо-немецкий словарь Англо-русский словарь Англо-французский словарь Арабский словарь Голландский словарь Греческий словарь Испанский словарь Итальянский словарь Итальянско-русский словарь Латинско-испанский словарь Латинско-португальский словарь Немецкий словарь Португальский словарь Португальско-русский словарь Русский словарь Французский словарь Французско-русский словарь
Создано ИИ
Английский Русский Испанский Португальский Немецкий Французский Греческий Голландский Итальянский Арабский
Язык интерфейса
Русский English Español Português Deutsch Français Ελληνικά Nederlands Italiano عربي
Контакты
Свяжитесь с нами



Конфиденциальность
Политика конфиденциальности