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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Просмотров: 3,158,882 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,953
Обычные темы
 
     
 
Задать вопрос
Здравствуйте, необходимо выполнить задание, буду благодарен. Приведите пример множеств A, B, C...
WHOAWHOA
20.04.2017 15:25
1 171
Здравствуйте, необходимо выполнить задание, буду благодарен. Желательно с объяснением, хотелось бы...
WHOAWHOA
20.04.2017 15:05
0 256
Помогите, пожалуйста, упростить выражения по законам логики. Совсем плохо с этим:с
ponymatan
20.04.2017 12:58
2 270
Не понимаю, что неправильно. При дальнейшим раскрытии у меня становится всё только хуже
Konvpal
18.04.2017 14:58
14 349
Посоветуйте литературу или ссылки с разобранными примерами для решения данной задачи. Заранее...
GaRiCk7
17.04.2017 22:34
6 336
Привести пропозициональную форму к а)СДНФ б)СКНФ если это возможно 1+(X|Y)+(\bar{Z} ...
triatri3
17.04.2017 13:42
2 184
для пропозициональных форм А и B выберите верное утверждение: а) А является логическим следствием...
triatri3
17.04.2017 12:36
3 272
Есть формула: (X|Y)→(X|Z) Есть СДНФ: Помогите найти ДНФ. Как получить ДНФ? Читал лекции в...
slavek777
16.04.2017 03:31
3 271
Подскажите пожалуйста, правильно ли я решаю задачку: Пусть R множество, всевозможных отношений на...
NEvOl
15.04.2017 19:43
12 1,229
Доказать тождество (A∩B)\(A∪B)=пустое множество кругами Эйлера сделал. а вот как иначе не знаю?
РУУУУУУУУУУУУУС
15.04.2017 19:33
4 527
Здравствуйте, участники форума. Прошу помочь вывести секвенции. A\rightarrow \neg \forall x B(x)...
r2d2cyber
15.04.2017 05:17
3 197
Как определить является ли бинарная матрица отношения размерностью nxn функцией? Помогите пожалуйста
Teoretik173_
14.04.2017 22:49
7 800
f(x1,x2,x3,x4)=x1,x2,!x3,!x4+x1,!x2,!x3,!x4+!x1,x2,x3,!x4+!x1,x2,!x3,!x4+!x1,x2,x3,x4+!x1,!x2,x3,x4,...
Максим1998
14.04.2017 17:21
1 232
Выяснить полноту системы {f, w}. f = (0, 1, 0, 1, 1, 0, 1, 1) w = (0, 1, 0, 1, 0, 1, 0, 0) ...
bySawka
14.04.2017 14:21
1 862
Найти МДНФ следующей функции методом Квайна F={0,2,4,6,7,8,12,14,15}
Максим1998
14.04.2017 10:42
0 136
Решите задачи, пожалуйста... 1. Выясните, можно ли из функции f(x,y,z) с помощью суперпозиций...
Max81
13.04.2017 22:10
4 204
2. Минимизируйте методом неопределенных коэффициентов логические функции f(X1,X2,X3) и g(X1,X2,X3)...
Max81
13.04.2017 11:03
0 133
3. Минимизируйте методом Квайна - Мак-Класки функции f(X1,X2,X3,Х4) и g(X1,X2,X3,Х4) заданные...
Max81
13.04.2017 11:03
0 116
Ребята, кто может помочь с этим равенством? Вроде остальные варианты из этого задания простые....
BadBoy1
12.04.2017 22:47
1 173
Здравствуйте, участники форума. Прошу помочь записать формулу по математической логике. Задание:...
r2d2cyber
12.04.2017 17:22
0 104
Надо решить такую систему
narentie
11.04.2017 18:56
1 753
Здравствуйте: ¬(A∧B)⇔(¬B⊕¬A)⇔(A∨B)⊕(A⊕¬B) Нужно найти ДНФ. СДНФ так выглядит: ¬A¬B∨¬AB∨A¬B∨AB...
slavek777
10.04.2017 20:49
1 183
Нужно упростить. У меня получилось так, как дальше не знаю. ...
РУУУУУУУУУУУУУС
10.04.2017 17:54
0 110
Добрый день! Нужна помощь с решением данной задачи. Если в двух словах, то есть несколько решений,...
Draid
10.04.2017 01:52
5 247
Помогите пожалуйста дольше правильно сгруппировать: \bar{(\bar{A\bigcup \bar{B})}\bigcup...
Milka123
09.04.2017 01:18
1 271
всем привет)) помогите пожалуйста!!! доказать справедливость нижеприведенного тождества на основе...
Prohindey
06.04.2017 13:14
3 285
Нужна помощь. Перевести в базис и-не. Для меня самый проблемный базис.
Nubilum
04.04.2017 22:58
5 956
Логик заезжает в закусочную и говорит: "Дайте мне, пожалуйста, гамбургер или хот-дог и картофель...
3oidberg
04.04.2017 20:46
1 204
доказать клаузы методами: аксиоматическим, натурального исчисления, резолюций и Вонга
grizzly_312
04.04.2017 18:09
0 103
Здравствуйте, необходимо построить ЧУМ, содержащее только 1 максимальный элемент и не содержащее...
NEvOl
04.04.2017 16:42
4 801
Буду премного благодарна :thank_you:
Reginella
03.04.2017 22:50
2 195
Помогите с примером рефлексивного, не симметричного и транзитивного бинарного отношения...
Reginella
03.04.2017 20:20
1 1,527
Надо привести пример рефлексивного, не симметричного и транзитивного отношения одновременно. Буду...
Reginella
03.04.2017 17:06
0 311
Здравствуйте. В результате преобразований логических формул получилось вот что (кусок из...
mraklbrw
02.04.2017 20:35
4 292
Добрый вечер. Нужна помощь. Задание: преобразовать функцию в полином Жегалкина. ^ - исключающее...
ukugyul552465
01.04.2017 21:51
10 229
Проверьте двумя способами, будут ли эквивалентны следующие формулы: а) составлением таблиц...
Narcissa
01.04.2017 11:36
0 237
Нужно доказать что не существует конечного, частично упорядоченного множества, имеющего 1...
NEvOl
01.04.2017 00:21
2 879
Помогите пожалуйста с заданием. Не работал еще с подобными методами. Доказать или опровергнуть...
Nightly_7
30.03.2017 06:43
1 546
помогите проверить тождество A\(B\C)=(A\B)∪(B∩C)
nastyasrost
29.03.2017 12:29
1 134
Здравствуйте, форумчане. Помогите, пожалуйста, перевести с естественного языка на язык логики...
redbadgersf
29.03.2017 08:10
0 301
Подскажите пожалуйста как доказываются такого рода утверждения: A\subseteq B тогда и только тогда,...
NEvOl
28.03.2017 21:17
20 808
необходимо написать формулу, соответствующую закрашенной области написал следующую формулу,...
bySawka
28.03.2017 17:43
3 200
Постройте коммутационную схему, соответствующую данному булевому выражению. Определить, при каких...
shaman_blr21
28.03.2017 12:26
1 277
Подскажите пожалуйста, как правильно решать такую задачу: Дано M = \{1, 2, 3, 4, 5, 6, 7, 8 \}....
NEvOl
27.03.2017 18:24
3 1,081
Найдите все не равносильные между собой формулы от двух переменных F(x,y) что бы:
andru160596
27.03.2017 13:32
2 294
Во вложении задание. Необходимо использовать теорему дедукции. Преобразовав обе стороны, я вижу,...
tashaj7
27.03.2017 00:34
7 693
Здравствуйте. Слева картинка это задание, а справа аксиомы
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 924
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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