Неразрывности Уравнение

- класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда (, если ). Иначе говоря, два множества принадлежат одной Н. С, если для каждого из них существует эффективная разрешающая процедура при возможности время от времени получать от "оракула" ответы на возникающие по ходу вычислений вопросы о принадлежности того или иного числа другому из рассматриваемых множеств (см. Также Алгоритмическая сводимость). Н. С. Определяют также как класс эквивал..

- невозможность решения данной задачи точно очерченными средствами. Ниже рассмотрены важнейшие примеры Н. В математике. Алгоритмическая неразрешимость. В различных областях математики возникают проблемы, в к-рых требуется найти единую механич. Процедуру ( алгоритм), с помощью к-рой можно было бы решить любую задачу из данного бесконечного класса однотипных задач. Такие проблемы наз. Массовыми проблемами. Примером может служить 10-я проблема Гильберта, состоящая в построении алгоритма, к-рый по..

семейства множеств - симп лициальный комплекс, симплексами к-рого являются конечные непустые подмножества из , пересечение к-рых непусто. В частности, вершины суть элементы из , не являющиеся пустыми множествами. М. И. Войцеховский.. ..

абелева многообразия - групповая схема, сопоставляемая абелеву многообразию и обладающая нек-рым свойством минимальности. Если R- локальное гензелево кольцо дискретного нормирования с полем вычетов ки полем частных К, А- абелево многообразие размерности dнад полем А, то моделью Нерона многообразия Аназ. Гладкая коммутативная групповая схема над кольцом R, общий слой к-рой - изоморфен многообразию А, а канонич. Гомоморфизм является изоморфизмом. Это понятие было введено А. Нероном [1] в случ..