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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,123,567 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,835
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Нужна помощь. Перевести в базис и-не. Для меня самый проблемный базис.
Nubilum
04.04.2017 22:58
5 326
Логик заезжает в закусочную и говорит: "Дайте мне, пожалуйста, гамбургер или...
3oidberg
04.04.2017 20:46
1 169
доказать клаузы методами: аксиоматическим, натурального исчисления, резолюций и...
grizzly_312
04.04.2017 18:09
0 93
Здравствуйте, необходимо построить ЧУМ, содержащее только 1 максимальный...
NEvOl
04.04.2017 16:42
4 179
Буду премного благодарна :thank_you:
Reginella
03.04.2017 22:50
2 155
Помогите с примером рефлексивного, не симметричного и транзитивного бинарного...
Reginella
03.04.2017 20:20
1 917
Надо привести пример рефлексивного, не симметричного и транзитивного отношения...
Reginella
03.04.2017 17:06
0 236
Здравствуйте. В результате преобразований логических формул получилось вот...
mraklbrw
02.04.2017 20:35
4 235
Добрый вечер. Нужна помощь. Задание: преобразовать функцию в полином...
ukugyul552465
01.04.2017 21:51
10 210
Проверьте двумя способами, будут ли эквивалентны следующие формулы: а)...
Narcissa
01.04.2017 11:36
0 175
Нужно доказать что не существует конечного, частично упорядоченного множества,...
NEvOl
01.04.2017 00:21
2 205
Помогите пожалуйста с заданием. Не работал еще с подобными методами. ...
Nightly_7
30.03.2017 06:43
1 374
помогите проверить тождество A\(B\C)=(A\B)∪(B∩C)
nastyasrost
29.03.2017 12:29
1 127
Здравствуйте, форумчане. Помогите, пожалуйста, перевести с естественного...
redbadgersf
29.03.2017 08:10
0 258
Подскажите пожалуйста как доказываются такого рода утверждения: A\subseteq B...
NEvOl
28.03.2017 21:17
20 688
необходимо написать формулу, соответствующую закрашенной области написал...
bySawka
28.03.2017 17:43
3 191
Постройте коммутационную схему, соответствующую данному булевому выражению....
shaman_blr21
28.03.2017 12:26
1 250
Подскажите пожалуйста, как правильно решать такую задачу: Дано M = \{1, 2, 3,...
NEvOl
27.03.2017 18:24
3 404
Найдите все не равносильные между собой формулы от двух переменных F(x,y) что...
andru160596
27.03.2017 13:32
2 256
Во вложении задание. Необходимо использовать теорему дедукции. Преобразовав...
tashaj7
27.03.2017 00:34
7 585
Здравствуйте. Слева картинка это задание, а справа аксиомы
goblin-boblin
25.03.2017 13:35
0 107
Выполняю построение этой системы и застряла на одном шаге. "распознавание...
miilka
24.03.2017 20:20
0 107
есть задание подскажите правильно сделал? D\A \cup((A\oplus C) \cup...
bySawka
23.03.2017 18:56
22 437
Не понимаю что это за кружок с крестиком - симметричная разность?Тогда я могу...
D3nor
22.03.2017 22:19
4 353
Ребят помогите,может кто знает как решаются подобные примеры. Или может есть у...
zergreak
22.03.2017 21:59
1 187
Упростить, используя свойства операций над множествами: \bar{\bar{A\bigcap...
DmitryV555
22.03.2017 09:35
8 203
Алгоритмом Уоршелла построить транзитивное замыкание для отношения a+b=10,...
Zamaka2016MAKC
21.03.2017 23:05
1 243
Здравствуйте. Нужно упростить выражение. (X→Y)&(Y→Z)→(X→Z) Начал как и...
slavek777
21.03.2017 16:33
4 180
Всем привет! A={2;3;5;7;9;11;15}, B={3;5;9;10;12;15}, Перечислить элементы...
bySawka
21.03.2017 13:07
5 325
Существуют ли множества А, В, X такие, что выполняется набор условий : B\X =...
DmitryV555
19.03.2017 18:33
1 255
Установить, является ли каждое из перечисленных ниже отношений R, заданных на ...
1AK1
19.03.2017 17:20
2 414
вроде обл опр и обл значения - все действительные числа, и понял, что всюду...
Larionov98
19.03.2017 13:48
1 134
Через (-B) обозначим дополнение U/B, где U - означает универсум. Доказать,...
Kaligulaa
19.03.2017 13:05
3 189
Помогите пожалуйста разобраться в определениях симметричного и...
NEvOl
18.03.2017 19:53
11 1,786
Здравствуйте! Помогите доказать формулу на общезначимость: ∃x∀y(P(y)→Q(x,y)...
zergreak
18.03.2017 12:46
4 260
Упростить нижеприведенные формулы при условии, что множества А, В, С и D...
DmitryV555
15.03.2017 11:17
4 251
Решение. Множество можно задать следующими способами: 1) перечислением всех...
Evgen230388
14.03.2017 23:01
3 415
\...
sanaxxx
14.03.2017 17:31
5 167
Help me please! Условие задачи на картинке
helpmep
14.03.2017 12:27
1 139
Очень прошу помочь с контрольной! Задание 1.2 - решено верно. Его можно...
Veronika_de
12.03.2017 08:25
0 154
Здравствуйте! Не могу доказать одно тождество: A\bigtriangleup...
FRIEND_
12.03.2017 00:59
2 262
(неY ^ X) v (Z <=> Y)
alechka2407
11.03.2017 22:48
4 135
помогите, пожалуйста, с задачей. построить булеву алгебру для {x}_{i}\in R; \...
kristi808
11.03.2017 22:11
3 159
дано выражение (\neg (AB) \to \neg(A \vee B)) \to \rm{A} \oplus B. в первой...
kristi808
11.03.2017 18:04
1 127
Я понимаю, что такое сюрьекция, инъекция и биекция, а задачу не понимаю, как...
Veronika_de
11.03.2017 00:23
6 241
Собственно, вопрос в теме. Если нельзя так сделать, то почему? Возможно ли это...
DashaE
10.03.2017 23:15
1 213
На абсциссе задаются те или иные значения. А для чего нужна ордината со...
Saym
09.03.2017 18:45
1 274
Здравствуйте,помогите пожалуйста решить задачу,ато непонятно как решать :...
RALLIST1
09.03.2017 14:39
2 581
Подскажите пожалуйста, как доказать, что A\bigcup B=A\bigcup (B-(A\bigcap B)),...
Sonia_R
08.03.2017 19:51
3 150
Ребят, помогите пожалуйста разобраться с приоритетом операция у множеств. Нам...
Milka123
08.03.2017 17:14
1 223
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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