"разрешимость"辞典でのロシア語の意味

ロシア語でРАЗРЕШИМОСТЬの発音

разрешимость  [razreshimostʹ]

ロシア語でРАЗРЕШИМОСТЬはどんな意味ですか？

アルゴリズムの可用性

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

アルゴリズム解法 - 与えられた理論の公理の集合から導かれるかどうかを所定の公式によって決定するアルゴリズムを所有する形式理論の特性。 このようなアルゴリズムが存在する場合、理論は解決可能と呼ばれ、そうでない場合は解決できません。 正式理論における演繹性の問題は、特定の問題であるが、同時に、より一般的な解決能力問題の最も重要なケースである。

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

ロシア語辞典でのразрешимостьの定義

可溶性w。 解決可能なことを参照してください。

РАЗРЕШИМОСТЬ ж. см. разрешимый.

РАЗРЕШИМОСТЬの翻訳

当社のロシア語多言語翻訳者が翻訳した25ヵ国語のразрешимостьを探してみましょう。

自動統計翻訳によって、このセクションで示されているロシア語から他の言語へのразрешимостьの翻訳を訳しました。この場合は、必須の翻訳単位はロシア語で«разрешимость»という単語です。

• ロシア語翻訳家 - 中国語: 有解
• ロシア語翻訳家 - スペイン語: solubilidad
• ロシア語翻訳家 - 英語: solvability
• ロシア語翻訳家 - ヒンディー語: गलने की योग्यता
• ロシア語翻訳家 - アラビア語: الحلية قابلية الحل و التفسير
• ロシア語: разрешимость
• ロシア語翻訳家 - ポルトガル語: resolubilidade
• ロシア語翻訳家 - ベンガル語: solvability
• ロシア語翻訳家 - フランス語: solvabilité
• ロシア語翻訳家 - マレー語: kelarutan
• ロシア語翻訳家 - ドイツ語: Lösbarkeit
• ロシア語翻訳家 - 日本語: 可解性
• ロシア語翻訳家 - 韓国語: 해결의 가능성
• ロシア語翻訳家 - ジャワ語: solvability
• ロシア語翻訳家 - ベトナム語: sự có thể giải quyết
• ロシア語翻訳家 - タミル語: solvability
• ロシア語翻訳家 - マラーティー語: solvability
• ロシア語翻訳家 - トルコ語: çözülebilirliği
• ロシア語翻訳家 - イタリア語: solvibilità
• ロシア語翻訳家 - ポーランド語: rozwiązalność
• ロシア語翻訳家 - ウクライナ語: разрешимость
• ロシア語翻訳家 - ルーマニア語: solvabilitate
• ロシア語翻訳家 - ギリシャ語: εύλυτο
• ロシア語翻訳家 - アフリカーンス語: solvabiliteit
• ロシア語翻訳家 - スウェーデン語: lösbarhet
• ロシア語翻訳家 - ノルウェー語: solvability

«РАЗРЕШИМОСТЬ»に関連するロシア語の本

以下の図書目録からразрешимостьの使いかたを見つけましょう。разрешимостьに関する本とロシア語文献で使われた文脈を提供するための簡単な抜粋文。

Теория вычислений для программистов - Страница 329

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

Том Стюарт, 2015

Информатика Взаимодействия: Interactional Informatics

разрешимость,. несовершенство. Наша модель ЛУД ИСО проще, чем порядок природы. В квантовой механике выявлено множество парнекоммутирующих наблюдаемых. При полном физико-информационном изоморфизме ...

Руслан Степанов, 2015

Избранные труды - Страница 124

Как в линейном и дробно-линейном случаях, из приведенных оценок трудоемкости АКП следует, что квадратичное программирование принадлежит к классу Π полиномиально разрешимых задач. Замечание 14.1. Подчеркнем ...

Леонид Хачиян, 2015

Курс алгебры - Страница 474

Мы приведем ниже полное доказательство более простого варианта теоремы , относящегося к разрешимости в квадратных радикалах. Пример . вместе с тем фактом, что группа Sn разрешима только при n⩽4, показывает, что ...

Эрнест Винберг, 2015

Математическая логика. Шпаргалка - Страница 27

Алгоритмическая разрешимость. Вычислимые функции Понятие алгоритма формализовало вопрос об алгоритмической разрешимости того или иного класса задач, ставившихся совершенно определенно: «Существует ли ...

Е. Леснова, 2015

Математика, ее содержание, методы и значение

Первыми и основными математическими задачами здесь будут слеч дующие: 1) Установить разрешимость задачи. Даже если разрешимость задачи довольно очевидна с физической точки зрения, математическое ...

А. Д. Александров, 2013

Математика, её содержание, методы и значение

Первыми и основными математическими задачами здесь будут следующие: 1) Установить разрешимость задачи. Даже если разрешимость задачи довольно очевидна с физической точки зрения, математическое доказательство ...

А.Д. Александров, 2013

Советская математическая школа - Страница 11

А. И. Мальцеву и его учении кам принадлежат важные утверждения, относящиеся и вопросам разрешимости элементарных теорий. А. И. Мальцевым был получен фундаментальный результат 0 неразрешимости элементарной ...

Н.Н. Боголюбов, ‎С.Н. Мергелян, 2013

Управляемость асимптотических инвариантов нестационарных ...

с независящей от G положительной величиной 12 , и обеспечивающего разрешимость задачи Разрешимость этой задачи эквивалентна разрешимости относительно Va(.) уравнения д) () Транспонируя его, получим () Если ...

Светлана Попова, ‎Евгений Макаров, 2014

Solvability Theory of Boundary Value Problems and Singular ...

This book is devoted to the solvability theory of characteristic singular integral equations and corresponding boundary value problems for analytic functions with a Carleman and non-Carleman shift.

Georgii S. Litvinchuk, 2000

用語«РАЗРЕШИМОСТЬ»を含むニュース項目

国内外の報道機関が語った内容や、次のニュース項目の文脈からразрешимостьという用語がどのように使われているかを調べてみましょう。

Светлана Фабрикант: Здесь вам всегда готовы помочь

Отчаялись до такой степени, что просто потеряли веру в разрешимость самой проблемы. Теперь горожане знают, что в большом мегаполисе есть ... «Новости Одессы, 9月 15»

Как пересадить Москву на велосипеды

До тех пор пока в головах москвичей живет иррациональная вера в разрешимость проблемы пробок, все разговоры о милом и экологически безопасном ... «Moslenta, 5月 15»

Аннуитетные финансовые функции в Таблицах Google Docs

Разрешимость этого большого уравнения обеспечивается использованием противоположных знаков перед значениями исходных данных о суммах ... «Сообщество менеджеров E-xecutive, 8月 12»