1. значение
  2. сводимость

Значение слова «сводимость»

  • своди́мость

    1. отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому

Источник: Викисловарь

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: трубчатка — это что-то нейтральное, положительное или отрицательное?

Нейтральное
Положительное
Отрицательное
Не знаю

Предложения со словом «сводимость»

Понятия, связанные со словом «сводимость»

  • Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
  • Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
  • Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
  • Математи́ческая структу́ра — название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой структуры задают отношения, в которых находятся элементы этих множеств. Затем постулируют, что данные отношения удовлетворяют неким условиям, которые являются аксиомами рассматриваемой структуры.
  • Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
  • (все понятия)

Отправить комментарий

@
Смотрите также

Предложения со словом «сводимость»

  • История самой биологии – это долгие споры вокруг проблемы физического редукционизма, т. е. проблемы сводимости законов биологии к законам физики и химии (является ли биология разделом физики?).

  • Конечно, представления классического позитивизма о принципиальной сводимости любого знания к сциентистской парадигме уже невозможны, и даже мягкое требование верификации выглядит сейчас провинциальным простодушием, но малопривлекательной кажется и перспектива возвращения к ренессансно-просветительскому идеалу гуманиоры как клуба интересных людей с разными «точками зрения».

  • Идея 1. Доказать сводимость всех явлений природы к различным формам движения материальных частиц. Движение – способ существования материи.

  • (все предложения)

Синонимы к слову «сводимость»

Правописание

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я