1
голос
1
ответ
47 показов
5 девочек и шляпа
Из шляпы, содержащей 10 карточек с номерами от 1 до 10, пять девочек вытянули по две карточки (оставив шляпу пустой) и сообщили директору олимпиады су ...
1
голос
2
ответа
175 показов
Мудрецы и колпаки
$%n$% мудрецов заходят в комнату, на каждого из них надевают колпак одного из двух цветов, цвета колпаков могут оказаться как различными, так и совпад ...
2
голоса
1
ответ
77 показов
Д'Аламбер и три картёжника (задача на логику)
д'Аламбер раздал трём картёжникам, которых звали Кокос, Насос и Конформист, 9 карт разного достоинства (от шестёрки до туза включительно, по одной кар ...
0
голосов
0
ответов
54 показа
Циклические группы теории в сигнатуре
Докажите, что не существует теории в сигнатуре {·, =}, моделями которой являются вточности все циклические группы.
1
голос
1
ответ
113 показов
Теория бесконечных множеств с отношением эквивалентности
В сигнатуре $%(R, =)$% ( R — 2-местный предикатный символ) рассмотрим теорию бесконечных множеств с отношением эквивалентности, у которого все классы ...
0
голосов
0
ответов
87 показов
Счетная категоричность
Доказать, что $%Th(\mathbb Z, <, =)$% не является сильно категоричной.
0
голосов
0
ответов
68 показов
Конечно аксиоматизированная теория
Докажите, что теория полей нулевой характеристики в сигнатуре $%\{+, ·, 1, 0, =\}$% не конечно аксиоматизирована.
0
голосов
1
ответ
84 показа
Множества определимые в модели
Какие множества определимы в модели $%(\mathbb Q,+{\mathbb Q}, 0{\mathbb Q},=_{\mathbb Q})$%? (т.е нужно найти все определимые множества)
0
голосов
1
ответ
72 показа
Определимые множества
Доказать, что все конечные подмножества в модели $%(\mathbb N,<)$% определимы.
0
голосов
0
ответов
136 показов
Курс вычислимость и сложность
Здравствуйте! Прошу помочь в решении задач (хотя бы некоторых). Заранее большое спасибо всем, кто хоть немного поможет!!!Рассмотрим следующее доказате ...
-1
голосов
0
ответов
82 показа
Выводимость формулы в теории [закрыт]
С помощью правил естественного вывода доказать выводимость формулы $% \neg (\neg ( \neg Y \vee Z) \supset (\neg X \vee Z)) \equiv (X \& Y \& \ ...
0
голосов
0
ответов
723 показа
Сколько различных векторов можно получить, складывая векторы на плоскости с целочисленными
сколько различных векторов можно получить, складывая векторы на плоскости с целочисленными координатами и длинной не более sqrt2, если каждый из 9 так ...
0
голосов
0
ответов
148 показов
Логическая задача [закрыт]
В классе $%78$% детей. Они встали в круг и договорились, что некоторые из них на любой вопрос будут отвечать только правду, а остальные – только непра ...
1
голос
0
ответов
365 показов
Паук сплел паутину, которая состоит из оси абсцисс, оси ординат, а так же следующих кривых
Паук сплел паутину, которая состоит из оси абсцисс, оси ординат, а так же следующих кривых: y=x, y=-x, x^2+y^2=1, x^2+y^2=9, x^2+y^2=16. За день во вс ...
1
голос
1
ответ
116 показов
Задача. Операция примитивной рекурсии
Функция f(x) получена операцией примитивной рекурсии из константы С и функции h(x,y) . Вычислить f (A), если C=10, h(x,y)=x+3y. Как решить задачу, пом ...
340 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.