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

В сигнатуре $%(R, =)$% ( R — 2-местный предикатный символ) рассмотрим теорию бесконечных множеств с отношением эквивалентности, у которого все классы ...
0
голосов
0
ответов
18 показов

Доказать, что $%Th(\mathbb Z, <, =)$% не является сильно категоричной.
0
голосов
0
ответов
21 показ

Докажите, что теория полей нулевой характеристики в сигнатуре $%\{+, ·, 1, 0, =\}$% не конечно аксиоматизирована.
0
голосов
1
ответ
23 показа

Какие множества определимы в модели $%(\mathbb Q,+{\mathbb Q}, 0{\mathbb Q},=_{\mathbb Q})$%? (т.е нужно найти все определимые множества)
0
голосов
1
ответ
20 показов

Доказать, что все конечные подмножества в модели $%(\mathbb N,<)$% определимы.
0
голосов
0
ответов
70 показов

Здравствуйте! Прошу помочь в решении задач (хотя бы некоторых). Заранее большое спасибо всем, кто хоть немного поможет!!!Рассмотрим следующее доказате ...
-1
голосов
0
ответов
67 показов

С помощью правил естественного вывода доказать выводимость формулы $% \neg (\neg ( \neg Y \vee Z) \supset (\neg X \vee Z)) \equiv (X \& Y \& \ ...
0
голосов
0
ответов
685 показов

сколько различных векторов можно получить, складывая векторы на плоскости с целочисленными координатами и длинной не более sqrt2, если каждый из 9 так ...
0
голосов
0
ответов
134 показа

В классе $%78$% детей. Они встали в круг и договорились, что некоторые из них на любой вопрос будут отвечать только правду, а остальные – только непра ...
1
голос
0
ответов
325 показов

Паук сплел паутину, которая состоит из оси абсцисс, оси ординат, а так же следующих кривых: y=x, y=-x, x^2+y^2=1, x^2+y^2=9, x^2+y^2=16. За день во вс ...
1
голос
1
ответ
84 показа

Функция f(x) получена операцией примитивной рекурсии из константы С и функции h(x,y) . Вычислить f (A), если C=10, h(x,y)=x+3y. Как решить задачу, пом ...
1
голос
1
ответ
78 показов

Решите логическую задачу
0
голосов
0
ответов
73 показа

Постройте нормальный алгоритм Маркова, вычисляющий остаток от числа при делении на три в троичной сс.
1
голос
1
ответ
658 показов

В комнате было $%89$% человек, каждый из которых либо рыцарь, который всегда говорит правду, либо лжец, который всегда лжёт. $%45$% человек по очереди ...
0
голосов
0
ответов
619 показов

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