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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,134,040 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,859
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Помогите решить задания.Объясните как делать хотя бы первые 2.Или хотя бы укажите...
Krud
06.05.2018 19:51
13 175
SweetMood
06.05.2018 02:46
0 118
Найти матрицу отношения R\subset M x {2}^{M}, M={1,2,3}: R={(x,y)|x\in M & x\in y & y \subset M...
Vova9221
05.05.2018 23:41
3 145
Помогите пожалуйста упростить уравнение , вот такое уравнение у меня получилось как дальше...
Proffaner
05.05.2018 23:35
2 140
Всем доброго времени суток. Кто нибудь знает, как это получается? Из этого: x\overline{y}\vee...
_Del0v
04.05.2018 23:38
6 108
Здравствуйте не могу разобраться в задачах подобной этой: Обозначим через m & n поразрядную...
Drouro
03.05.2018 05:16
4 770
Доброго времени суток. Нужно определить чему равно это выражение: !(AxB), где - A и B непустые...
Bakuard
02.05.2018 23:47
2 694
Есть выражение (A ^ B -> C) без каких-либо дополнительных скобок. Как это преобразовать? Либо (1)...
Megas781
02.05.2018 23:33
2 108
Пусть M=<Z+,f>, где Z+ – множество неотрицательный целых чисел, f – соответствие, которое для...
notya
02.05.2018 22:43
9 107
Если Иван переутомился или болен, то он раздражается и у него болит голова. Иван сегодня не...
Ronig
02.05.2018 14:07
9 821
Решить систему A\bigcup X=B\bigcap X A\bigcap X=C\bigcup X
notya
30.04.2018 23:18
0 70
Пусть f: x →x + 1 и g: x → {2}^{x} — отображения R в R. Найдите отображения f g f, f f g, f g g и...
Mislap
29.04.2018 23:36
5 739
Доброго времени суток. Необходимо преобразовать формулу (X\/¬Y\/Z)(¬X¬Y¬Z) к ДНФ и КНФ....
Bakuard
26.04.2018 11:30
11 777
Помогите решить пожалуйста
doctor199906
24.04.2018 18:23
0 65
Доброго времени суток! Есть ли тут умные люди, способные объяснить как решаются два таких задания?...
Victoria_1
24.04.2018 11:39
4 131
Как доказать что лексикографический порядок является линейным на множестве кортежей ? Задача...
Gasratov
23.04.2018 22:18
9 878
«Люди общаются тогда и только тогда, когда есть общие темы. У однокурсников есть общие темы, но они...
Mecherok
23.04.2018 17:23
3 263
XY v ⌐XY v ⌐(XY) ≡ X → Y
love26
20.04.2018 23:52
1 95
2. Проверить полноту системы с помощью теоремы Поста(выполнить выкладки для каждой функции...
love26
20.04.2018 23:50
1 107
Задача. Опишите на языке логики первого порядка свойства отношения равенство. Подскажите, это...
slrmclaren722
19.04.2018 14:57
2 735
Доказать выводимость F∧G├ F
NAT90210
19.04.2018 12:47
2 113
Привет Прошу помочь решить задание: не нашёл символы для кванторов в редакторе формул, пусть...
Soply
19.04.2018 12:43
2 750
Рассмотреть все варианты навешивания кванторов на предикат P(x,y), описать в словесной форме...
владислав567
17.04.2018 21:08
1 251
Записать логическими формулами и определить значение истинности следующих высказываний:...
владислав567
17.04.2018 21:07
1 66
Очень нужно помогите, пожалуйста
Devid12
17.04.2018 10:41
1 90
Сколько бинарных отношений можно задать на множестве {0,1}? Выпи-сать все эти отношения, построить...
Max_car
16.04.2018 21:50
1 90
Доброго времени суток! Помогите пожалуйста Решить систему уравнения При каких А, В, С эта система...
Ксения1233
15.04.2018 23:50
1 104
1)Укажите отношения строгого порядка: a) Отрезок А длиннее отрезка B на 3 см б)Васильев выше...
NejdanX
15.04.2018 20:48
5 694
С дискретной математикой у меня беда. Понимаю её очень смутно. Так что прошу у вас помощи с 1, 4 и...
NejdanX
15.04.2018 11:50
3 704
доказать справедливость тождеств: (A\B) \bigcup B = A \Leftrightarrow B \subseteq A
teiiiii
13.04.2018 16:19
1 128
http://www.cybеrforum.ru/attachment.php?attachmentid=928021&stc=1&d=1523464065 как решать эту...
Yelle
12.04.2018 18:14
3 145
Как доказать, что P(A\bigcup B) = \{ ({A}_{i}\bigcup {B}_{i}) / {A}_{i} \in P(A) , {B}_{i} \in ...
Waru
12.04.2018 18:11
1 57
Прикрепил фото функции в сднф, так же сделана элементарная минимизация для работы в базисе...
maxqwe
10.04.2018 04:38
0 65
Привести пример бинарного отношения R на множестве АхA, где A = {a, b, c, d, e}, которое является...
Psyho syndrom
09.04.2018 13:32
1 77
Почему с обычным отношением множество не является вполне упорядоченным, а в общем случае является ?
Gasratov
08.04.2018 22:52
3 741
Вопрос 1: скажите, пожалуйста, используя кванторы всеобщности и существования, правильно ли я дала...
K_A
07.04.2018 11:40
5 144
Является ли данное отношение R = ((1,3), (3,2), (1,2)) отношением порядка ?
Gasratov
06.04.2018 00:16
7 757
Всем привет, ребят, очень нужна ваша помощь в решении следующего задания по дискретной математике....
kripipasta
05.04.2018 20:16
3 130
Здравствуйте! Подскажите пожалуйста, как можно при помощи логических блоков, таймеров и тд сделать...
San4er
05.04.2018 08:41
1 78
Здравствуйте, друзья. Вынужден просить вашей помощи в решении задач по дискретной математике. 1....
kotik95
04.04.2018 23:49
4 125
2. Упросить выражение:
kotik95
03.04.2018 18:42
0 81
3. Даны множества: d) Найти ; e) Найти мощности каждого из множеств; Для равномощных множеств...
kotik95
03.04.2018 18:42
0 93
Доказать выводимость заключения по принципу резолюции
Alex Kolesnikov
02.04.2018 09:41
0 103
Множество A, на котором задано отношение частичного порядка, называется ча- стично упорядоченным,...
Gasratov
01.04.2018 22:09
10 778
Каждую клаузу необходимо доказать следующими методами: аксиоматическим, натурального исчисления,...
Mikira
01.04.2018 21:42
0 96
Mikira
01.04.2018 21:36
0 79
(Ɐx(B(x)→Ɐy(A(y)))&(Ɐy(B(y)→(A(x)→C(z))))→Ǝz(C(z)) Ɐx(A(x)→Ǝy(B(y)))&(¬A(x)→B(x))→B(x) помогите...
Mikira
01.04.2018 21:31
0 73
Пусть H – подгруппа, порожденная элементом b=51 в мультипликативной группе Z71 вычетов по модулю...
notya
31.03.2018 23:03
0 74
\bar{P&Q}<-->\bar{R\vee Q} Подскажите как попроще подойти к моменту ДНФ - P&Q\vee...
SexyHpexy
31.03.2018 15:07
0 88
123
Yelle
30.03.2018 21:22
3 139
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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