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