0
голосов
0
ответов
18 показов
Разрешимость множеств
Разрешимо ли множество таких общезначимых формул первогопорядка, что в формуле (а) нет функциональных символов, а всепредикатные символы — унарные; (б ...
0
голосов
0
ответов
30 показов
Логика и алгоритмы
Перечислимо ли множество замкнутых формул первого порядка,которые истинны хотя бы в одной интерпретации на конечнойобласти?
1
голос
1
ответ
105 показов
Лжецы в шеренге
В шеренге стоят лжецы и рыцари, всего $%14$% человек. Лжецы всегда лгут, а рыцари всегда говорят правду. Каждый из стоящих произнёс одну и ту же фразу ...
2
голоса
2
ответа
792 показа
Шахматная композиция
Во время шахматной партии осталось пять фигур (либо пешек) на полях a1, b1, b5, c2, c4. Аннушка глянула на шахматную доску и спросила, чей ход. Получи ...
0
голосов
0
ответов
87 показов
Ещё один вариант парадокса лжеца?
Перед вами следующее утверждение:«Данное утверждение является верным тогда и только тогда, когда дважды два равно пяти».Истинно оно или ложно? Это ещё ...
0
голосов
0
ответов
50 показов
Придумайте тип правил и их кодировку, которые меняют правила в той же кодировке и того же типа
Например некое правило для изменения строки можно закодировать как "AAx->xAA", которое поменяет ААБ в БАА, ААЫ в ЫАА и т. д. Придумайте такие прави ...
1
голос
0
ответов
112 показов
1
голос
1
ответ
136 показов
Рыцари и лжецы
На острове живут только рыцари и лжецы, рыцари всегда говоря правду, а лжецы всегда лгут. Как-то раз компания из шести островитян собралась порыбачить ...
0
голосов
0
ответов
72 показа
Упрощение логических выражений
$$ \left(X\rightarrow Y\right)\left(X\rightarrow \overline{Y}\right)\left(\overline{X}\rightarrow \overline{Y}\right) $$Выразил импликацию через $$ \o ...
-2
голосов
0
ответов
53 показа
Записать с помощью кванторов
В любом треугольнике ABC медианы AA1 BB1 CC1 пересекаются в одной точке.Существует бесконечно много пар простых чисел, отличающийся на 2
0
голосов
0
ответов
42 показа
0
голосов
0
ответов
120 показов
Парадокс Монти Холла -- ошибка?
Здравствуйте. Написал исследование на этом сайте и хотел бы узнать мнение окружающих. Есть ли в рассуждении ошибка? Или это и есть опровержение парадо ...
1
голос
1
ответ
85 показов
5 девочек и шляпа
Из шляпы, содержащей 10 карточек с номерами от 1 до 10, пять девочек вытянули по две карточки (оставив шляпу пустой) и сообщили директору олимпиады су ...
1
голос
2
ответа
301 показ
Мудрецы и колпаки
$%n$% мудрецов заходят в комнату, на каждого из них надевают колпак одного из двух цветов, цвета колпаков могут оказаться как различными, так и совпад ...
2
голоса
1
ответ
108 показов
Д'Аламбер и три картёжника (задача на логику)
д'Аламбер раздал трём картёжникам, которых звали Кокос, Насос и Конформист, 9 карт разного достоинства (от шестёрки до туза включительно, по одной кар ...
352 вопроса
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.