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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Просмотров: 3,159,165 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,953
Обычные темы
 
     
 
Задать вопрос
Здравствуйте. Слева картинка это задание, а справа аксиомы
goblin-boblin
25.03.2017 13:35
0 114
Выполняю построение этой системы и застряла на одном шаге. "распознавание уровней значений...
miilka
24.03.2017 20:20
0 113
есть задание подскажите правильно сделал? D\A \cup((A\oplus C) \cup B)\cup(A\oplus C)
bySawka
23.03.2017 18:56
22 541
Не понимаю что это за кружок с крестиком - симметричная разность?Тогда я могу ее раскрыть как ...
D3nor
22.03.2017 22:19
4 930
Ребят помогите,может кто знает как решаются подобные примеры. Или может есть у кого похожие,не могу...
zergreak
22.03.2017 21:59
1 226
Упростить, используя свойства операций над множествами: \bar{\bar{A\bigcap \bar{B}}\bigcap...
DmitryV555
22.03.2017 09:35
8 211
Алгоритмом Уоршелла построить транзитивное замыкание для отношения a+b=10, реализация на С++,...
Zamaka2016MAKC
21.03.2017 23:05
1 304
Здравствуйте. Нужно упростить выражение. (X→Y)&(Y→Z)→(X→Z) Начал как и полагается из...
slavek777
21.03.2017 16:33
4 194
Всем привет! A={2;3;5;7;9;11;15}, B={3;5;9;10;12;15}, Перечислить элементы множества,...
bySawka
21.03.2017 13:07
5 900
Существуют ли множества А, В, X такие, что выполняется набор условий : B\X = A\X = (0),...
DmitryV555
19.03.2017 18:33
1 317
Установить, является ли каждое из перечисленных ниже отношений R, заданных на множестве X,...
1AK1
19.03.2017 17:20
2 548
вроде обл опр и обл значения - все действительные числа, и понял, что всюду определенное помогите,...
Larionov98
19.03.2017 13:48
1 141
Через (-B) обозначим дополнение U/B, где U - означает универсум. Доказать, что A\subseteq...
Kaligulaa
19.03.2017 13:05
3 857
Помогите пожалуйста разобраться в определениях симметричного и антисимметричного отношения....
NEvOl
18.03.2017 19:53
11 3,334
Здравствуйте! Помогите доказать формулу на общезначимость: ∃x∀y(P(y)→Q(x,y) Не могу разобраться.
zergreak
18.03.2017 12:46
4 367
Упростить нижеприведенные формулы при условии, что множества А, В, С и D связаны отношениями вида А...
DmitryV555
15.03.2017 11:17
4 275
Решение. Множество можно задать следующими способами: 1) перечислением всех его элементов...
Evgen230388
14.03.2017 23:01
3 546
\...
sanaxxx
14.03.2017 17:31
5 223
Help me please! Условие задачи на картинке
helpmep
14.03.2017 12:27
1 149
Очень прошу помочь с контрольной! Задание 1.2 - решено верно. Его можно пропустить. Задание 1.3....
Veronika_de
12.03.2017 08:25
0 164
Здравствуйте! Не могу доказать одно тождество: A\bigtriangleup (A\bigtriangleup B) = B Я доказал,...
FRIEND_
12.03.2017 00:59
2 306
(неY ^ X) v (Z <=> Y)
alechka2407
11.03.2017 22:48
4 161
помогите, пожалуйста, с задачей. построить булеву алгебру для {x}_{i}\in R; \ \forall i, \...
kristi808
11.03.2017 22:11
3 173
дано выражение (\neg (AB) \to \neg(A \vee B)) \to \rm{A} \oplus B. в первой скобке все понятно...
kristi808
11.03.2017 18:04
1 137
Я понимаю, что такое сюрьекция, инъекция и биекция, а задачу не понимаю, как решать. f: M22(K)...
Veronika_de
11.03.2017 00:23
6 949
Собственно, вопрос в теме. Если нельзя так сделать, то почему? Возможно ли это как-то доказать?
DashaE
10.03.2017 23:15
1 337
На абсциссе задаются те или иные значения. А для чего нужна ордината со значениями от ?...
Saym
09.03.2017 18:45
1 316
Здравствуйте,помогите пожалуйста решить задачу,ато непонятно как решать : Определите, сколько...
RALLIST1
09.03.2017 14:39
2 1,216
Подскажите пожалуйста, как доказать, что A\bigcup B=A\bigcup (B-(A\bigcap B)), причем A\bigcap...
Sonia_R
08.03.2017 19:51
3 172
Ребят, помогите пожалуйста разобраться с приоритетом операция у множеств. Нам даны множества А,...
Milka123
08.03.2017 17:14
1 247
Как соотносятся мощности следующих пар множеств и почему? а) множество всех натуральных чисел и...
draka08
08.03.2017 12:27
1 180
Вообщем, я решил и попытался изобразить,но не уверен, что верно, но сначала условия 1) А задана...
ProFrog111
07.03.2017 15:46
4 379
Приветствую. Возник затык со следующим и примерами: 1) A\equiv B\vdash (A\wedge C)\equiv ...
GetShuk
05.03.2017 21:30
5 162
Здравствуйте, для автоматического доказывателя теорем E Prover нужно сформулировать логическую...
nbd
05.03.2017 18:03
4 811
господа гении прошу я совершенно ничего в этом не понимаю, сколько бы не читала. извините, что с...
светик-поэтик
02.03.2017 19:34
7 834
Начнем с простого: 1)Какая мощность множеств: a){x є N| x^2 < 7} b){x є R| x^2 = 2} c){x є N|...
bellkross
02.03.2017 02:48
31 740
Всем привет! Нужна помощь в составлении формальной грамматики. Есть такой формальный язык: L...
КатяК777
27.02.2017 21:58
1 237
Если можно, то с подробным решением
LimonJuice
26.02.2017 23:34
1 846
Помогите пожалуйста!!!! Найти функции, получаемые из данной числовой функции f(x1, x2, x3, x4)=x1...
Elizabeth99
26.02.2017 16:26
0 246
Выяснить, справедлива ли равенства. Если нет привести контр пример.
Mindfure
26.02.2017 14:45
0 183
Доказать, что 1)множество всех рациональных чисел счетное. 2)множество всех простых чисел...
bellkross
26.02.2017 10:42
18 890
Доброго времени суток. По заданию нужно представить логическую функцию в базисах 1)И-НЕ и 2)И,НЕ и...
Mendel
26.02.2017 02:34
1 116
Доказать что: 1)Если A подмножество или равно множеству B то |A| <= |B| 2)Если A\leq B и B\leq C...
bellkross
25.02.2017 21:09
15 332
4. Какие из приведенных множеств является счетно: а) множество последовательностей рациональных...
bellkross
25.02.2017 19:00
13 890
Пускай на множестве NxN задано отношение ((a,b),(c,d)) є R <=> a + d = c + b. Доказать, что данное...
bellkross
25.02.2017 18:08
17 2,252
5. Доказать, что следующие пары множеств равномощны: а) множество точек квадрата и отрезка прямой;...
bellkross
25.02.2017 14:11
5 1,269
Здравствуй, форум. Нужна помощь. Не знаю как построить вывод формулы. A->(B->C) |- (A&B)->C ...
Mellodas
20.02.2017 14:37
1 892
1. Выявить в рассуждении структуру умозаключения. Для этого необходимо определить в составе...
july1997
20.02.2017 00:01
0 402
С точностью до изоморфизма с помощью диаграмм описать все такие а) отношение эквивалентности на...
bellkross
18.02.2017 18:46
5 809
Решить система уравнений относительно множества X и указать условия совместности системы...
Spoki
18.02.2017 13:13
1 631
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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