Значение слова «вычислимость»
-
вычисли́мость
1. свойство по значению прилагательного вычислимый; возможность вычислить что-либо ◆ Не опирающееся на понятие алгоритма определение вычислимой функции представляет интерес как логический (поскольку обнаруживается, что понятие вычислимой функции имеет своё, не зависящее от понятия алгоритма, содержание), так и математический (поскольку в целом ряде задач нет нужды строить алгоритм явно, а достаточно установить вычислимость соответствующей функции). В. А. Успенский, «Алгоритм», 2002 г. (цитата из НКРЯ) ◆ Развитые конструктивные методы получили широкое применение в компьютерных науках, работы по конструктивному математическому анализу продвинули далеко вперёд наше понимание вычислимости, эффективности в сложных математических структурах. Борис Кушнер, «Учитель», 15 октября 2003 г. // «Вестник США» (цитата из НКРЯ)
Фразеологизмы и устойчивые сочетания
Источник: Викисловарь
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: укалываться — это что-то нейтральное, положительное или отрицательное?
Синонимы к слову «вычислимость»
Предложения со словом «вычислимость»
- Отсюда следует, что транслятор может использовать информацию о типах для проверки вычислимости и правильности различных конструкций.
- Тезис невозможно строго доказать или опровергнуть ввиду того, что интуитивное понятие алгоритмической вычислимости строго не определено.
- Информатика(computer science) – это свод теоретических наук, основанных на математике и посвящённых формальным основам вычислимости.
- (все предложения)
Понятия, связанные со словом «вычислимость»
-
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
-
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
-
Многозна́чная ло́гика — тип формальной логики, в которой допускается более двух истинностных значений для высказываний. Первую систему многозначной логики предложил польский философ Ян Лукасевич в 1920 году. В настоящее время существует очень много других систем многозначной логики, которые в свою очередь могут быть сгруппированы по классам. Важнейшими из таких классов являются частичные логики и нечёткие логики.
-
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
-
Интервальная арифметика — математическая структура, которая для вещественных интервалов определяет операции, аналогичные обычным арифметическим. Эту область математики называют также интервальным анализом или интервальными вычислениями. Данная математическая модель удобна для исследования различных прикладных объектов...
- (все понятия)
Отправить комментарий
Предложения со словом «вычислимость»
Отсюда следует, что транслятор может использовать информацию о типах для проверки вычислимости и правильности различных конструкций.
Тезис невозможно строго доказать или опровергнуть ввиду того, что интуитивное понятие алгоритмической вычислимости строго не определено.
Информатика(computer science) – это свод теоретических наук, основанных на математике и посвящённых формальным основам вычислимости.
- (все предложения)