0
голосов
0
ответов
18 показов
Построить вывод формулы A => (B => (C => A))
Необходимо построить вывод формулы A => (B => (C => A)). У меня появилось крайне странное решение, которое интуитивно кажется неверным, если ...
0
голосов
0
ответов
25 показов
Факторизация и возможные решения
У меня предположение, что можно создать алгоритм обратного умножения. Да, он будет не полиномиальным, но это позволит найти простые множители более сл ...
0
голосов
0
ответов
46 показов
Доказать утверждение
Приветствую!Доказать, что если A⊆R и существует δ>0 такое, что для всех различных элементов x, y из А справедливо |x-y|>=δ, то A конечно или сче ...
0
голосов
0
ответов
26 показов
0
голосов
0
ответов
21 показ
0
голосов
0
ответов
25 показов
Логика предикатов
Помогите, пожалуйста, перевести эти два высказывания.
0
голосов
0
ответов
46 показов
Найти все решения ординального уравнения
Найти все решения ординального уравнения ω²+2=(ω+2)·x+y с двумя неизвестными x и y.
0
голосов
0
ответов
49 показов
Доказать утверждение
Приветствую!Доказать, что любое подмножество множества Р(А), частично упорядоченное по включению, имеет точную верхнюю грань и точную нижнюю грань
0
голосов
0
ответов
65 показов
Математическая логика. Предикаты
Записать в виде формулы над базовыми предикатами планиметрии предложение: точка x является концом отрезка, пересекающего прямую точку a в точке y, при ...
0
голосов
0
ответов
69 показов
Доказать эквивалентность двух удтверждений
Приветствую!Доказать что произведение R1 ∘ R2 двух эквивалентностей R1 и R2 тогда и только тогда является эквивалентностью, когда R1 ∘ R2 = R2 ∘ R1
0
голосов
0
ответов
47 показов
Взаимно однозначное перечисление
Множество можно взаимно однозначиноперечислить тогда и только тогда,когда оно бесконечно.Откуда берется условие бесконечности? Почему нельзя просто ск ...
0
голосов
0
ответов
40 показов
Доказать эквивалентность
Доказать, что объединение R1 ∪ R2 эквивалентностей R1 И R2 тогда и только тогда является эквивалентностью, когда R1 ∪ R2 = R1 ∘ R2
0
голосов
0
ответов
35 показов
Найти возможные решения системы логических уравнений? ( комбинаторика вступительный в CSC )
$$ \begin{cases}(A_1\rightarrow A_2) \vee (A_1\rightarrow A_3) = 1 \newline(A_2\rightarrow A_3) \vee (A_2\rightarrow A_4) = 1 \newline(A_3\rightarrow ...
0
голосов
1
ответ
37 показов
Доказать эквивалентность формулы
Приветствую!Доказать, что формула А от переменных P1, P2, ... , Pk эквивалентна некоторой формуле, содержащей лишь &, ∨, → и не содержащей ¬, тогд ...
0
голосов
0
ответов
44 показа
Разбиение на слагаемые и P и NP классы
Разбиение на слагаемые относится к P классу или NP?Возможно этот вопрос решит будет ли доказано равенствоЛибо я потрачу ещё больше времени на нахожден ...
1071 вопрос
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.