without examplesFound in 1 dictionary
Mechanical Engineering and Industrial Automation- dicts.engineering_ru_en.description
- dicts.engineering_ru_en.description
утверждение типа
(напр. средств измерений) pattern approval
Examples from texts
Затем при доказательстве утверждений типа "тогда и только тогда" мы, конечно же, должны проводить их и в одну, и в другую сторону.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 computationIntroduction to automata theory, languages, and computationHopcroft, 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 computationIntroduction to automata theory, languages, and computationHopcroft, 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 computationIntroduction to automata theory, languages, and computationHopcroft, 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 LogicFoundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.Основания математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969
Add to my dictionary
утверждение типа
pattern approval
User translations
No translations for this text yet.
Be the first to translate it!
Collocations
утверждение типа средств измерений
pattern approval