- разрешимость
- v. solvability, decidability; проблема разрешимости, decision problem, decidability problem
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
разрешимость
Смотреть что такое "разрешимость" в других словарях:
Разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
разрешимость — решаемость Словарь русских синонимов. разрешимость сущ., кол во синонимов: 1 • решаемость (2) Словарь синонимов ASIS. В.Н. Тришин … Словарь синонимов
разрешимость — РАЗРЕШИМЫЙ, ая, ое; им. Такой, к рый можно разрешить (во 2 и 3 знач.). Легко р. вопрос. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
разрешимость (задачи, проблемы) — — [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN solvability … Справочник технического переводчика
Разрешимость теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак … Википедия
Разрешимость — I ж. отвлеч. сущ. по прил. разрешимый I II ж. отвлеч. сущ. по прил. разрешимый II Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
разрешимость — разреш имость, и … Русский орфографический словарь
разрешимость — см. разрешимый; и; ж … Словарь многих выражений
Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
НОРМАЛЬНАЯ РАЗРЕШИМОСТЬ — интегральных уравнений свойство линейного интегрального уравнения быть разрешимым тогда и только тогда, когда его правая часть ортогональна всем решениям соответствующего сопряженного однородного уравнения. При соответствующих условиях Н. р.… … Математическая энциклопедия
НЕЛИНЕЙНОЕ УРАВНЕНИЕ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ — уравнение вида где есть мультииндекс с целыми неотрицательными где. Аналогично определяется Н. у … Математическая энциклопедия
