0
голосов
0
ответов
16 показов

Пусть $%U$% - универсальная функция ( определение https://i.stack.imgur.com/McOa9.png )Рассмотрим множество $%O=\{p:U(p,0) \text{ определена}\}$%. Ест ...
1
голос
0
ответов
24 показа

Докажите, что на евклидовой плоскости найдётся множество точек, пересекающееся с каждой прямой и каждой окружностью ровно по 3 точкам.
1
голос
1
ответ
57 показов

Как в русскоязычной литературе называется Smn теорема? https://en.wikipedia.org/wiki/Smn_theoremВ книге Шеня и Верещагина https://mccme.ru/free-books/ ...
0
голосов
0
ответов
26 показов

Есть два определения универсальной функции:Это частичная вычислимая функция $%U:N\times N\to N$% такая что для всех частичных вычислимых функций $%f:N ...
0
голосов
0
ответов
16 показов

Верны ли рассуждения?1) Нет, множество программ, останавливающихся на себе перечислимо, но не разрешимо.2) Да, это чья-то теорема.3) Да, А есть объеди ...
0
голосов
0
ответов
12 показов

Почему выбран неверный вариант?1) Это точно верно.2) Натуральные числа разрешимы, но множество программ, останавливающихся на себе - нет. Это контрпри ...
0
голосов
0
ответов
12 показов

Какие могут быть контрпримеры?1) Приходит в голову функция деления. Программа, вычисляющая её, работает по такому принципу: принимает x,y и для каждог ...
0
голосов
0
ответов
19 показов

Построить вывод формулы. A→(¬B→¬(A→ B))
0
голосов
0
ответов
22 показа

Выведите в аксиоматике Пеано формулу ∀x∀y∀z∀t((x > y ∧ x · z = y · z) → z = 0).
0
голосов
0
ответов
19 показов

Выразите в арифметике предикат «x — недостаточное число» (т.е. сумма всех делителей x, кроме самого x, меньше x).
0
голосов
0
ответов
26 показов

Хотелось бы задать два вопроса:1)Необходимо ли при доказательстве противоречивости множества дизъюнктов методом резолюции использовать все дизъюнкты и ...
0
голосов
0
ответов
47 показов

(A→ B)→((A→(B→C))→(A→C))
0
голосов
1
ответ
41 показ

Пусть задана некоторая главная универсальная нумерация вычислимых функций. Докажите, что множество номеров машин Тьюринга, которые вычисляют последова ...
0
голосов
0
ответов
69 показов

Найти ПкНФ и ССФR(x, y)=>(∀y)(P(y)=>((∃x)P(x)=>Q( y));Сделал поэтапно:1)R(x, y)=>(∀y)(P(y)=>((∀x)¬P(x) V Q(y));2)R(x, y)=>(∀y)(¬P(y) ...
1
голос
1
ответ
48 показов

Опишите машину Тьюринга, проверяющую, что x есть начало последовательности 0110111001011101111000...(все числа записаны подряд по возрастанию в двоичн ...

Связанные метки

на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru