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