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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,138,557 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,880
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Помогите пожалуйста с решениями задач. 1)Используя основные эквивалентности и соотношения докажите...
Dashamath
23.03.2016 04:29
1 375
1. Построить таблицу истинности, упросить, еще раз таблицу истинности и написать СКНФ и СДНФ
paralysed
22.03.2016 22:45
2 235
Помоги или объясните как решать такие выражения
wypaa
22.03.2016 21:45
1 228
Помогите пожалуйста с решениями задач. 2)С помощью преобразований вида построить из данной КНФ...
Dashamath
22.03.2016 16:59
1 270
Для заданных на множестве А={1,2,3,4,5} бинарных отношений p и t: а) записать матрицы и построить...
Mamont267
21.03.2016 23:56
1 582
Прошу помочь. Найдите область определения, область значений соответствия
Zutra
21.03.2016 16:56
1 316
Доказать, что это отношение является отношением строгого порядка. Полностью ли упорядочивает это...
Zutra
21.03.2016 16:53
2 116
Я не прошу вас решить задание за меня. Мне нужно понять, как решать такого типа задания. Насколько...
NikitoZZZ
21.03.2016 13:53
1 267
Пожалуйста,помогите решить!!!!С помощью равносильных преобразований приведите формулу алгебры...
Dinoo
21.03.2016 13:27
2 274
Изобразите графически множество {(x,y) | y={x}^{2} + 5|x|}
DobriDemon
20.03.2016 21:42
1 194
Необходимо построить граф дедуктивного вывода для формулы: (A&B∨C&D); (A->¬A) |-C Я совсем...
Never9006
20.03.2016 21:34
3 362
объясните почему отношение {(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 354
Комитет из 7 человек принимает решения большинством голосов. Председатель пользуется правом...
Ankuras
20.03.2016 08:25
1 287
Здравствуйте. Вот задача в том, чтобы реализовать функцию у=х1+х2 на элементе запрет без элемента...
TDA2003
20.03.2016 07:49
3 195
Пожалуйста,помогите решить!!!!С помощью равносильных преобразований приведите формулу алгебры...
Dinoo
19.03.2016 21:06
1 905
Правительство состоит из*25*министров. Каждые два министра либо*дружат, либо враждуют. При этом...
Elisaweta
18.03.2016 20:02
0 1,458
почему так получилось не понятно .....
Aassians
18.03.2016 17:30
6 180
Доброго времени суток. Пожалуйста помогите с заданием а то голову сломал. Само задание:...
Violex
18.03.2016 05:56
0 318
Представить результат графически на диаграмме Эйлера для трех взаимно пересекающихся множеств...
Rainbow59
17.03.2016 13:34
1 164
Помогите Решить 1 и 2 задачу
Ankuras
17.03.2016 10:21
1 231
DF: Терм t называется свободным для переменной {x}_{i} в формуле A, если никакое свободное...
Kaligulaa
17.03.2016 01:16
1 416
Спростил выражение к виду (_A\B)\(An_B), как дальше.(_)-означает "не"
MisterR
15.03.2016 14:24
3 839
Здравствуйте. Прошу помощи нужно проверить правильность тождества, НЕ используя круги Эйлера. ...
Stelgi
15.03.2016 09:23
3 762
2. Доказать A \subseteq C \wedge B \subseteq D \Rightarrow A \times B = (A \times D) \cap (C...
ComixRu
14.03.2016 19:41
1 159
1. Доказать {A} \cap {B} = {A} \cup {B} \Rightarrow {A} = {B}
ComixRu
14.03.2016 19:35
1 135
Задача - упростить при помощи законов булевой алгебры:
Андрей1992
14.03.2016 08:50
1 129
Дано тождество. Надо доказать логически. Пробовал доказывать, приведя левую часть к правой и...
Alex895623
13.03.2016 19:59
1 656
Семья состоит из отца А, матери В, и трех дочерей CDE. Купили новый телевизор. Установили что в...
plsap
12.03.2016 16:40
0 510
Здравствуйте, не знаю, стоило ли создавать новую тему,но я сделал(задача одна и та же, только...
Satros1205
12.03.2016 13:24
0 146
Помогите пожалуйста. Построить бинарное отношение: рефлексивное - да, антирефлексивное - нет, ...
lexd
12.03.2016 12:42
1 373
\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 284
Помогите составить формулу для комбинационной схемы я не очень представляю как она должна...
mordol
12.03.2016 11:38
1 199
Здравствуйте, помогите пожалуйста с переводом в базис 4И-НЕ, я вообще первый раз этим занимаюсь, на...
Satros1205
12.03.2016 11:28
13 868
Найти {D}_{min} для функции f({x}^{\sim 4}) с вектором значении {\breve{\alpha }}_{f} с помощью...
manchester_alan
11.03.2016 23:30
0 150
мыа
Pasha4489
11.03.2016 22:26
0 141
(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 159
упростить выражение (A\bigcup C)\bigcap (\bar{C}\bigcup B)\bigcap (\bar{D\bigcup \bar{B}})\bigcap...
lena0106
11.03.2016 10:21
1 797
упростить выражение (A\bigcup B) \bigcap (C\bigcup D)\bigcap (\bar{A\bigcup B})(\bar{D}\bigcup B)
lena0106
11.03.2016 06:52
1 190
Терм t называется свободным для переменной {x}_{i} в формуле А, если никакое вхождение {x}_{i} в А...
Kaligulaa
11.03.2016 00:18
0 128
\textrm{\Phi \wedge (\Psi \vee \chi )\vdash (\Phi \wedge \Psi )\vee (\Phi \wedge \chi )} Начал,...
mikki234
10.03.2016 14:41
0 167
Нужно доказать секвенцию (в виде дерева) в исчислении T. По идее нужно сначала воспользоваться 7...
max2014
09.03.2016 21:20
1 358
Решая пример на теорию множеств, я получил такой ответ B<X<A∆B с чертой Какие диаграммы будут...
MickRider
09.03.2016 16:40
0 179
Методом от противного выясните, верны ли следующие равносильности: (F^G)->H, (H^K)->∟, ...
Viktorija01
09.03.2016 13:54
2 273
Пытаюсь упростить множество с помощью законов алгебры множеств, но ничего толкового не получается....
Андрей1992
09.03.2016 06:55
4 829
Равносильными преобразованиями приведите каждую из следующих формул к СДН-форме и к СКН-форме:...
Viktorija01
09.03.2016 04:43
1 239
если с первыми двумя множествами я разобрался (A\B) и (C\B) то вот с остальными я не соображу
Pasha4489
09.03.2016 04:13
1 404
Дано выражение : (x1 & !x4 &x3) v (!x1 &(!x2 v !x5)). Нужно перейти к базису ИЛИ-НЕ,подскажите...
Quentyn
09.03.2016 02:00
2 436
Еще раз здравствуйте, подобная тема уже появлялась в этой ветке. Хочу полностью переформулировать...
Kaligulaa
09.03.2016 01:09
1 832
Выясните равносильны ли следующие предикаты,если их последовательность рассматривать сначала над...
Viktorija01
08.03.2016 22:48
1 585
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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