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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,104 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Задание: С помощью логических законов докажите, что для любых множеств A и B: A∩B⊆A Получается...
TypicalUser
07.02.2017 20:55
3 200
Есть эквиваленция: a<=>b=1+a+b=... Далее я написал (но не уверен в правильности): 1+(а+b+ab)...Но...
Linked
06.02.2017 08:23
13 898
Здравствуйте. Помогите, пожалуйста, с данным заданием. Нужно проверить тождественность логических...
Vengeance95
04.02.2017 19:52
1 174
Попалась мне логическая формула: A¬В→(А∨В)¬С. Я не пойму тут один момент: A¬В. Это получается "А"...
Бугагашенька
02.02.2017 21:58
6 195
Помогите доказать тождество...
Sdajus
01.02.2017 18:21
1 148
определить значение высказывания, полученного из трехместного предиката на множестве Х, если можно...
MaGnuS1
31.01.2017 10:25
9 877
помогите пожалуйста, нужно: проверить составлением таблиц истинности, будут ли эквивалентны...
MaGnuS1
29.01.2017 22:12
1 229
Есть выражение: ¬ A ∨ B Я всю голову сломал. Днф получается неА v B. а вот кнф как?Как...
Gantel9i
29.01.2017 22:11
4 361
Ребята, требуется преобразовать формулу во множество дизъюнктов. Заранее огромное спасибо за...
Catrinka
28.01.2017 20:49
1 209
Помогите пожалуйста составить таблицу истинности для функции: f(x;y;z)=(xz')V(z(yVz'))
13aJleN0k
28.01.2017 20:47
1 196
Помогите пожалуйста построить релейно-контактную схему с заданной функцией проводимости:...
13aJleN0k
28.01.2017 15:56
0 400
Уважаемые знатоки! Есть задачка на логику предикатов, хотелось бы даже не ответ, а ход решения...
Catrinka
27.01.2017 20:42
1 301
Помогите, пожалуйста решить задачки и объясните их. Сама с трудом понимаю данную тему, особенно не...
Каточка
25.01.2017 20:57
31 1,056
Помогите, пожалуйста, разобраться верно ли я решила задание? Если нет, укажите на ошибки. Буду...
Каточка
25.01.2017 20:48
19 772
Ребята, помогите разобраться, пожалуйста, с решением. Препод утверждает, что не верно, а объяснять...
Каточка
25.01.2017 16:49
0 190
Помогите, пожалуйста решить задачки и объясните их. Сама с трудом понимаю данную тему, особенно не...
Каточка
25.01.2017 16:30
5 572
Подскажите, пожалуйста, правильно ли я я решила задачу? Задание: Записать на языке логики...
Каточка
25.01.2017 16:11
8 479
Как определить какими свойствами обладает БО, заданное матрицей из единиц и нулей Определения...
Infer57
24.01.2017 22:19
7 876
Добрый вечер! Помогите пожалуйста преобразовать данную функцию в базис ИЛИ-НЕ
Вова Дужий
24.01.2017 21:25
1 254
Добрый вечер! Помогите пожалуйста преобразовать данную функцию в базис И-НЕ
Вова Дужий
24.01.2017 21:20
1 156
Здравствуйте помогите пожалуйста разобраться: Необходимо задать БО как матрицу(4х4) единиц и нулей...
Infer57
24.01.2017 10:11
6 288
Не могу привести формулу к виду КНФ или ДНФ (то есть упростить)Хотелось бы с подробным решением и...
DissNay
23.01.2017 22:37
8 371
Ребята,помогите.По таблице истинности составил выражение в СДНФ, помогите упростить логическое...
Mazytta56
23.01.2017 22:32
2 235
Доброго времени суток. Прошу помочь с записью предложения в виде формулы логики высказываний. Для...
kuzma3366
23.01.2017 22:20
4 328
Оператор минимизации,примитивная рекурсивность предикатов и прочее. Можете скинуть ссылки на...
jestero
23.01.2017 18:20
3 154
{f}_{9}(x,y)=max(x,y)
Mariya54
23.01.2017 17:50
45 5,808
Ценой покрытия Sa называется сумма цен кубов, образующих покрытие. Цена k-куба (Sk)определяется...
Shura_deg
23.01.2017 13:58
0 190
(X ∨ Y ∨ Z ∨ U)( X ∨ Y ∨ U)(X ∨ Z) Надо все скобки сначала раскрывать? Тогда очень много писать...
jestero
23.01.2017 00:54
5 155
здравствуйте. вот сижу разбираю самостоятельно тему о мощности множеств, и не понимаю пару вещей....
ship79
22.01.2017 22:11
5 210
Добрый день! Очень прошу помочь с заданием. Необходимо образовать приведенную нормальную форму
Andrety
22.01.2017 21:43
1 163
По логической функции составить логическую схему:
Autumncursed
22.01.2017 21:42
1 157
Построить логическую схему функции F(A,B): F(A,B)=
Autumncursed
22.01.2017 21:41
1 192
Составить таблицу истинности логического выражения С C=
Autumncursed
22.01.2017 21:39
1 152
Построить логическую схему функции F
Autumncursed
22.01.2017 21:32
1 185
Прошу помощи в решении данной задачи)) Построить наиболее экономичную логическую схему, функция...
kuzma3366
22.01.2017 21:32
1 241
Для данного множества A перечислить все различные сочетания его элементов по k элементов. Для...
kuzma3366
22.01.2017 16:04
5 312
По логическим схемам составить логические функции:
Autumncursed
22.01.2017 14:46
0 113
Добрый день. Мне необходимо доказать клаузу (выводимость из гипотез), основываясь на системе...
Фрейя
22.01.2017 13:32
0 197
Доброго времени суток. Коллеги, подскажите, как будет правильным доказать данное тождество: ...
Pavel08
21.01.2017 22:14
6 833
Если в схеме нет контакта проводников с обмотками реле, то такая схема называется контактной. Но...
jestero
21.01.2017 22:04
1 110
!X!Y ∨ !XZ ∨ YZ = !X!Y ∨ YZ ! - это отрицание Куда делось !XZ ?
jestero
21.01.2017 19:56
4 733
Правильно сделано или нет? X∨(X ∨ !X)(Y ∨ !Z) ∨ !Y ∨Z X ∨ 1(Y ∨ !Z) ∨ !Y ∨ Z X ∨ Y ∨ !Z ∨ !Y...
jestero
21.01.2017 19:55
1 199
Придумайте такую контактную схему, что бы в большом зале можно было включать и выключить свет при...
jestero
21.01.2017 19:48
0 127
Из контактов x,y,z составьте схему так, чтобы она пропустила ток тогда, когда замкнуты какие-нибудь...
jestero
21.01.2017 19:46
1 166
\left(\bar{x}\vee \bar{y}\vee \bar{z}\vee xy \right)=1
jestero
21.01.2017 18:52
3 123
Есть какой-нибудь такой сервис в интернете, чтобы строил схемы по функциям?
jestero
21.01.2017 16:51
1 176
xyz\rightarrow t=\bar{xyz}\vee t=\bar{x}\vee \bar{y}\vee \bar{z}\vee t
jestero
21.01.2017 16:48
1 124
Проверить правильность следующих умозаключений методом семантических таблиц и методом резолюций:...
Eveigh
20.01.2017 23:33
12 993
Помогите решить!
uralic
19.01.2017 16:48
3 185
Для формулы, заданой своим значениями истинности построить СДНФ, СКНФ, РКС и полином Жегалкина. (...
Kirillz161
19.01.2017 16:04
1 343
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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