0
голосов
0
ответов
34 показа
Математическая логика, тестовый вариант
Дан граф с 7 вершинами и 8 рёбрами, имеющими все возможные натуральные длины от 1 до 8. Каким может быть:а) наименьший; б) наибольший вес остовного де ...
0
голосов
0
ответов
50 показов
Непонимание теоремы Гёделя
Первая теорема Гёделя говорит о том, что если формальная арифметика (!) непротиворечива, то в ней есть невыводимые формулы (неполна). Но я часто вижу ...
0
голосов
0
ответов
41 показ
Доказать, что формула является теоремой в теории P
Помогите доказать, пожалуйста, что формула $% \neg x < x$% является теоремой в теории P. Преподаватель немного запутал с этим вопросом, хотя вроде ...
0
голосов
0
ответов
44 показа
Выяснить к какому классу относится заданная формула
Выяснить к какому классу(общезначимых, выполнимых, опровержимых, противоречий) относится заданная формулаПравилом замены эквивалентными не пользоватьс ...
0
голосов
0
ответов
24 показа
Выводимость формулы в теории L [закрыт]
С помощью правил естественного вывода доказать выводимость формулы в теории LПравилами замены эквивалентными не пользоваться:(¬(¬Y⊃¬Z)⊃¬X)≡¬(X&¬Y& ...
1
голос
0
ответов
41 показ
Пример(ы) неперечислимых множеств [закрыт]
Найдите пример множества (с доказательством), которое не перечислимо, и имеет неперечислимое дополнение.
0
голосов
0
ответов
58 показов
Множество предложений, имеющих модель
Является ли множество предложений логики первого порядка, имеющих модель, рекурсивно перечислимым? В указаниях говорится об использовании $%\{x:\phi_x ...
0
голосов
0
ответов
34 показа
Сохранение значения формулы при эпиморфизме моделей
Докажите, что при эпиморфизме моделей значение формулы сохраняется.
0
голосов
0
ответов
25 показов
Не рекурсивная перечислимость
Рассмотрим множество программ х со свойством: для всех n, таких что x выдает n на пустом аргументе, программа n останавливается на пустом аргументе.Яв ...
1
голос
0
ответов
57 показов
Программа, выдающая себя на пустом аргументе
Докажите, что множество программ х, которые выдают на пустом аргументе х, не является вычислимым.
0
голосов
0
ответов
20 показов
Разделение рекурсивно перечислимых множеств
Пусть даны два рекурсивно перечислимых множества X, Y. Почему из них можно получить два других рекурсивно перечислимых множества Z, T, такие что Z и T ...
0
голосов
1
ответ
24 показа
Эквивалентность формул логики первого порядка
Эквивалентны ли следующие формулы:$$\exists u \forall x \exists v \forall y (A(x, y) \rightarrow B(u, v)) $$ и $$\exists v \forall x \forall y \exists ...
0
голосов
0
ответов
22 показа
Частичная принадлежность
Пусть $%X < Y$% обозначает, что за исключением конечного числа элементов, каждый элемент $%X$% лежит в $%Y$%.Докажите, что $%A$% максимально тогда ...
0
голосов
0
ответов
25 показов
Максимальное множество
Множество $%A\subset N$% максимальное, если $%A$% рекурсивно перечислимо и для любого рекурсивно перечислимого $%W$%, пересечение $%(N-A)\cap W$% коне ...
0
голосов
0
ответов
39 показов
Ограниченный квантор
Что такое (официально) ограниченный квантор?Когда мы пишем $%\forall i < z\ P(i)$%, вроде бы имеется в виду, что $%(\forall i) (i< z\to P(i))$%Т ...
824 вопроса
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.