Понятия со словом «порядок»

Связанные понятия

Безопасность информационных потоков — набор требований и правил, направленных на определение того, какие информационные потоки в системе являются разрешёнными, а какие нет. Данная модель не является самостоятельной, и используется в дополнение к мандатной или дискреционной модели управления доступа.
Модели ценности защищаемой информации — модели для определения ценности информации с целью организации её защиты от потери и несанкционированного копирования.
Индивидуа́льный трудово́й спор – в соответствии с трудовым законодательством Российской Федерации – это неурегулированные разногласия между работодателем и работником по вопросам применения трудового законодательства и иных нормативных правовых актов, содержащих нормы трудового права, коллективного договора, соглашения, локального нормативного акта, трудового договора (в том числе об установлении или изменении индивидуальных условий труда), о которых заявлено в орган по рассмотрению индивидуальных...
Перечислены связные 3-регулярные (кубические) простые графы с малым числом вершин.

Подробнее: Таблица простых кубических графов
Теория Гласиер — универсальная теория формирования организаций, вошедшая в научную литературу под названием места своего создания — компании «Glacier Metal», Великобритания.
Генерация столбцов или отложенная генерация столбцов — это эффективный подход к решению больших задач линейного программирования.
Стоя́ть на решённом (лат. Stare decisis, латинское произношение: /ˈstaːreː deːˈtʃiːzɪs/) — правовой принцип, по которому судьи обязаны уважать прецеденты, созданные предшествующими решениями. Выражение взято из латинского изречения, формулирующего данный принцип, Stare decisis et non quieta movere: «стоять на решённом и не нарушать спокойствие». В правовом контексте это понимается таким образом, что суды должны, как правило, придерживаться прецедентов и не поднимать заново уже улаженные вопросы...
Метод Куайна — способ представления функции в ДНФ или КНФ с минимальным количеством членов и минимальным набором переменных.
Цикломати́ческая сло́жность програ́ммы (англ. cyclomatic complexity of a program) — структурная (или топологическая) мера сложности компьютерной программы. Мера была разработана Томасом Дж. Маккейбом в 1976 году.
Гистогра́мма в математической статистике — это функция, приближающая плотность вероятности некоторого распределения, построенная на основе выборки из него.
Число пересечений графа — наименьшее число элементов в представлении данного графа как графа пересечений конечных множеств, или, эквивалентно, наименьшее число клик, необходимых для покрытия всех рёбер графа.
Попра́вки к Конститу́ции Кана́ды — изменения Конституции Канады по инициативе правительства. Официальные правила внесения поправок к Конституции были приняты лишь в 1982 г.
Специальный трудовой стаж — в законодательстве Российской Федерации это суммарная продолжительность трудовой деятельности (независимо от количества и продолжительности перерывов в ней) в определенных отраслях народного хозяйства, в определенных профессиях, должностях и в определенных местностях, а также некоторые виды общественно-полезной деятельности. Такое определение содержал утративший на данный момент силу Закон РФ от 20 ноября 1990 г. N 340-I «О государственных пенсиях в Российской Федерации...
Алгоритм Гельфонда — Шенкса (англ. Baby-step giant-step; также называемый алгоритмом больших и малых шагов) — в теории групп детерминированный алгоритм дискретного логарифмирования в мульпликативной группе кольца вычетов по модулю простого числа. Был предложен советским математиком Александром Гельфондом в 1962 году и Дэниэлем Шенксом в 1972 году.
Итеративное сжатие — это алгоритмическая техника разработки фиксированно-параметрически разрешимых алгоритмов, в которой один элемент (такой как вершина графа) добавляется в задачу на каждом шаге и используется небольшое решение задачи перед добавлением элемента, чтобы найти небольшое решение задачи после добавления.
Свёртка последовательностей — это результат перемножения элементов двух заданных числовых последовательностей таким образом, что члены одной последовательности берутся с возрастанием индексов, а члены другой — с убыванием (что и служит основанием для принятого названия данной операции).
Многозна́чная зави́симость (тж. МЗЗ) — обобщение понятия функциональной зависимости, широко использующееся в теории баз данных. В концепции нормальных форм вводится для формального определения четвертой нормальной формы...
Задача Рамсея, задача о знакомствах среди шести человек — это математическая теорема в теории Рамсея, частный случай теоремы Рамсея.
В математике и информатике подстановка — это операция синтаксической замены подтермов данного терма другими термами, согласно определённым правилам. Обычно речь идёт о подстановке терма вместо переменной.

Подробнее: Подстановка
Геометрический остов (англ. geometric spanner) или t-остовной граф, или t-остов первоначально был введён как взвешенный граф на множестве точек в качестве вершин, для которого существует t-путь между любой парой вершин для фиксированного параметра t. t-Путь определяется как путь в графе с весом, не превосходящим в t раз пространственное расстояние между конечными точками. Параметр t называется коэффициентом растяжения остова.
Теорема о 9 точках на кубической кривой — теорема алгебраической геометрии, которая гласит, что...
Алгоритм распространения доверия (англ. belief propagation, также алгоритм «sum-product») — алгоритм маргинализации с помощью двунаправленной передачи сообщений на графе, применяемый для вывода на графических вероятностных моделях (таких как байесовские и марковские сети). Предложен Дж. Перлом в 1982 году.
Алгоритм Эдмондса или алгоритм Чу — Лью/Эдмондса — это алгоритм поиска остовного ориентированного корневого дерева минимального веса (иногда называемого оптимальным ветвлением).
Диаграмма Насси — Шнейдермана (англ. Nassi — Shneiderman diagram) — это графический способ представления структурированных алгоритмов и программ, разработанный в 1972 году американскими аспирантами Беном Шнейдерманом и Айзеком Насси.
С момента патриации Конституции Канады в 1982 было произведено лишь десять небольших поправок. Однако было и несколько неуда́вшихся прое́ктов попра́вок к Конститу́ции согласно новой процедуре внесения поправок.
В теории алгоритмов классами сложности называются множества вычислительных задач, примерно одинаковых по сложности вычисления. Говоря более узко, классы сложности — это множества предикатов (функций, получающих на вход слово и возвращающих ответ 0 или 1), использующих для вычисления примерно одинаковые количества ресурсов.

Подробнее: Класс сложности
Альтернати́ва Фредго́льма — совокупность теорем Фредгольма о разрешимости интегрального уравнения Фредгольма второго рода.
И́стинный смысл — правовая теория в интерпретации канадской конституции, используемая для определения, какому уровню власти принадлежит право издавать законы по конкретному вопросу. Теория применяется, главным образом, когда закон оспаривается на основании того, что один уровень власти (провинциальный или федеральный) нарушил пределы исключительных полномочий другого уровня власти.
Компьютер для операций с математическими функциями (в отличие от обычного компьютера) оперирует с функциями на аппаратном уровне (то есть без программирования этих операций).
В настоящее время отсутствует единое определение точно решаемой задачи для всех разделов математики. Это обусловлено особенностями самих задач и методов поиска их решения. Вместе с тем базовые теоремы, определяющие наличие и единственность решений, строятся на общих принципах, что будет показано ниже.

Подробнее: Точнорешаемая задача
Подсу́дность — распределение дел, подлежащих рассмотрению по первой инстанции, между судами — установление конкретного суда, который должен рассмотреть данное дело. Подсудность включает как компетентность, или власть, принадлежащую тому или другому суду, постановить решение по делу, так и соответствующую этой власти обязанность заинтересованных лиц подчиняться данному компетентному суду.
Минимальный автомат — это автомат, имеющий наименьшее возможное количество состояний и реализующий заданную функцию выходов. Задача минимизации автомата сводится к поиску его минимальной формы. Для произвольного конечного автомата может быть построен эквивалентный ему конечный автомат с наименьшим числом состояний.

Подробнее: Минимальная форма автомата
Верифика́ция по́дписи — биометрическая технология, использующая подпись для идентификации личности.
Бондграф — графическое представление динамической системы, возникающее при описании той или иной физической (механической, электрической, гидравлической, пневматической, экономической и т.д.) системы, отражающее процесс перераспределения энергии в данной системе. Похож на граф, более известный как блок-схема, или на граф прохождения сигналов и опирается на закон сохранения энергии. Основное отличие от блок-схем или графов прохождения сигналов состоит в том, что в бондграфе рёбрам ставится в соответствие...
Криптосистема Уильямса (Williams System) — система шифрования с открытым ключом, созданная Хью Коуи Уильямсом (Hugh Cowie Williams) в 1984 году.
Основная теорема о рекуррентных соотношениях (англ. Master theorem) используется в анализе алгоритмов для получения асимптотической оценки рекурсивных соотношений (рекуррентных уравнений), часто возникающих при анализе алгоритмов типа «разделяй и властвуй» (divide and conquer), например, при оценке времени их выполнения. Теорема была популяризована в книге Алгоритмы: построение и анализ (Томас Кормен, Чарльз Лейзерстон, Рональд Ривест, Клиффорд Штайн), в которой она была введена и доказана.
Принцип равного избирательного права — принцип избирательного права, согласно которому все избиратели участвуют в выборах на равных основаниях.
Поточный алгоритм (англ. streaming algorithm) — алгоритм для обработки последовательности данных в один или малое число проходов.
Норма матрицы — норма в линейном пространстве матриц, как правило некоторым образом связанная с соответствующей векторной нормой (согласованная или подчиненная).
Комплексный книготорговый индекс-шифр — стандартный элемент выходных сведений, предназначенный для классификации книги в книготорговой сети (книжных магазинах и т. д.). Он применялся в выходных сведениях изданий СССР и России до вступления в силу ГОСТ 7.4—95.
Два-графы не являются графами, и их не следует путать с другими объектами, которые называются 2-графами в теории графов, в частности, с 2-регулярными графами. Для их различения используется слово «два», а не цифра «2».
Принцип правовой определённости требует ясности и постоянства в правовом положении субъектов и содержании правовых норм.
Организационное проектирование — важнейший начальный этап создания любой организации или подразделения. Это определение будущей структуры организации, её систем управления, процедур выполнения действий, административных, технологических взаимодействий между всеми элементами.
Деление столбиком (также известное как деление уголком) — стандартная процедура в арифметике, предназначенная для деления простых или сложных многозначных чисел за счёт разбивания деления на ряд более простых шагов. Как и во всех задачах на деление, одно число, называемое делимым, делится на другое, называемое делителем, производя результат, называемый частным. Этот способ позволяет выполнять деление произвольно больших чисел, разбивая процесс на серию последовательных простых шагов.В Европу этот...
Кусочно-линейная функция — функция, определённая на множестве вещественных чисел, линейная на каждом из интервалов, составляющих область определения.
Блочная сортировка (Карманная сортировка, корзинная сортировка, англ. Bucket sort) — алгоритм сортировки, в котором сортируемые элементы распределяются между конечным числом отдельных блоков (карманов, корзин) так, чтобы все элементы в каждом следующем по порядку блоке были всегда больше (или меньше), чем в предыдущем. Каждый блок затем сортируется отдельно, либо рекурсивно тем же методом, либо другим. Затем элементы помещаются обратно в массив. Этот тип сортировки может обладать линейным временем...
Военно-судебный устав Российской империи — свод военных постановлений, построенный на принципах судебной реформы 1864 года и определивший устройство и компетенцию военного суда.
Mетод присоединения соседей — алгоритм биоинформатики, разработанный Наруя Сайтоу и Масатоcи Нэи в 1987 году. Это восходящий кластерный метод для создания филогенетических деревьев. Обычно используется для деревьев, основанных на ДНК или белковых последовательностях. Для его реализации необходимо вычислить расстояния между каждой парой таксонов (например, видов или последовательностей).
Украинские положения (стандарты) бухгалтерского учёта (УП(С)БУ) (укр. Положення (стандарти) бухгалтерського обліку (П(С)БО)) — нормативно-правовой акт, утверждённый Министерством финансов Украины, определяющий принципы и методы ведения бухгалтерского учёта и составления финансовой отчётности на Украине.
Дерево Фенвика (двоичное индексированное дерево, англ. Fenwick tree, binary indexed tree, BIT) — структура данных, позволяющая быстро изменять значения в массиве и находить некоторые функции от элементов массива. Впервые описано Питером Фенвиком в 1994 году. Дерево Фенвика напоминает дерево отрезков, однако проще в реализации.
а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я