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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,763 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Упростить, используя свойства операций над множествами: \bar{\bar{A\bigcap \bar{B}}\bigcap...
DmitryV555
22.03.2017 09:35
8 205
Алгоритмом Уоршелла построить транзитивное замыкание для отношения a+b=10, реализация на С++,...
Zamaka2016MAKC
21.03.2017 23:05
1 259
Здравствуйте. Нужно упростить выражение. (X→Y)&(Y→Z)→(X→Z) Начал как и полагается из...
slavek777
21.03.2017 16:33
4 185
Всем привет! A={2;3;5;7;9;11;15}, B={3;5;9;10;12;15}, Перечислить элементы множества,...
bySawka
21.03.2017 13:07
5 856
Существуют ли множества А, В, X такие, что выполняется набор условий : B\X = A\X = (0),...
DmitryV555
19.03.2017 18:33
1 272
Установить, является ли каждое из перечисленных ниже отношений R, заданных на множестве X,...
1AK1
19.03.2017 17:20
2 433
вроде обл опр и обл значения - все действительные числа, и понял, что всюду определенное помогите,...
Larionov98
19.03.2017 13:48
1 136
Через (-B) обозначим дополнение U/B, где U - означает универсум. Доказать, что A\subseteq...
Kaligulaa
19.03.2017 13:05
3 807
Помогите пожалуйста разобраться в определениях симметричного и антисимметричного отношения....
NEvOl
18.03.2017 19:53
11 2,043
Здравствуйте! Помогите доказать формулу на общезначимость: ∃x∀y(P(y)→Q(x,y) Не могу разобраться.
zergreak
18.03.2017 12:46
4 268
Упростить нижеприведенные формулы при условии, что множества А, В, С и D связаны отношениями вида А...
DmitryV555
15.03.2017 11:17
4 256
Решение. Множество можно задать следующими способами: 1) перечислением всех его элементов...
Evgen230388
14.03.2017 23:01
3 436
\...
sanaxxx
14.03.2017 17:31
5 171
Help me please! Условие задачи на картинке
helpmep
14.03.2017 12:27
1 144
Очень прошу помочь с контрольной! Задание 1.2 - решено верно. Его можно пропустить. Задание 1.3....
Veronika_de
12.03.2017 08:25
0 160
Здравствуйте! Не могу доказать одно тождество: A\bigtriangleup (A\bigtriangleup B) = B Я доказал,...
FRIEND_
12.03.2017 00:59
2 280
(неY ^ X) v (Z <=> Y)
alechka2407
11.03.2017 22:48
4 141
помогите, пожалуйста, с задачей. построить булеву алгебру для {x}_{i}\in R; \ \forall i, \...
kristi808
11.03.2017 22:11
3 166
дано выражение (\neg (AB) \to \neg(A \vee B)) \to \rm{A} \oplus B. в первой скобке все понятно...
kristi808
11.03.2017 18:04
1 129
Я понимаю, что такое сюрьекция, инъекция и биекция, а задачу не понимаю, как решать. f: M22(K)...
Veronika_de
11.03.2017 00:23
6 857
Собственно, вопрос в теме. Если нельзя так сделать, то почему? Возможно ли это как-то доказать?
DashaE
10.03.2017 23:15
1 253
На абсциссе задаются те или иные значения. А для чего нужна ордината со значениями от ?...
Saym
09.03.2017 18:45
1 284
Здравствуйте,помогите пожалуйста решить задачу,ато непонятно как решать : Определите, сколько...
RALLIST1
09.03.2017 14:39
2 631
Подскажите пожалуйста, как доказать, что A\bigcup B=A\bigcup (B-(A\bigcap B)), причем A\bigcap...
Sonia_R
08.03.2017 19:51
3 156
Ребят, помогите пожалуйста разобраться с приоритетом операция у множеств. Нам даны множества А,...
Milka123
08.03.2017 17:14
1 228
Как соотносятся мощности следующих пар множеств и почему? а) множество всех натуральных чисел и...
draka08
08.03.2017 12:27
1 169
Вообщем, я решил и попытался изобразить,но не уверен, что верно, но сначала условия 1) А задана...
ProFrog111
07.03.2017 15:46
4 287
Приветствую. Возник затык со следующим и примерами: 1) A\equiv B\vdash (A\wedge C)\equiv ...
GetShuk
05.03.2017 21:30
5 151
Здравствуйте, для автоматического доказывателя теорем E Prover нужно сформулировать логическую...
nbd
05.03.2017 18:03
4 792
господа гении прошу я совершенно ничего в этом не понимаю, сколько бы не читала. извините, что с...
светик-поэтик
02.03.2017 19:34
7 820
Начнем с простого: 1)Какая мощность множеств: a){x є N| x^2 < 7} b){x є R| x^2 = 2} c){x є N|...
bellkross
02.03.2017 02:48
31 623
Всем привет! Нужна помощь в составлении формальной грамматики. Есть такой формальный язык: L...
КатяК777
27.02.2017 21:58
1 219
Если можно, то с подробным решением
LimonJuice
26.02.2017 23:34
1 617
Помогите пожалуйста!!!! Найти функции, получаемые из данной числовой функции f(x1, x2, x3, x4)=x1...
Elizabeth99
26.02.2017 16:26
0 194
Выяснить, справедлива ли равенства. Если нет привести контр пример.
Mindfure
26.02.2017 14:45
0 161
Доказать, что 1)множество всех рациональных чисел счетное. 2)множество всех простых чисел...
bellkross
26.02.2017 10:42
18 846
Доброго времени суток. По заданию нужно представить логическую функцию в базисах 1)И-НЕ и 2)И,НЕ и...
Mendel
26.02.2017 02:34
1 108
Доказать что: 1)Если A подмножество или равно множеству B то |A| <= |B| 2)Если A\leq B и B\leq C...
bellkross
25.02.2017 21:09
15 302
4. Какие из приведенных множеств является счетно: а) множество последовательностей рациональных...
bellkross
25.02.2017 19:00
13 865
Пускай на множестве NxN задано отношение ((a,b),(c,d)) є R <=> a + d = c + b. Доказать, что данное...
bellkross
25.02.2017 18:08
17 1,446
5. Доказать, что следующие пары множеств равномощны: а) множество точек квадрата и отрезка прямой;...
bellkross
25.02.2017 14:11
5 1,117
Здравствуй, форум. Нужна помощь. Не знаю как построить вывод формулы. A->(B->C) |- (A&B)->C ...
Mellodas
20.02.2017 14:37
1 859
1. Выявить в рассуждении структуру умозаключения. Для этого необходимо определить в составе...
july1997
20.02.2017 00:01
0 299
С точностью до изоморфизма с помощью диаграмм описать все такие а) отношение эквивалентности на...
bellkross
18.02.2017 18:46
5 782
Решить система уравнений относительно множества X и указать условия совместности системы...
Spoki
18.02.2017 13:13
1 504
Пусть на множестве всех людей Р задано отношения F={(x,y)|x,y є Р и х отец у} D={(x,y)|x,y є Р и...
bellkross
18.02.2017 10:33
16 854
Доброго времени суток. Не могу разобраться с кругами Эйлера. Ну то есть с ними проблем не было до...
chicken
17.02.2017 14:02
2 196
Помогите понять, как решать такую задачу. Выяснить, можно ли реализовать функцию f формулой...
Alexzord
14.02.2017 00:23
1 196
Помогите решить пожалуйста
inrich
12.02.2017 22:57
1 295
Указать такие множества A, B, C, что (A\B)\С != A \ (B \ С).(!=-не равно)
Mindfure
12.02.2017 12:38
1 761
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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