вспомогательное доказательство
1Граница Плоткина — Граница Плоткина  в теории кодирования определяет предел мощности двоичного кодa длины и минимального расстояния . Содержание 1 Формулировка …
2дедукции теорема — ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… …
3система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… …
Словарь-справочник терминов нормативно-технической документации
4Суффиксное дерево — Суффиксное дерево  бор, содержащий все суффиксы некоторой строки (и только их). Позволяет выяснять, входит ли строка w в исходную строку t, за время O(|w|), где |w|  длина строки w. Содержание 1 Основные определения и описание структуры …
5Дерево суффиксов — Суффиксное дерево способ организации данных (строк), позволяющий выяснять, входит ли строка w в строку t, за время O(|w|), где |w| длина строки w. Содержание 1 Основные определения и описание структуры 2 Свойства суффиксных д …
6лемма — ы; ж. [греч. lēmma] Матем. Теорема, необходимая только для доказательства другой или нескольких других теорем. Доказательство леммы. * * * лемма (греч. lēmma), вспомогательное предложение, употребляемое при доказательстве одной или нескольких… …
7Астрономия — (от греческих слов άστρον, светило, и νόμος, закон) наука о небесных светилах. В обширном значении этого слова А. включает в себе исследование всего того, что можно знать о небесных светилах: солнце, луне, планетах, кометах, падающих звездах,… …
8Монж, Гаспар — Gaspard Monge …
9ГИПОТЕЗА — (от греч. предположение) 1) подсистема теоретического знания; 2) форма развития знания (научного, философского, практического и т. д.). Г. это суждение, истинностное значение которого является неопределенным. Т. широко используются в любой сфере… …
10обеспечение — Процесс скоординированного управления по обеспечению всех материалов и ресурсов, требуемых для эксплуатации изделия. Источник: ГОСТ Р 53480 2009: Надежность в технике. Термины и определения оригинал документа …
Словарь-справочник терминов нормативно-технической документации