0
голосов
0
ответов
46 показов
Ещё один вариант парадокса лжеца?
Перед вами следующее утверждение:«Данное утверждение является верным тогда и только тогда, когда дважды два равно пяти».Истинно оно или ложно? Это ещё ...
0
голосов
0
ответов
36 показов
Придумайте тип правил и их кодировку, которые меняют правила в той же кодировке и того же типа
Например некое правило для изменения строки можно закодировать как "AAx->xAA", которое поменяет ААБ в БАА, ААЫ в ЫАА и т. д. Придумайте такие прави ...
1
голос
0
ответов
34 показа
1
голос
1
ответ
41 показ
Рыцари и лжецы
На острове живут только рыцари и лжецы, рыцари всегда говоря правду, а лжецы всегда лгут. Как-то раз компания из шести островитян собралась порыбачить ...
0
голосов
0
ответов
39 показов
Упрощение логических выражений
$$ \left(X\rightarrow Y\right)\left(X\rightarrow \overline{Y}\right)\left(\overline{X}\rightarrow \overline{Y}\right) $$Выразил импликацию через $$ \o ...
-2
голосов
0
ответов
39 показов
Записать с помощью кванторов
В любом треугольнике ABC медианы AA1 BB1 CC1 пересекаются в одной точке.Существует бесконечно много пар простых чисел, отличающийся на 2
0
голосов
0
ответов
33 показа
0
голосов
0
ответов
87 показов
Парадокс Монти Холла -- ошибка?
Здравствуйте. Написал исследование на этом сайте и хотел бы узнать мнение окружающих. Есть ли в рассуждении ошибка? Или это и есть опровержение парадо ...
1
голос
1
ответ
69 показов
5 девочек и шляпа
Из шляпы, содержащей 10 карточек с номерами от 1 до 10, пять девочек вытянули по две карточки (оставив шляпу пустой) и сообщили директору олимпиады су ...
1
голос
2
ответа
252 показа
Мудрецы и колпаки
$%n$% мудрецов заходят в комнату, на каждого из них надевают колпак одного из двух цветов, цвета колпаков могут оказаться как различными, так и совпад ...
2
голоса
1
ответ
97 показов
Д'Аламбер и три картёжника (задача на логику)
д'Аламбер раздал трём картёжникам, которых звали Кокос, Насос и Конформист, 9 карт разного достоинства (от шестёрки до туза включительно, по одной кар ...
0
голосов
0
ответов
68 показов
Циклические группы теории в сигнатуре
Докажите, что не существует теории в сигнатуре {·, =}, моделями которой являются вточности все циклические группы.
1
голос
1
ответ
140 показов
Теория бесконечных множеств с отношением эквивалентности
В сигнатуре $%(R, =)$% ( R — 2-местный предикатный символ) рассмотрим теорию бесконечных множеств с отношением эквивалентности, у которого все классы ...
0
голосов
0
ответов
121 показ
Счетная категоричность
Доказать, что $%Th(\mathbb Z, <, =)$% не является сильно категоричной.
0
голосов
0
ответов
85 показов
Конечно аксиоматизированная теория
Докажите, что теория полей нулевой характеристики в сигнатуре $%\{+, ·, 1, 0, =\}$% не конечно аксиоматизирована.
348 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.