Примеры в контексте "Nested - Вложенности"

Перевод

Примеры

Примеры: Nested — Вложенности

• Higher-order logic is the union of first-, second-, third-, ..., nth-order logic; i.e., higher-order logic admits quantification over sets that are nested arbitrarily deeply.

  Логика высшего порядка является объединением логики первого, второго, третьего и т.д. порядков; иначе говоря, логика высшего порядка допускает высказывания над множествами произвольной глубины вложенности.

• Nested level on annotation elements' ' from namespace' ' for generic type' ' must be in increasing order.

  Уровень вложенности элементов пометок из пространства имен для базового типа должен располагаться в порядке возрастания.

• Unix also popularized the hierarchical file system with arbitrarily nested subdirectories, originally introduced by Multics.

  Unix популяризовала предложенную в Multics идею иерархической файловой системы с произвольной глубиной вложенности.

• A set of intervals is nested if, for every two intervals in the set, either the two are disjoint or one contains the other.

  Множество промежутков имеет свойство вложенности, если для любых двух промежутков из множества они либо не пересекаются, либо один из них содержится в другом.

• Nested regions, in their turn, may include regions of deeper nesting levels.

  Вложенные регионы могут в свою очередь включать регионы более глубокого уровня вложенности.

• This is a significant difference in many domains: for example, hand-written source code has an effectively constant expression nesting depth independent of the length of the program-expressions nested beyond a certain depth tend to get refactored.

  Это существенный прирост во многих областях: например, программный код, написанный человеком, как правило имеет практически константную глубину вложенности независимо от длины программы - выражения с глубиной свыше некоторой величины обычно подвергаются рефакторингу.

Другие варианты перевода слова nested

• Вложенный
• Гнездовой
• Гнездовых
• Встроенных
• Сгруппированные
• Гнездится
• Многоуровневые
• Гнездились
• Иерархического
• Просеивающие