about icon-addNote android4 Answer apple4 icon-appStoreEN icon-appStoreES icon-appStorePT icon-appStoreRU Imported Layers Copy 7 icon-arrow-spined icon-ask icon-attention icon-bubble-blue icon-bubble-red ButtonError ButtonLoader ButtonOk icon-cake icon-camera icon-card-add icon-card-calendar icon-card-remove icon-card-sort chrome-extension-ru chrome-extension-es-mx chrome-extension-pt-br chrome-extension-ru comment comment icon-cop-cut icon-cop-star Cross Dislike icon-editPen icon-entrance icon-errorBig facebook flag flag_vector icon-globe icon-googlePlayEN icon-googlePlayRU icon-greyLoader icon-cake Heart 4EB021E9-B441-4209-A542-9E882D3252DE Created with sketchtool. Info Kebab icon-lamp icon-lampBig icon-learnHat icon-learning-hat Dislike Loup Loup icon-more icon-note icon-notifications icon-pen Pencil icon-play icon-plus-light icon-plus icon-rosie-cut Rune scrollUp Share-icon Shevron-Down Shevron Left Shevron Right sound sound1 sound2 sound3 sound4 sound2 icon-star Swap icon-translate Trash icon-tutor-ellipsis icon-tutor-flip Tutor folder icon icon-tutor-learned icon-twoWayArrow Mezhdunarodny_logotip_VK vk icon-word pen_icon Logo Logo Logo
sin ejemplosSe encuentra en 1 diccionario

El diccionario ruso-inglés de ingeniería mecánica y automatización industrial
  • dicts.engineering_ru_en.description

утверждение типа

(напр. средств измерений) pattern approval

Ejemplos de los textos

Затем при доказательстве утверждений типа "тогда и только тогда" мы, конечно же, должны проводить их и в одну, и в другую сторону.
When doing a proof of an "if and only if" statement, we must surely have one proof for the "if" part and another proof for the "only-if" part.
Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation
Introduction to automata theory, languages, and computation
Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey
© 2001 by Addison-Wesley
Введение в теорию автоматов, языков и вычислений
Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри
© Издательский дом "Вильямс", 2002
© Addison-Wesley Publishing Company, Inc. 2001
Доказываются такие утверждения в одну и другую стороны как утверждения типа "если-то".
They are proved by showing if-then statements in both directions.
Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation
Introduction to automata theory, languages, and computation
Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey
© 2001 by Addison-Wesley
Введение в теорию автоматов, языков и вычислений
Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри
© Издательский дом "Вильямс", 2002
© Addison-Wesley Publishing Company, Inc. 2001
Мы говорим, что С логически (дедуктивно) следует из Н. Следующая теорема служит иллюстрацией утверждения данного типа.
We say that C is deduced from H. An example theorem of the form "if H then C will illustrate these points.
Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation
Introduction to automata theory, languages, and computation
Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey
© 2001 by Addison-Wesley
Введение в теорию автоматов, языков и вычислений
Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри
© Издательский дом "Вильямс", 2002
© Addison-Wesley Publishing Company, Inc. 2001
Исходное (квазиисходное) утверждение будет называться элементарным в точности тогда, когда это (соответствующее) исходное утверждение имеет тип (pi)' или (р2).
A prime (quasi-prime) statement will be called elementary just when the (corresponding) prime statement is of type (pi)' or (p2).
Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969

Añadir a mi diccionario

утверждение типа
pattern approval

Traducciones de usuarios

Aún no hay traducciones del este texto.
¡Sé primero de traducirlo!

Expresiones

утверждение типа средств измерений
pattern approval