неразрешимость
11Неразрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
12неразрешимость — неразреш имость, и …
13неразрешимость — *неразреши/мость, и …
14неразрешимость — см. неразрешимый; и; ж. Неразреши/мость задачи. Неразреши/мость конфликта …
15Алгоритмическая неразрешимость — в математической логике свойство математической задачи, заключающееся в отсутствии алгоритма ее решения. См. также: Алгоритмы Логика Финансовый словарь Финам …
16алгоритмическая неразрешимость — АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ важнейшее свойство некоторых классов корректно поставленных задач, допускающих применение алгоритмов. Оно состит в том, что задачи каждого из этих классов в принципе не имеют какого либо общего,… …
17АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ — (англ. algorithmic unsolvability) важнейшее свойство некоторых классов корректно поставленных задач, допускающих применение алгоритмов, состоящее в том, что задачи каждого из этих классов в принципе не имеют к. л. общего, универсального алгоритма …
19АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… …
20АЛГОРИТМОВ ТЕОРИЯ — раздел математики, изучающий общие свойства алгоритмов. Содержательные явления, приведшие к образованию понятия алгоритм , прослеживаются в математике в течение всего времени ее существования. Однако само это понятие сформировалось лишь в 20 в. и …