Перевод: с русского на английский

с английского на русский

разрешимость

См. также в других словарях:

  • Разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …   Википедия

  • разрешимость — решаемость Словарь русских синонимов. разрешимость сущ., кол во синонимов: 1 • решаемость (2) Словарь синонимов ASIS. В.Н. Тришин …   Словарь синонимов

  • разрешимость — РАЗРЕШИМЫЙ, ая, ое; им. Такой, к рый можно разрешить (во 2 и 3 знач.). Легко р. вопрос. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

  • Разрешимость — I ж. отвлеч. сущ. по прил. разрешимый I II ж. отвлеч. сущ. по прил. разрешимый II Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …   Современный толковый словарь русского языка Ефремовой

  • разрешимость — разреш имость, и …   Русский орфографический словарь

  • разрешимость — см. разрешимый; и; ж …   Словарь многих выражений

  • разрешимость (задачи, проблемы) — — [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN solvability …   Справочник технического переводчика

  • Разрешимость теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак …   Википедия

  • Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …   Википедия

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

  • НЕЛИНЕЙНОЕ УРАВНЕНИЕ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ — уравнение вида где есть мультииндекс с целыми неотрицательными где. Аналогично определяется Н. у …   Математическая энциклопедия

Книги

Другие книги по запросу «разрешимость» >>