0
голосов
0
ответов
18 показов

Необходимо построить вывод формулы 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 показов
0
голосов
1
ответ
37 показов

Приветствую!Доказать, что формула А от переменных P1, P2, ... , Pk эквивалентна некоторой формуле, содержащей лишь &, ∨, → и не содержащей ¬, тогд ...
0
голосов
0
ответов
44 показа

Разбиение на слагаемые относится к P классу или NP?Возможно этот вопрос решит будет ли доказано равенствоЛибо я потрачу ещё больше времени на нахожден ...
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru