В большинстве учебных пособий по лямбда-исчислению приводится пример, в котором положительные целые и логические значения могут быть представлены функциями. Как насчет -1 и...
В большинстве учебных пособий по лямбда-исчислению приводится пример, в котором положительные целые и логические значения могут быть представлены функциями. Как насчет -1 и...
Один студент недавно попросил меня проверить доказательство твердости NP для них. Они выполнили сокращение в соответствии с: Я уменьшаю эту проблему P′п'P' которая, как известно, является NP-полной, к моей проблеме (с многократным уменьшением многократного числа), поэтому является NP-трудной.PпPPпP...
Как можно решить, имеет ли некоторую последовательность цифр? ππ\piвдохновил меня на вопрос, можно ли вычислить следующую невинную версию: е( n ) = { 10если н¯ происходит в десятичном представлении πв противном случаеf(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) =...
Текущая плавающая точка (ANSI C float, double) позволяет представить аппроксимацию действительного числа. Есть ли способ представить реальные цифры без ошибок ? Вот идея, которая у меня была, но она не идеальна. Например, 1/3 - это 0,33333333 ... (основание 10) или o.01010101 ... (основание 2), но...
Является ли «теорема Райса для вычислимых вещественных чисел», то есть нет нетривиального нетривиального свойства числа, представленного данным вычислимым вещественным веществом, истинной? Соответствует ли это каким-то прямым образом связности...