Форум программистов, компьютерный форум, киберфорум

Мат. логика и множества


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
Показов: 154,694 Посмотреть объявление Объявление: Поддержите наш форум на Яндексе!
23.08.2020 mik-a-el (Администратор)
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 3,691,383 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
OldFedor
27.03.2022 11:20
3 8,764
Обычные темы
 
     
 
Задать вопрос
Определите истинность формулы: F = ((С \/В) => В) /\ (А /\ В) => В.
Trenton
Сегодня 15:35
2 81
Срочно!!! Помогите пожалуйста с упрощением выражения множества! 3 номер. Правила форума, пункт...
Lentab
Вчера 22:35
2 184
Есть задание, определить, кто из студентов сдал экзамен, если: 1. Если первый сдал, то и второй...
karlhildekruger
Вчера 14:03
4 111
На множестве слов русского языка задано отношение p: x p y <=> слова x и y содержат хотя бы одну...
Proverka2200
30.09.2022 13:44
3 161
Как составить СДНФ и СКНФ без составления таблицы истинности? Вот функция для примера: x ˅ y¬z....
Exall
29.09.2022 21:08
1 92
Нужно упростить формулу Помогите пожалуйста.
fanta444
28.09.2022 13:33
3 173
Докажите, что формула F = ((AΛB)→A) является тавтологией, используя равносильность формул
Zlatta
26.09.2022 15:35
3 476
Статистические исследования показали, что 60% сотрудников предприятия сделали срочные вклады в...
pavel_227
22.09.2022 13:36
3 225
Докажите, A∪∅=A ( одним из 3 методов: 2ух включений, эквивалентных преобразований,...
dfuytcv
21.09.2022 23:34
1 171
Дана формула Ф=(((¬a)≡b)∧c) Найти СКНФ и СДНФ
karlhildekruger
20.09.2022 13:27
6 187
Известно ДНФ, найти СДНФ b∨¬a∨(a∧¬b)∨(¬a∧b)∨(¬a∧¬b) Добавлено через 7 минут забыл добавить,...
karlhildekruger
19.09.2022 13:36
2 132
Покажите, что для любого натурального числа n найдётся нечётное натуральное число λ(n), такое что:...
dimaszdn
16.09.2022 19:32
6 583
Доказать, что всякое множество, есть: 1.объединение всех своих подмножеств 2.объединение всех...
jsajdssa
15.09.2022 21:53
9 392
¬((¬a)→(a→(b→c)))
karlhildekruger
15.09.2022 15:15
1 437
при помощи равносильных преобразований проверить является ли формула тавтологией или тождественной...
karlhildekruger
15.09.2022 13:00
1 96
Ф1=(a∨(b→(¬c))) Ф2=(b→(c→a)) Необходимо решение в виде равносильных преобразований для проверки...
karlhildekruger
15.09.2022 12:59
1 77
Доброго времени суток. Нужна помощь с заданием "Представить множество ¬(A⊕(B⊕C)) в виде суммы...
DJ123
14.09.2022 21:29
3 565
Привел формулу лп к формуле ссф,получил 4 дизъюнкта: K={(B(a)∨...
vadim444666
09.09.2022 13:07
1 439
Написать следующие утверждения на формальном языке теории множеств: 1. "множество x имеет не...
Pro100Nastja
07.09.2022 10:39
10 481
Добрый вечер, кто-нибудь знает, как можно упростить это логическое выражение до 3-х дизъюнкций, без...
Develonment
06.09.2022 18:25
0 208
Добрый день, мне нужна помощь, мне необходимо преобразовать логическое выражение, используя стрелку...
Develonment
06.09.2022 14:05
10 562
Всем привет, мне нужно решить задание под буквой и объяснить почему так. Помогите пожалуйста!
rL1ze
05.09.2022 17:58
2 156
Здравствуйте. уважаемые форумчане! Есть такое нехитрое выражение!...
ceg
15.08.2022 13:35
1 274
Примерно месяц назад, а, точнее, 13 июня я нашел доказательство равномощности множества натуральных...
guestfromspace
12.07.2022 20:17
1 208
На множестве всех числовых функций, область определения и множество значений которых суть...
scarlet_holmes
03.07.2022 12:46
1 207
Упростить логически выражение: х1 ⇒ х2 = (х1 V x2) ~ (x2x1) Правила форума, пункт 4.7. Как...
Next_souL
28.06.2022 16:41
1 314
помогите пожалуйста, никак не могу понять как это делать
GHOSTofTIME
28.06.2022 15:33
0 136
Здравствуйте, подскажите, пожалуйста, правильно ли решил задание? (ƎxⱯyA(x,y)) V (ƎxⱯyB(x,y) ∃...
ForestFreshman
26.06.2022 20:10
3 249
Добрый день! Затрудняюсь с созданием формулы в рамках логики первого порядка. Сигнатура не должна...
VicTumaN
24.06.2022 21:17
5 514
Очень срочно, люди добрые, помогите пожалуйста решить
qwertyyboy
22.06.2022 19:02
0 185
Есть такая функция, как (x1+x2)<(x3->x1) (< это дизъюнкция, а + сложение по модулю 2). Проблема...
Dazai1947
22.06.2022 15:47
4 494
_ _ _ _ _ _ _ _______ y z v x y z v x y z v x y ...
masterbeat
22.06.2022 01:19
3 199
На множестве B={1,2,3,4} задано бинарное отношение Р={(1;1), (1;3), (2;4), (3;1), (3;4), (4;2),...
Ай1424
19.06.2022 12:29
0 640
Как можно начинать рассуждения в такой задаче? Я не прошу решения к этой задаче, а хотя бы вектор...
jxstixn
19.06.2022 03:15
4 148
Подскажите, как правильно рассуждать в таких задачах: является ли L \ T0 классом замкнутости?
jxstixn
19.06.2022 00:23
30 684
Методом резолюций проверить выполнимость следующих формул. Если формулы выполнимы, построить для...
Wizzix12
18.06.2022 22:49
3 496
Пусть имеем множество М = {a, b, c, d}. Бинарное отношение на нем задано с помощью матрицы R....
d1spimel
18.06.2022 16:59
12 1,018
A необходимо для B, а B когда C и A, но не A эквивалентно C и B
Павлова Аня
17.06.2022 20:30
10 1,177
Условно говоря есть два задания: 1) Синтезировать схему "равнозначности" в базисе И-НЕ 2)...
Noob_03
16.06.2022 17:24
5 305
Найдите пожалуйста эту сокращённую ДНФ f=(01001110) с полным решением
fferebon
15.06.2022 18:33
1 134
Есть клауза: A\vee B,D\vee E, D\vee C, C\rightarrow D\Rightarrow A\wedge D; B; C\wedge E Мне...
ded187
15.06.2022 00:59
3 217
Кто может коротко и понятно обьяснить трехзначную логику Лукасевича? Прочитав информацию в инете...
ghumbert
13.06.2022 18:48
2 220
1 Пусть A = {1,2,3,4,5}, а S, T, U, V – отношения на А, S = {(1;1),(1,2),...
Mewcerf
13.06.2022 18:30
2 166
2 Установите, является ли отношение R - «быть меньше на 2» отношением порядка на множестве...
Mewcerf
09.06.2022 08:28
1 151
4 На множестве А={1,2, 4, 6, 3, 8} определено отношение R – «быть кратным». Задать R разными...
Mewcerf
09.06.2022 08:24
1 147
у меня есть две кляузы: A\rightarrow C, \bar{B}\sim C, B\vee D, B\rightarrow A \Rightarrow D;...
ultimateman21
06.06.2022 00:17
8 1,236
Здравствуйте, помогите пожалуйста построить вывод для формулы атч А=>(!В=>(!А=>!В)). Вроде...
pavelstashenko
04.06.2022 22:42
2 269
Нужна помощь с доказательством пунктов (k) и (о).
Silenced
01.06.2022 14:23
1 253
Построить формулу от трех переменных, которая ложна тогда и только тогда, когда не менее чем две...
NeField
31.05.2022 17:08
1 250
Добрый день, получил этакие задачки Записать высказывание в виде формул логики высказываний...
sunfish1
31.05.2022 17:02
1 281
Задать вопрос
       
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск Темы без ответов

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2022, CyberForum.ru