-
1 доказуемо
Большой англо-русский и русско-английский словарь > доказуемо
-
2 provably
-
3 provably public-key
Англо-русский словарь нормативно-технической терминологии > provably public-key
-
4 provably prime number
Англо-русский словарь по компьютерной безопасности > provably prime number
-
5 provably secure system
Англо-русский словарь по компьютерной безопасности > provably secure system
-
6 provably difficult
доказуемо трудный (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат)English-Russian dictionary of computer science and programming > provably difficult
-
7 provably unsolvable
доказуемо неразрешимый (о множестве задач, для которых не существует никаких алгоритмов решения)English-Russian dictionary of computer science and programming > provably unsolvable
-
8 provably
достоверно
доказуемо
—
[[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > provably
-
9 provably
Общая лексика: доказуемо -
10 provably correct program
Программирование: доказуемо корректная программа (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям)Универсальный англо-русский словарь > provably correct program
-
11 provably correct programs
Программирование: доказуемо корректные программыУниверсальный англо-русский словарь > provably correct programs
-
12 provably difficult
Общая лексика: доказуемо трудный (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат) -
13 provably unsolvable
Программирование: доказуемо неразрешимый (о множестве задач, для которых не существует никаких алгоритмов решения) -
14 probatively
доказательнодоказуемо -
15 probatively
доказательнодоказуемо -
16 provably
См. также в других словарях:
доказуемо — нареч, кол во синонимов: 1 • обоснованно (25) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
доказуемо открытый ключ — — [[http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23]] Тематики защита информации EN provably public key … Справочник технического переводчика
Доказуемо — нареч. качеств. обстоят. Приводя доказательства. Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ЭПИСТЕМИЧЕСКАЯ ЛОГИКА — (от греч. episteme знание) раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как «полагает» («убежден»), «сомневается», «отвергает», «знает», «доказуемо», «неразрешимо», «опровержимо» и т.п. Знание… … Философская энциклопедия
логика эпистемическая — (от греч. episteme знание) раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как полагает ( убежден ), сомневается , отвергает , знает , доказуемо , неразрешимо , опровержимо т. п. Знание отличается от… … Словарь терминов логики
НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) … Философская энциклопедия
ГЛИВЕНКО — Валерий Иванович [21 дек. 1896 (2 янв. 1897) – 15 февр. 1940 ] – сов. логик и математик; д р физико математич. наук, профессор (с 1928). В 1928 в статье О логике М. Брауэра ( Sur la logique de M. Brouwer ) сформулировал систему аксиом… … Философская энциклопедия
ДЕОНТИЧЕСКАЯ ЛОГИКА — (от греч. deon должное, правильное), или Логика норм, нормативная логика раздел логики, исследующий логическую структуру и логические связи нормативных высказываний (норм). Анализируя рассуждения, посылками или заключениями которых служат такие… … Философская энциклопедия
МОДАЛЬНЫЕ КАТЕГОРИИ — (от лат. modus мера, способ) понятия, с помощью которых с той или иной позиции конкретизируется характер связей и отношений объектов. Модальная конкретизация осуществляется чаще всего путем использования понятий «необходимо», «возможно»,… … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия