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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,162 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,925
Обычные темы
 
     
 
Задать вопрос
Необходимо построить граф дедуктивного вывода для формулы: (A&B∨C&D); (A->¬A) |-C Я совсем...
Never9006
20.03.2016 21:34
3 384
объясните почему отношение {(a,a), (b,b), (c,c), (d,d), (a,c), (b,c),(c,d),(a,d),(b,d)} является...
alexsemen1994
20.03.2016 15:43
3 366
Комитет из 7 человек принимает решения большинством голосов. Председатель пользуется правом...
Ankuras
20.03.2016 08:25
1 305
Здравствуйте. Вот задача в том, чтобы реализовать функцию у=х1+х2 на элементе запрет без элемента...
TDA2003
20.03.2016 07:49
3 196
Пожалуйста,помогите решить!!!!С помощью равносильных преобразований приведите формулу алгебры...
Dinoo
19.03.2016 21:06
1 933
Правительство состоит из*25*министров. Каждые два министра либо*дружат, либо враждуют. При этом...
Elisaweta
18.03.2016 20:02
0 1,467
почему так получилось не понятно .....
Aassians
18.03.2016 17:30
6 181
Доброго времени суток. Пожалуйста помогите с заданием а то голову сломал. Само задание:...
Violex
18.03.2016 05:56
0 344
Представить результат графически на диаграмме Эйлера для трех взаимно пересекающихся множеств...
Rainbow59
17.03.2016 13:34
1 167
Помогите Решить 1 и 2 задачу
Ankuras
17.03.2016 10:21
1 236
DF: Терм t называется свободным для переменной {x}_{i} в формуле A, если никакое свободное...
Kaligulaa
17.03.2016 01:16
1 452
Спростил выражение к виду (_A\B)\(An_B), как дальше.(_)-означает "не"
MisterR
15.03.2016 14:24
3 841
Здравствуйте. Прошу помощи нужно проверить правильность тождества, НЕ используя круги Эйлера. ...
Stelgi
15.03.2016 09:23
3 819
2. Доказать A \subseteq C \wedge B \subseteq D \Rightarrow A \times B = (A \times D) \cap (C...
ComixRu
14.03.2016 19:41
1 162
1. Доказать {A} \cap {B} = {A} \cup {B} \Rightarrow {A} = {B}
ComixRu
14.03.2016 19:35
1 140
Задача - упростить при помощи законов булевой алгебры:
Андрей1992
14.03.2016 08:50
1 132
Дано тождество. Надо доказать логически. Пробовал доказывать, приведя левую часть к правой и...
Alex895623
13.03.2016 19:59
1 683
Семья состоит из отца А, матери В, и трех дочерей CDE. Купили новый телевизор. Установили что в...
plsap
12.03.2016 16:40
0 551
Здравствуйте, не знаю, стоило ли создавать новую тему,но я сделал(задача одна и та же, только...
Satros1205
12.03.2016 13:24
0 149
Помогите пожалуйста. Построить бинарное отношение: рефлексивное - да, антирефлексивное - нет, ...
lexd
12.03.2016 12:42
1 391
\bar{\bar{a}\bar{b}\bar{c}+acd+\bar{a}b+\bar{a}cd+\bar{\bar{a}b\bar{c}\bar{d}}+\bar{ab\bar{c}}}
mordol
12.03.2016 12:06
12 288
Помогите составить формулу для комбинационной схемы я не очень представляю как она должна...
mordol
12.03.2016 11:38
1 201
Здравствуйте, помогите пожалуйста с переводом в базис 4И-НЕ, я вообще первый раз этим занимаюсь, на...
Satros1205
12.03.2016 11:28
13 876
Найти {D}_{min} для функции f({x}^{\sim 4}) с вектором значении {\breve{\alpha }}_{f} с помощью...
manchester_alan
11.03.2016 23:30
0 154
мыа
Pasha4489
11.03.2016 22:26
0 144
(A\bigcup B\bigcup D)\bigcap (C\bigcup B\bigcup A)\bigcap (\bar{C\bigcup B})
lena0106
11.03.2016 16:03
4 237
найти заштрихованное множество и упростить
lena0106
11.03.2016 15:22
1 163
упростить выражение (A\bigcup C)\bigcap (\bar{C}\bigcup B)\bigcap (\bar{D\bigcup \bar{B}})\bigcap...
lena0106
11.03.2016 10:21
1 800
упростить выражение (A\bigcup B) \bigcap (C\bigcup D)\bigcap (\bar{A\bigcup B})(\bar{D}\bigcup B)
lena0106
11.03.2016 06:52
1 191
Терм t называется свободным для переменной {x}_{i} в формуле А, если никакое вхождение {x}_{i} в А...
Kaligulaa
11.03.2016 00:18
0 130
\textrm{\Phi \wedge (\Psi \vee \chi )\vdash (\Phi \wedge \Psi )\vee (\Phi \wedge \chi )} Начал,...
mikki234
10.03.2016 14:41
0 173
Нужно доказать секвенцию (в виде дерева) в исчислении T. По идее нужно сначала воспользоваться 7...
max2014
09.03.2016 21:20
1 388
Решая пример на теорию множеств, я получил такой ответ B<X<A∆B с чертой Какие диаграммы будут...
MickRider
09.03.2016 16:40
0 185
Методом от противного выясните, верны ли следующие равносильности: (F^G)->H, (H^K)->∟, ...
Viktorija01
09.03.2016 13:54
2 295
Пытаюсь упростить множество с помощью законов алгебры множеств, но ничего толкового не получается....
Андрей1992
09.03.2016 06:55
4 833
Равносильными преобразованиями приведите каждую из следующих формул к СДН-форме и к СКН-форме:...
Viktorija01
09.03.2016 04:43
1 263
если с первыми двумя множествами я разобрался (A\B) и (C\B) то вот с остальными я не соображу
Pasha4489
09.03.2016 04:13
1 443
Дано выражение : (x1 & !x4 &x3) v (!x1 &(!x2 v !x5)). Нужно перейти к базису ИЛИ-НЕ,подскажите...
Quentyn
09.03.2016 02:00
2 451
Еще раз здравствуйте, подобная тема уже появлялась в этой ветке. Хочу полностью переформулировать...
Kaligulaa
09.03.2016 01:09
1 840
Выясните равносильны ли следующие предикаты,если их последовательность рассматривать сначала над...
Viktorija01
08.03.2016 22:48
1 631
Доказать, что каждая из пар связок \rightarrow ,\vee и \equiv , - не являются достаточной для...
Kaligulaa
08.03.2016 21:50
1 178
Теорема: Единственными бинарными связками, каждой из которых можно построить любую истинностную...
Kaligulaa
08.03.2016 21:28
7 332
1.) R={a,b,c,d} и <= (ну вот нижня палочка двойная у "<") = { (a,a) ((дальше такое запишу как...
NS-17_R-18
08.03.2016 17:01
1 302
Необходимо построить контактную схему методом каскадов,минимизировав её. Булева функция:...
Lev
08.03.2016 14:05
4 813
M=\begin{Bmatrix}1,3,5,7\end{Bmatrix} Отношение R= \begin{Bmatrix}(a,b):b=a+2\end{Bmatrix} Если...
jestero
08.03.2016 09:47
3 216
В классе учится n человек, которые посещают 2^(n-1) кружков. Известно, что любые два разных кружка...
smay
08.03.2016 01:42
2 817
Помогите записать задание в виде формулы логики предикатов: Мужчина из Киева не женат на женщине из...
melesa
07.03.2016 23:07
7 887
Можете привести парочку простых примеров, а то не очень понял что это такое и как применяется.
jestero
07.03.2016 17:20
8 344
Была формула. Упростил ее до вида "\bar{x1}\wedge x3".. Подскажите, пожалуйста, это ДНФ или КНФ?? И...
manchester_alan
07.03.2016 16:25
5 491
Админы перенесите тему, пожалуйста, если я не совсем по адресу Имею грамматику в БНФ: E \to...
Qazan
07.03.2016 10:20
5 333
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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