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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,117 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Спростил выражение к виду (_A\B)\(An_B), как дальше.(_)-означает "не"
MisterR
15.03.2016 14:24
3 838
Здравствуйте. Прошу помощи нужно проверить правильность тождества, НЕ используя круги Эйлера. ...
Stelgi
15.03.2016 09:23
3 700
2. Доказать A \subseteq C \wedge B \subseteq D \Rightarrow A \times B = (A \times D) \cap (C...
ComixRu
14.03.2016 19:41
1 155
1. Доказать {A} \cap {B} = {A} \cup {B} \Rightarrow {A} = {B}
ComixRu
14.03.2016 19:35
1 132
Задача - упростить при помощи законов булевой алгебры:
Андрей1992
14.03.2016 08:50
1 129
Дано тождество. Надо доказать логически. Пробовал доказывать, приведя левую часть к правой и...
Alex895623
13.03.2016 19:59
1 641
Семья состоит из отца А, матери В, и трех дочерей CDE. Купили новый телевизор. Установили что в...
plsap
12.03.2016 16:40
0 493
Здравствуйте, не знаю, стоило ли создавать новую тему,но я сделал(задача одна и та же, только...
Satros1205
12.03.2016 13:24
0 142
Помогите пожалуйста. Построить бинарное отношение: рефлексивное - да, антирефлексивное - нет, ...
lexd
12.03.2016 12:42
1 342
\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 283
Помогите составить формулу для комбинационной схемы я не очень представляю как она должна...
mordol
12.03.2016 11:38
1 197
Здравствуйте, помогите пожалуйста с переводом в базис 4И-НЕ, я вообще первый раз этим занимаюсь, на...
Satros1205
12.03.2016 11:28
13 858
Найти {D}_{min} для функции f({x}^{\sim 4}) с вектором значении {\breve{\alpha }}_{f} с помощью...
manchester_alan
11.03.2016 23:30
0 148
мыа
Pasha4489
11.03.2016 22:26
0 136
(A\bigcup B\bigcup D)\bigcap (C\bigcup B\bigcup A)\bigcap (\bar{C\bigcup B})
lena0106
11.03.2016 16:03
4 235
найти заштрихованное множество и упростить
lena0106
11.03.2016 15:22
1 158
упростить выражение (A\bigcup C)\bigcap (\bar{C}\bigcup B)\bigcap (\bar{D\bigcup \bar{B}})\bigcap...
lena0106
11.03.2016 10:21
1 796
упростить выражение (A\bigcup B) \bigcap (C\bigcup D)\bigcap (\bar{A\bigcup B})(\bar{D}\bigcup B)
lena0106
11.03.2016 06:52
1 189
Терм t называется свободным для переменной {x}_{i} в формуле А, если никакое вхождение {x}_{i} в А...
Kaligulaa
11.03.2016 00:18
0 127
\textrm{\Phi \wedge (\Psi \vee \chi )\vdash (\Phi \wedge \Psi )\vee (\Phi \wedge \chi )} Начал,...
mikki234
10.03.2016 14:41
0 158
Нужно доказать секвенцию (в виде дерева) в исчислении T. По идее нужно сначала воспользоваться 7...
max2014
09.03.2016 21:20
1 346
Решая пример на теорию множеств, я получил такой ответ B<X<A∆B с чертой Какие диаграммы будут...
MickRider
09.03.2016 16:40
0 176
Методом от противного выясните, верны ли следующие равносильности: (F^G)->H, (H^K)->∟, ...
Viktorija01
09.03.2016 13:54
2 256
Пытаюсь упростить множество с помощью законов алгебры множеств, но ничего толкового не получается....
Андрей1992
09.03.2016 06:55
4 825
Равносильными преобразованиями приведите каждую из следующих формул к СДН-форме и к СКН-форме:...
Viktorija01
09.03.2016 04:43
1 229
если с первыми двумя множествами я разобрался (A\B) и (C\B) то вот с остальными я не соображу
Pasha4489
09.03.2016 04:13
1 369
Дано выражение : (x1 & !x4 &x3) v (!x1 &(!x2 v !x5)). Нужно перейти к базису ИЛИ-НЕ,подскажите...
Quentyn
09.03.2016 02:00
2 426
Еще раз здравствуйте, подобная тема уже появлялась в этой ветке. Хочу полностью переформулировать...
Kaligulaa
09.03.2016 01:09
1 827
Выясните равносильны ли следующие предикаты,если их последовательность рассматривать сначала над...
Viktorija01
08.03.2016 22:48
1 569
Доказать, что каждая из пар связок \rightarrow ,\vee и \equiv , - не являются достаточной для...
Kaligulaa
08.03.2016 21:50
1 168
Теорема: Единственными бинарными связками, каждой из которых можно построить любую истинностную...
Kaligulaa
08.03.2016 21:28
7 317
1.) R={a,b,c,d} и <= (ну вот нижня палочка двойная у "<") = { (a,a) ((дальше такое запишу как...
NS-17_R-18
08.03.2016 17:01
1 268
Необходимо построить контактную схему методом каскадов,минимизировав её. Булева функция:...
Lev
08.03.2016 14:05
4 712
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 195
В классе учится n человек, которые посещают 2^(n-1) кружков. Известно, что любые два разных кружка...
smay
08.03.2016 01:42
2 812
Помогите записать задание в виде формулы логики предикатов: Мужчина из Киева не женат на женщине из...
melesa
07.03.2016 23:07
7 857
Можете привести парочку простых примеров, а то не очень понял что это такое и как применяется.
jestero
07.03.2016 17:20
8 296
Была формула. Упростил ее до вида "\bar{x1}\wedge x3".. Подскажите, пожалуйста, это ДНФ или КНФ?? И...
manchester_alan
07.03.2016 16:25
5 463
Админы перенесите тему, пожалуйста, если я не совсем по адресу Имею грамматику в БНФ: E \to...
Qazan
07.03.2016 10:20
5 321
Не получается решить пример A∆B=A^X Символы ввёл как смог, не знаю как тут вводить функции...
MickRider
06.03.2016 20:28
2 205
Задание 9 под номером б). Не подскажете как в данном случае задать транзитивное замыкание?
jestero
06.03.2016 17:55
0 137
Всем привет , интересует один момент в решении. Правильно ли я поняла ход решения !( B=> !A )...
Ja_Marinelka
06.03.2016 17:29
0 153
Пусть на множестве M=\begin{Bmatrix}2,4,6\end{Bmatrix} определено отношение "быть меньше". Задать...
jestero
06.03.2016 11:05
3 245
\begin{pmatrix} R a b c \\ a 0 1 0 \\ b 0 0 0 \\ c 0 1 0 \\ & & & &...
jestero
06.03.2016 11:01
1 172
Как представить в классической форме Бэкуса-Наура (БНФ) следующее : ...
Qazan
06.03.2016 05:42
2 992
\frac{sin4x*tg(x-\frac{\pi }{4})}{{cos}^{2}x-\frac{1}{2}}=0 Если...
jestero
06.03.2016 05:21
2 251
Здравствуйте! Составляю математическое описание задачи. Читал некоторый материал и теперь хочу...
conde
06.03.2016 00:22
5 882
Здравствуйте. Меня интересует проблема лжи - считается, что это то чего нет. Однако само понятие...
osvald
05.03.2016 18:58
3 2,347
Здравствуйте! В алгоритме реализации криптографического протокола есть шаг, для выполнения которого...
ShakalONil
04.03.2016 22:30
1 743
Всем привет, ребят, подскажите, пожалуйста, выполняя нечеткий вывод Цукамото у меня получились...
PaskalisT
04.03.2016 21:51
0 175
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск

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