Significado de "разрешимость" no dicionário russo

PRONÚNCIA DE РАЗРЕШИМОСТЬ EM RUSSO

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

O QUE SIGNIFICA РАЗРЕШИМОСТЬ EM RUSSO

Solubilidade algorítmica

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

Solubilidade algorítmica - propriedade de uma teoria formal para possuir um algoritmo que determina por uma determinada fórmula se ela é derivada do conjunto de axiomas da teoria dada ou não. Uma teoria é chamada de solvente se tal algoritmo existe, e insolúvel, caso contrário. A questão da dedutibilidade na teoria formal é um caso particular, mas ao mesmo tempo, o mais importante de um problema de solvabilidade mais geral.

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

definição de разрешимость no dicionário russo

SOLVABILIDADE w. veja resolutivo.

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

TRADUÇÃO DE РАЗРЕШИМОСТЬ

Conheça a tradução de разрешимость a 25 línguas com o nosso tradutor russo multilíngue.

As traduções de разрешимость a outras línguas apresentadas nesta seção foram obtidas através da tradução automática estatística; onde a unidade essencial da tradução é a palavra «разрешимость» em russo.

• Tradutor português - chinês: 有解
• Tradutor português - espanhol: solubilidad
• Tradutor português - inglês: solvability
• Tradutor português - hindi: गलने की योग्यता
• Tradutor português - arabe: الحلية قابلية الحل و التفسير
• russo: разрешимость
• Tradutor português - português: resolubilidade
• Tradutor português - bengali: solvability
• Tradutor português - francês: solvabilité
• Tradutor português - malaio: kelarutan
• Tradutor português - alemão: Lösbarkeit
• Tradutor português - japonês: 可解性
• Tradutor português - coreano: 해결의 가능성
• Tradutor português - javanês: solvability
• Tradutor português - vietnamita: sự có thể giải quyết
• Tradutor português - tâmil: solvability
• Tradutor português - marata: solvability
• Tradutor português - turco: çözülebilirliği
• Tradutor português - italiano: solvibilità
• Tradutor português - polonês: rozwiązalność
• Tradutor português - ucraniano: разрешимость
• Tradutor português - romeno: solvabilitate
• Tradutor português - grego: εύλυτο
• Tradutor português - africâner: solvabiliteit
• Tradutor português - sueco: lösbarhet
• Tradutor português - norueguês: solvability

10 LIVROS EM RUSSO RELACIONADOS COM «РАЗРЕШИМОСТЬ»

Descubra o uso de разрешимость na seguinte seleção bibliográfica. Livros relacionados com разрешимость e pequenos extratos deles para contextualizar o seu uso na literatura.

Теория вычислений для программистов - Страница 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 NOTÍCIAS NAS QUAIS SE INCLUI O TERMO «РАЗРЕШИМОСТЬ»

Conheça de que se fala nos meios de comunicação nacionais e internacionais e como se utiliza o termo разрешимость no contexto das seguintes notícias.

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

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

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

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

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

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