Signification de "разрешимость" dans le dictionnaire russe

PRONONCIATION DE РАЗРЕШИМОСТЬ EN RUSSE

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

QUE SIGNIFIE РАЗРЕШИМОСТЬ EN RUSSE

Solvabilité algorithmique

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

Solvabilité algorithmique - la propriété d'une théorie formelle de posséder un algorithme qui détermine par une formule donnée si elle est dérivée de l'ensemble des axiomes de la théorie donnée ou non. Une théorie est appelée solvable si un tel algorithme existe, et insoluble, sinon. La question de la déductibilité dans la théorie formelle est un cas particulier mais en même temps le plus important d'un problème de solvabilité plus général.

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

définition de разрешимость dans le dictionnaire russe

SOLVABILITÉ w. voir solvable.

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

TRADUCTION DE РАЗРЕШИМОСТЬ

Découvrez la traduction de разрешимость dans 25 langues grâce à notre traducteur russe multilingue.

Dans cette section, les traductions de разрешимость dans d'autres langues ont été obtenues par traduction automatique statistique, où l'unité essentielle de la traduction est le mot «разрешимость» en russe.

• Traducteur Français - chinois: 有解
• Traducteur Français - espagnol: solubilidad
• Traducteur Français - anglais: solvability
• Traducteur Français - hindi: गलने की योग्यता
• Traducteur Français - arabe: الحلية قابلية الحل و التفسير
• russe: разрешимость
• Traducteur Français - portugais: resolubilidade
• Traducteur Français - bengali: solvability
• Traducteur Français - français: solvabilité
• Traducteur Français - malaisien: kelarutan
• Traducteur Français - allemand: Lösbarkeit
• Traducteur Français - japonais: 可解性
• Traducteur Français - coréen: 해결의 가능성
• Traducteur Français - javanais: solvability
• Traducteur Français - vietnamien: sự có thể giải quyết
• Traducteur Français - tamoul: solvability
• Traducteur Français - marathi: solvability
• Traducteur Français - turc: çözülebilirliği
• Traducteur Français - italien: solvibilità
• Traducteur Français - polonais: rozwiązalność
• Traducteur Français - ukrainien: разрешимость
• Traducteur Français - roumain: solvabilitate
• Traducteur Français - grec: εύλυτο
• Traducteur Français - afrikaans: solvabiliteit
• Traducteur Français - suédois: lösbarhet
• Traducteur Français - norvégien: solvability

10 LIVRES EN RUSSE EN RAPPORT AVEC «РАЗРЕШИМОСТЬ»

Découvrez l'usage de разрешимость dans la sélection bibliographique suivante. Des livres en rapport avec разрешимость et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.

Теория вычислений для программистов - Страница 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 ACTUALITÉS CONTENANT LE TERME «РАЗРЕШИМОСТЬ»

Découvrez de quoi on parle dans les médias nationaux et internationaux et comment le terme разрешимость est employé dans le contexte des actualités suivantes.

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

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

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

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

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

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