Неразрешимость - проблема
Cтраница 2
В основе конструкции Новикова лежит результат Тьюринга о неразрешимости проблемы равенства для полугрупп с сокращением. Конструкция примера в дальнейшем была значительно упрощена - группы Буна ( Boone W. W. / / Ann. [16]
В основе конструкции Новикова лежит результат Тьюринга о неразрешимости проблемы равенства для полугрупп с сокращением. Конструкция примера в дальнейшем была значительно упрощена - группы Буна ( Воопе W. W. / / Ann. [17]
Отсутствие у Рикардо анализа возникновения прибавочной стоимости п неразрешимость проблемы обмена труда на капитал в ее рикардовской постановке показаны Марксом во второй части Теорий прибавочной стоимости, стр. [18]
Тьюринг вводит абстрактную модель цифровой вычислительной машины и доказывает неразрешимость проблемы остановки и проблемы разрешимости для логики первого порядка. [19]
Важно также ограждать себя от тех, кто убежден в неразрешимости проблемы, а также в том, что все стоящие идеи уже высказаны, что у вас не хватит ума решить ее, что вы беретесь сразу за слишком много проблем. [20]
Практически понятием частично рекурсивных функций пользуются для доказательства алгоритмической разрешимости или неразрешимости проблем. [21]
G fi / c ( F ( j)) - Вследствие неразрешимости проблемы из пункта ( с) функция F невычислима. В частности, она очень быстро возрастает. G 17д наложены лишь на множества, Л s, образованные парами соседних точек, влияние этих условий распространяется на очень большие расстояния. [22]
Поверхность должна напоминать катеноид с отверстием, однако попытка построить такую поверхность оказывается наудачной в силу неразрешимости проблемы периодов. [24]
Наш набросок ( который более или менее следует книге А. И. Мальцева 11965 ]), конечно, не является кратчайшим путем к доказательству неразрешимости проблемы равенства, но зато он одновременно вводит ряд стандартных систем для порождения классов языков. Простейшие из этих систем ( конечные автоматы, контекстно-свободные грамматики) будут детально изучены в следующих главах. [25]
В третьей главе даются основные понятия и определения, используемые в данном пособии, описывается язык для записи алгоритмов, доказывается теорема о неразрешимости проблемы останова в любом достаточно содержательном классе преобразователей, уточняется понятие дискретного преобразователя информации. [26]
Проблема достижимости является центральной в специальной теории сетей Петри, так как многие другие проблемы эквивалентны ей в том смысле, что их разрешимость или неразрешимость непосредственно следует из разрешимости или неразрешимости проблемы достижимости. Неоднократные попытки доказать общепринятую гипотезу о разрешимости последней, в том числе опубликованные, страдали одним общим недостатком - в доказательствах были обнаружены ошибки. Последней работой в этом ряду является статья Майра [63], в которой приведено очередное доказательство разрешимости проблемы достижимости. [27]
Неразрешимость проблемы Туэ для этого конкретного алфавита и словаря влечет, конечно, неразрешимость общей проблемы. [28]
АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ - одно из основных понятий алгоритмов теории и ее приложений, Возникло в связи с тем, что неразрешимость ( и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой алгоритмич. Так, неразрешимость проблемы гомотонии путей в полиэдре доказывается путем сведения к ней проблемы равенства слов в соответствующей фундаментальной группе. [29]
Таким способом мы докажем неразрешимость проблемы распознавания выполнимости и общезначимости: мы докажем, что логика первого порядка неразрешима. [30]
Страницы: 1 2 3 4