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

Дан граф с 7 вершинами и 8 рёбрами, имеющими все возможные натуральные длины от 1 до 8. Каким может быть:а) наименьший; б) наибольший вес остовного де ...
0
голосов
0
ответов
45 показов

Первая теорема Гёделя говорит о том, что если формальная арифметика (!) непротиворечива, то в ней есть невыводимые формулы (неполна). Но я часто вижу ...
0
голосов
0
ответов
40 показов

Помогите доказать, пожалуйста, что формула $% \neg x < x$% является теоремой в теории P. Преподаватель немного запутал с этим вопросом, хотя вроде ...
0
голосов
0
ответов
43 показа

Выяснить к какому классу(общезначимых, выполнимых, опровержимых, противоречий) относится заданная формулаПравилом замены эквивалентными не пользоватьс ...
0
голосов
0
ответов
22 показа

С помощью правил естественного вывода доказать выводимость формулы в теории LПравилами замены эквивалентными не пользоваться:(¬(¬Y⊃¬Z)⊃¬X)≡¬(X&¬Y& ...
1
голос
0
ответов
39 показов

Найдите пример множества (с доказательством), которое не перечислимо, и имеет неперечислимое дополнение.
0
голосов
0
ответов
57 показов

Является ли множество предложений логики первого порядка, имеющих модель, рекурсивно перечислимым? В указаниях говорится об использовании $%\{x:\phi_x ...
0
голосов
0
ответов
31 показ

Докажите, что при эпиморфизме моделей значение формулы сохраняется.
0
голосов
0
ответов
24 показа

Рассмотрим множество программ х со свойством: для всех n, таких что x выдает n на пустом аргументе, программа n останавливается на пустом аргументе.Яв ...
1
голос
0
ответов
55 показов

Докажите, что множество программ х, которые выдают на пустом аргументе х, не является вычислимым.
0
голосов
0
ответов
19 показов

Пусть даны два рекурсивно перечислимых множества X, Y. Почему из них можно получить два других рекурсивно перечислимых множества Z, T, такие что Z и T ...
0
голосов
1
ответ
22 показа

Эквивалентны ли следующие формулы:$$\exists u \forall x \exists v \forall y (A(x, y) \rightarrow B(u, v)) $$ и $$\exists v \forall x \forall y \exists ...
0
голосов
0
ответов
20 показов

Пусть $%X < Y$% обозначает, что за исключением конечного числа элементов, каждый элемент $%X$% лежит в $%Y$%.Докажите, что $%A$% максимально тогда ...
0
голосов
0
ответов
24 показа

Множество $%A\subset N$% максимальное, если $%A$% рекурсивно перечислимо и для любого рекурсивно перечислимого $%W$%, пересечение $%(N-A)\cap W$% коне ...
0
голосов
0
ответов
37 показов

Что такое (официально) ограниченный квантор?Когда мы пишем $%\forall i < z\ P(i)$%, вроде бы имеется в виду, что $%(\forall i) (i< z\to P(i))$%Т ...
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru