отрезка
51ГОСТ 25996-97: Цепи круглозвенные высокопрочные для горного оборудования. Технические условия — Терминология ГОСТ 25996 97: Цепи круглозвенные высокопрочные для горного оборудования. Технические условия оригинал документа: 4.2 Диаметр материала 4.2.1 Диаметр материала звена Диаметр материала звена d (исключая место сварки) и его предельные… …
Словарь-справочник терминов нормативно-технической документации
52ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… …
53ПАША АКСИОМА — одна из аксиом порядка в Гильберта системе аксиом евклидовой геометрии. Формулировка аксиомы использует понятие лежать внутри отрезка , причем отрезок здесь рассматривается как система двух различных точек Аи В, принадлежащих одной прямой; точки …
54Аксиома Паша — Аксиома Паша  одна из аксиом порядка в системе аксиом Гильберта евклидовой геометрии. Формулировка аксиомы использует понятие «лежать внутри отрезка», причем отрезок здесь рассматривается как система двух различных точек и , принадлежащих… …
55Лемма Гейне — Бореля — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… …
56Лемма Гейне — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… …
57БОЛЬЦАНО - ВЕЙЕРШТРАССА ПРИНЦИП ВЫБОРА — метод доказательства, часто применяемый в математич. анализе и основанный на последовательном делении отрезка пополам и выборе из двух получившихся отрезков отрезка, обладающего нек рым свойством. Этот метод может быть применен, если свойство… …
58Бинарный поиск — Двоичный (бинарный) поиск (также известен как метод деления пополам и дихотомия) классический алгоритм поиска элемента в отсортированном массиве (векторе). Также применяется для нахождения заданного значения монотонной(невозрастающей или… …
59Смольная улица (Москва) — Смольная улица Москва Начало улицы …
60отбор — 05.02.18 отбор (радиочастотная идентификация) [selection]: Операция запроса ответа конкретной радиочастотной метки или группы радиочастотных меток, осуществляемая устройством считывания/опроса. Источник …
Словарь-справочник терминов нормативно-технической документации