Значения слова Разрешимость. Что такое Разрешимость?

Слово состоит из 12 букв: первая р, вторая а, третья з, четвёртая р, пятая е, шестая ш, седьмая и, восьмая м, девятая о, десятая с, одиннадцатая т, последняя ь,

Слово разрешимость английскими буквами (транслитом) - razreshimost

Правильное написание и ударение в слове РАЗРЕШИМОСТЬ

Разреши́мость, -и.
Орфографический словарь. — 2004

Алгоритм

АЛГОРИТМ (а л г о р и ф м) – одно из основных понятий логики и математики. Под А. понимают точное предписание, задающее вычислит. процесс, ведущий от начальных данных, к-рые могут варьировать, к искомому результату.(В рус. текстах проблему разрешения наз. обычно "проблемой разрешимости"; однако "проблемой разрешимости" лучше называть проблему: "ответить, имеет ли решение данная проблема разрешения").
Философская энциклопедия

АЛГОРИТМ — программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного решения задач. При этом подразумевается, что исходные данные задач могут изменяться в определ. пределах (массовость А.)…Вера в алгоритмич. разрешимость всех (по крайней мере, всех математич. и логич.) проблем имела значит, влияние в философии начиная с Декарта и Лейбница.
Советский философский словарь. - 1974

АЛГОРИТМ, алгорифм (от лат. algorithmi, algorismus, n имени арабского ученого 9 в. ал-Хорезми)—точное предписание, задающее потенциально осуществимый (см. Абстракция потенциальной осуществимости) вычислительный процесс (процесс исполнения алгоритма)…В классической математике имеет место следующий критерий разрешимости: множество разрешимо, если и оно, и его дополнение перечислимы. В конструктивной этот критерий эквивалентен принципу...
Философская энциклопедия

Алгоритмическая разрешимость

В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет.
ru.wikipedia.org

ДИОФАНТОВЫХ УРАВНЕНИИ ПРОБЛЕМА РАЗРЕШИМОСТИ

ДИОФАНТОВЫХ УРАВНЕНИИ ПРОБЛЕМА РАЗРЕШИМОСТИ - проблема отыскания алгоритма для распознавания по любому диофантову уравнению, имеет ли оно решение. Существенным в постановке проблемы является требование найти универсальный метод…
Математическая энциклопедия. - 1977-1985

Логика

Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности...Металогика Метатеоретические проблемы логики Непротиворечивость формализованных теорий Полнота формализованных теорий Разрешимость формализованных теорий Независимость аксиом...
ru.wikipedia.org

ЛОГИКА (от греч. logik (logos) — слово, разум, рассуждение) — наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение…Эти исчисления приобрели особое значение при доказательстве различных метатеорем (непротиворечивость, полнота, разрешимость) и, главное, в отличие от гильбертовских исчислений, поясняют...
Прохоров Б.Б. Экология человека. - 2005

ЛОГИКА (греч. logos - слово, рассуждение, понятие, разум) - наука о формах, законах и методах познавательной деятельности; способность правильно (логически) мыслить....и общие свойства формальных систем, например, проблемы непротиворечивости, полноты, независимости системы аксиом, разрешимости, возможностей этих систем выражать содержательные теории.
Новейший философский словарь / Сост. А.А. Грицанов

Модель

ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей....формализма (непротиворечивость, разрешимость), то это означает, что Ф. предполагает содержательное мышление также и в качестве средства построения и исследования своих собственных...
Прохоров Б.Б. Экология человека. - 2005

ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей....формализма (непротиворечивость, разрешимость, полнота и т. д.), это означает, что Ф. предполагает содержательное мышление также и в качестве средства построения и исследования своих...
Философский энциклопедический словарь. - М., 1989

ФОРМАЛИЗАЦИЯ — отображение содержательного знания в формализованной теории (исчислении). Формализуемое знание должно представлять собой каким-то образом фиксированную совокупность утверждений.Возможность формализации существенно возрастает при разрешимости теории, т. е. при существовании процедуры, позволяющей относительно любого сформулированного в языке теории предложения...
Философская энциклопедия

Проблема разрешимости

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

РАЗРЕШЕ́НИЯ ПРОБЛЕ́МЫ

РАЗРЕШЕНИЯ (разрешимости) ПРОБЛЕМА — одна из осн. проблем, встающих в связи с построением формализованных дедуктивных теорий. Ее положительное или отрицательное решение для каждой конкретной формальной теории связано соответственно с существованием…
Философский энциклопедический словарь. - М., 1989

Разрешения проблема (разрешимости проблема) — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет.
Словарь по логике. - 1997

РАЗРЕШЕНИЯ ПРОБЛЕМА — возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести…Напр., линейная разрешимость — разрешимость программой, вычислимая за линейное время...
Философская энциклопедия

Буква р встречается 2 раза. Слова с 2 буквами р
Буква а встречается 1 раз. Слова с 1 буквой а
Буква з встречается 1 раз. Слова с 1 буквой з
Буква е встречается 1 раз. Слова с 1 буквой е
Буква ш встречается 1 раз. Слова с 1 буквой ш
Буква и встречается 1 раз. Слова с 1 буквой и
Буква м встречается 1 раз. Слова с 1 буквой м
Буква о встречается 1 раз. Слова с 1 буквой о
Буква с встречается 1 раз. Слова с 1 буквой с
Буква т встречается 1 раз. Слова с 1 буквой т
Буква ь встречается 1 раз. Слова с 1 буквой ь

Похожие запросы: