0
голосов
1
ответ
36 показов
Комбинаторная головоломка
В большую коробку положили k коробок поменьше. В некоторые из них положили k коробок ещё поменьше. В некоторые из этих последних коробок положили k ко ...
1
голос
0
ответов
55 показов
Волк, Медведь и Лис
Волк сказал, что Медведь - лжец, Медведь сказал, что Волк - лжец, а Лис сказал, что оба они - лжецы. Известно, что из этих трех зверей двое всегда лгу ...
0
голосов
0
ответов
45 показов
Как можно записать логическую формулу по-простому?
Помогите, пожалуйста, как эта запись читается? Или как можно простыми словами это записать? (P ∈ Q & P ∈ lgx ) -> (P ∈ X/10 & P ∈ X ≥ 1)
0
голосов
0
ответов
38 показов
Записать на языке математической логики
Помогите, пожалуйста, записать на языке математической логики:"Уравнение K имеет не меньше трех корней при q=1"
0
голосов
0
ответов
34 показа
Истинна ли формула в структуре Z ?
Сама формула: ∀(x ≤ y→x < Sy)Истинна ли формула в структуре Z? (лично мне не понятно что значит S?)
0
голосов
0
ответов
42 показа
Математическая-логика - Перевести с естественного языка на язык логики предикатов
Как перевести предложение: Всякому в Москве не перекланяешься, хоть лоб разбей.Я не в теме, помогите, пожалуйста!
0
голосов
1
ответ
51 показ
Докажите, что
Докажите, что если А, B ⊂ N — бесконечные разрешимые множества с бесконечнымидoполнениями, то существует вычислимая биекция N → N, переводящая А в В.
1
голос
1
ответ
81 показ
Логическая задача
Стоимость проезда на трамвае составляет 5 центов. На конечной остановке, в трамвай, заходят 20 пассажиров. У них есть монеты достоинством 10, 15 и 20 ...
0
голосов
0
ответов
65 показов
Разрешимо ли?
Разрешимо ли множество номеров вычислимых частичных функций из N в N,принимающих только конечное число значений?
1
голос
1
ответ
40 показов
Теория делимых абелевых групп неполна
Докажите, что теория делимых абелевых групп неполна.
1
голос
1
ответ
40 показов
Постройте конечно аксиоматизируемую теорию
Постройте непротиворечивую конечно аксиоматизируемую теорию, не имеющуюконечных моделей, в сигнатуре (f, =), где f - одноместный функциональный символ ...
0
голосов
0
ответов
35 показов
Определимо ли?
Определимо ли множество {1} в модели ( R , + ,<, 0, =) ?
0
голосов
0
ответов
61 показ
0
голосов
0
ответов
51 показ
0
голосов
0
ответов
67 показов
384 вопроса
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.