-
1 сводимость
матем.зві́дність, -ності -
2 сводимость
матем.зві́дність, -ності
См. также в других словарях:
сводимость — приводимость; выводимость. Ant. несводимость Словарь русских синонимов. сводимость сущ., кол во синонимов: 1 • выводимость (1) Словарь синонимов ASIS … Словарь синонимов
СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание … Философская энциклопедия
сводимость — свод имость, и … Русский орфографический словарь
сводимость — Syn: приводимость Ant: несводимость … Тезаурус русской деловой лексики
АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ — одно из основных понятий алгоритмов теории и ее приложений Возникло в связи с тем, что неразрешимость (и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой … Математическая энциклопедия
ТАБЛИЧНАЯ СВОДИМОСТЬ — tt сводимост ь, специальный вид алгоритмической сводимости. Пусть Аи В два подмножества натурального ряда. Говорят, что Атаблично сводится к В (обозначение: если существует алгоритм f, к рый по всякому натуральному числу астроит булеву функцию… … Математическая энциклопедия
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
ШЛИК — (Schlick) Мориц (1882 1936, застрелен бывшим своим студентом психопатом на лестнице в здании университета) австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с … История Философии: Энциклопедия
КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… … Философская энциклопедия
ШЛИК Мориц (1882-1936) — австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с 1922), в Калифорнийском университете (1931 1932), ведущий представитель раннего этапа логического… … История Философии: Энциклопедия
Цвет (зрительное ощущение) — Цвет, одно из свойств объектов материального мира, воспринимаемое как осознанное зрительное ощущение. Тот или иной Ц. «присваивается» человеком объектам в процессе их зрительного восприятия. В подавляющем большинстве случаев цветовое ощущение… … Большая советская энциклопедия