Meaning of "разрешимость" in the Russian dictionary

PRONUNCIATION OF РАЗРЕШИМОСТЬ IN RUSSIAN

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

WHAT DOES РАЗРЕШИМОСТЬ MEAN IN RUSSIAN?

Algorithmic solvability

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

Algorithmic solvability - the property of a formal theory to possess an algorithm that determines by a given formula whether it is derived from the set of axioms of the given theory or not. A theory is called solvable if such an algorithm exists, and unsolvable, otherwise. The question of deducibility in the formal theory is a particular, but at the same time, the most important case of a more general solvability problem.

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

Definition of разрешимость in the Russian dictionary

SOLVABILITY w. see solvable.

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

TRANSLATION OF РАЗРЕШИМОСТЬ

Find out the translation of разрешимость to 25 languages with our Russian multilingual translator.

The translations of разрешимость from Russian to other languages presented in this section have been obtained through automatic statistical translation; where the essential translation unit is the word «разрешимость» in Russian.

• Translator Russian - Chinese: 有解
• Translator Russian - Spanish: solubilidad
• Translator Russian - English: solvability
• Translator Russian - Hindi: गलने की योग्यता
• Translator Russian - Arabic: الحلية قابلية الحل و التفسير
• Russian: разрешимость
• Translator Russian - Portuguese: resolubilidade
• Translator Russian - Bengali: solvability
• Translator Russian - French: solvabilité
• Translator Russian - Malay: kelarutan
• Translator Russian - German: Lösbarkeit
• Translator Russian - Japanese: 可解性
• Translator Russian - Korean: 해결의 가능성
• Translator Russian - Javanese: solvability
• Translator Russian - Vietnamese: sự có thể giải quyết
• Translator Russian - Tamil: solvability
• Translator Russian - Marathi: solvability
• Translator Russian - Turkish: çözülebilirliği
• Translator Russian - Italian: solvibilità
• Translator Russian - Polish: rozwiązalność
• Translator Russian - Ukrainian: разрешимость
• Translator Russian - Romanian: solvabilitate
• Translator Russian - Greek: εύλυτο
• Translator Russian - Afrikaans: solvabiliteit
• Translator Russian - Swedish: lösbarhet
• Translator Russian - Norwegian: solvability

10 RUSSIAN BOOKS RELATING TO «РАЗРЕШИМОСТЬ»

Discover the use of разрешимость in the following bibliographical selection. Books relating to разрешимость and brief extracts from same to provide context of its use in Russian literature.

Теория вычислений для программистов - Страница 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

3 NEWS ITEMS WHICH INCLUDE THE TERM «РАЗРЕШИМОСТЬ»

Find out what the national and international press are talking about and how the term разрешимость is used in the context of the following news items.

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

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

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

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

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

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