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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,150,693 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,922
Обычные темы
 
     
 
Задать вопрос
Доказать тождество (A∩B)\(A∪B)=пустое множество кругами Эйлера сделал. а вот как иначе не знаю?
РУУУУУУУУУУУУУС
15.04.2017 19:33
4 483
Здравствуйте, участники форума. Прошу помочь вывести секвенции. A\rightarrow \neg \forall x B(x)...
r2d2cyber
15.04.2017 05:17
3 167
Как определить является ли бинарная матрица отношения размерностью nxn функцией? Помогите пожалуйста
Teoretik173_
14.04.2017 22:49
7 797
f(x1,x2,x3,x4)=x1,x2,!x3,!x4+x1,!x2,!x3,!x4+!x1,x2,x3,!x4+!x1,x2,!x3,!x4+!x1,x2,x3,x4+!x1,!x2,x3,x4,...
Максим1998
14.04.2017 17:21
1 204
Выяснить полноту системы {f, w}. f = (0, 1, 0, 1, 1, 0, 1, 1) w = (0, 1, 0, 1, 0, 1, 0, 0) ...
bySawka
14.04.2017 14:21
1 850
Найти МДНФ следующей функции методом Квайна F={0,2,4,6,7,8,12,14,15}
Максим1998
14.04.2017 10:42
0 131
Решите задачи, пожалуйста... 1. Выясните, можно ли из функции f(x,y,z) с помощью суперпозиций...
Max81
13.04.2017 22:10
4 203
2. Минимизируйте методом неопределенных коэффициентов логические функции f(X1,X2,X3) и g(X1,X2,X3)...
Max81
13.04.2017 11:03
0 127
3. Минимизируйте методом Квайна - Мак-Класки функции f(X1,X2,X3,Х4) и g(X1,X2,X3,Х4) заданные...
Max81
13.04.2017 11:03
0 115
Ребята, кто может помочь с этим равенством? Вроде остальные варианты из этого задания простые....
BadBoy1
12.04.2017 22:47
1 171
Здравствуйте, участники форума. Прошу помочь записать формулу по математической логике. Задание:...
r2d2cyber
12.04.2017 17:22
0 104
Надо решить такую систему
narentie
11.04.2017 18:56
1 751
Здравствуйте: ¬(A∧B)⇔(¬B⊕¬A)⇔(A∨B)⊕(A⊕¬B) Нужно найти ДНФ. СДНФ так выглядит: ¬A¬B∨¬AB∨A¬B∨AB...
slavek777
10.04.2017 20:49
1 170
Нужно упростить. У меня получилось так, как дальше не знаю. ...
РУУУУУУУУУУУУУС
10.04.2017 17:54
0 109
Добрый день! Нужна помощь с решением данной задачи. Если в двух словах, то есть несколько решений,...
Draid
10.04.2017 01:52
5 230
Помогите пожалуйста дольше правильно сгруппировать: \bar{(\bar{A\bigcup \bar{B})}\bigcup...
Milka123
09.04.2017 01:18
1 268
всем привет)) помогите пожалуйста!!! доказать справедливость нижеприведенного тождества на основе...
Prohindey
06.04.2017 13:14
3 266
Нужна помощь. Перевести в базис и-не. Для меня самый проблемный базис.
Nubilum
04.04.2017 22:58
5 916
Логик заезжает в закусочную и говорит: "Дайте мне, пожалуйста, гамбургер или хот-дог и картофель...
3oidberg
04.04.2017 20:46
1 200
доказать клаузы методами: аксиоматическим, натурального исчисления, резолюций и Вонга
grizzly_312
04.04.2017 18:09
0 102
Здравствуйте, необходимо построить ЧУМ, содержащее только 1 максимальный элемент и не содержащее...
NEvOl
04.04.2017 16:42
4 794
Буду премного благодарна :thank_you:
Reginella
03.04.2017 22:50
2 188
Помогите с примером рефлексивного, не симметричного и транзитивного бинарного отношения...
Reginella
03.04.2017 20:20
1 1,432
Надо привести пример рефлексивного, не симметричного и транзитивного отношения одновременно. Буду...
Reginella
03.04.2017 17:06
0 304
Здравствуйте. В результате преобразований логических формул получилось вот что (кусок из...
mraklbrw
02.04.2017 20:35
4 279
Добрый вечер. Нужна помощь. Задание: преобразовать функцию в полином Жегалкина. ^ - исключающее...
ukugyul552465
01.04.2017 21:51
10 225
Проверьте двумя способами, будут ли эквивалентны следующие формулы: а) составлением таблиц...
Narcissa
01.04.2017 11:36
0 207
Нужно доказать что не существует конечного, частично упорядоченного множества, имеющего 1...
NEvOl
01.04.2017 00:21
2 867
Помогите пожалуйста с заданием. Не работал еще с подобными методами. Доказать или опровергнуть...
Nightly_7
30.03.2017 06:43
1 488
помогите проверить тождество A\(B\C)=(A\B)∪(B∩C)
nastyasrost
29.03.2017 12:29
1 133
Здравствуйте, форумчане. Помогите, пожалуйста, перевести с естественного языка на язык логики...
redbadgersf
29.03.2017 08:10
0 290
Подскажите пожалуйста как доказываются такого рода утверждения: A\subseteq B тогда и только тогда,...
NEvOl
28.03.2017 21:17
20 790
необходимо написать формулу, соответствующую закрашенной области написал следующую формулу,...
bySawka
28.03.2017 17:43
3 199
Постройте коммутационную схему, соответствующую данному булевому выражению. Определить, при каких...
shaman_blr21
28.03.2017 12:26
1 267
Подскажите пожалуйста, как правильно решать такую задачу: Дано M = \{1, 2, 3, 4, 5, 6, 7, 8 \}....
NEvOl
27.03.2017 18:24
3 1,026
Найдите все не равносильные между собой формулы от двух переменных F(x,y) что бы:
andru160596
27.03.2017 13:32
2 283
Во вложении задание. Необходимо использовать теорему дедукции. Преобразовав обе стороны, я вижу,...
tashaj7
27.03.2017 00:34
7 631
Здравствуйте. Слева картинка это задание, а справа аксиомы
goblin-boblin
25.03.2017 13:35
0 113
Выполняю построение этой системы и застряла на одном шаге. "распознавание уровней значений...
miilka
24.03.2017 20:20
0 112
есть задание подскажите правильно сделал? D\A \cup((A\oplus C) \cup B)\cup(A\oplus C)
bySawka
23.03.2017 18:56
22 530
Не понимаю что это за кружок с крестиком - симметричная разность?Тогда я могу ее раскрыть как ...
D3nor
22.03.2017 22:19
4 914
Ребят помогите,может кто знает как решаются подобные примеры. Или может есть у кого похожие,не могу...
zergreak
22.03.2017 21:59
1 209
Упростить, используя свойства операций над множествами: \bar{\bar{A\bigcap \bar{B}}\bigcap...
DmitryV555
22.03.2017 09:35
8 210
Алгоритмом Уоршелла построить транзитивное замыкание для отношения a+b=10, реализация на С++,...
Zamaka2016MAKC
21.03.2017 23:05
1 293
Здравствуйте. Нужно упростить выражение. (X→Y)&(Y→Z)→(X→Z) Начал как и полагается из...
slavek777
21.03.2017 16:33
4 194
Всем привет! A={2;3;5;7;9;11;15}, B={3;5;9;10;12;15}, Перечислить элементы множества,...
bySawka
21.03.2017 13:07
5 879
Существуют ли множества А, В, X такие, что выполняется набор условий : B\X = A\X = (0),...
DmitryV555
19.03.2017 18:33
1 310
Установить, является ли каждое из перечисленных ниже отношений R, заданных на множестве X,...
1AK1
19.03.2017 17:20
2 524
вроде обл опр и обл значения - все действительные числа, и понял, что всюду определенное помогите,...
Larionov98
19.03.2017 13:48
1 139
Через (-B) обозначим дополнение U/B, где U - означает универсум. Доказать, что A\subseteq...
Kaligulaa
19.03.2017 13:05
3 844
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru