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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,875 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
F – логическая функция трёх аргументов X,Y,Z. Известно, что среди наборов функции есть те, которые...
extrimally
15.12.2013 22:24
0 236
Помогите, пожалуйста, решить две задачи) 1. Доказать или опровергнуть утверждение A\bar{C}\bigcup...
Mi4yrin
15.12.2013 20:50
9 1,480
Построить машину Тьюринга, которая будет считать записанные подряд(без пропусков) единицы (их число...
alisska
15.12.2013 19:16
0 176
f : A -> B и g : B -> C - отношения. Что является областью определения f • g, когда: а)...
rebok
15.12.2013 16:04
1 294
Здравствуйте! Помогите пожалуйста доказать тождество. Как только не пробовал: Заранее спс!
some_name
15.12.2013 09:32
3 277
Здравствуйте. Нужно решить задачу, помогите, пожалуйста. Правила, 5.18. Запрещено размещать...
Exepted
15.12.2013 09:14
4 1,175
Здравствуйте! Прошу дать определение индивидуального предиката и чем он отличается от обычного....
Tetr1s
15.12.2013 03:57
0 169
Здравствуйте! Ребят выручайте, ни как не могу понять как доказать что:
toner2040
14.12.2013 22:15
1 287
Помогите, пожалуйста. Совсем не знаю, как решать. Заранее, большое спасибо!
glnr
14.12.2013 20:32
3 279
Нужно найти с.к.н.ф. раскрыл,и получил А,правильно ли? A\equiv (B\equiv C)=A
Максим1488
14.12.2013 17:07
13 492
AC\triangle\bar{ABC} = (\bar{AC}\triangle\bar{BC}\)\triangle\ (\bar{BC}\Delta \bar {\bar {ABC}}) У...
dragon52
14.12.2013 00:13
0 732
помогите решить задачу по расчётке по мат.логике(1 осталась уже , не могу разобраться в некоторых...
Az_86
13.12.2013 13:10
2 643
Добрый вечер, уважаемые форумчане! Помогите, пожалуйста решить задание: Нужно построить таблицу...
sever0k
13.12.2013 04:13
1 272
Применяя равносильные преобразования , найти СДНФ и СКНФ для данной формулы. Проверить с помощью...
Starscream
12.12.2013 22:58
0 275
Условие: 1) Построить на множестве M={a,b,c} бинарное отношение, являющееся транзитивным и...
Анечкаученица
12.12.2013 20:48
5 341
Помогите решить еще одну задачу: Является ли формула тавтологией (a->b)->c<=>(a^неb)vc ...
blud73
12.12.2013 20:35
5 966
Здравствуйте! Подскажите пожалуйста, как правильно выполнять стгивание вершин. Какой...
some_name
12.12.2013 19:55
0 285
Народ помогите: Дайтей анализ условий ее работы и анализ условий работы инверсной схемы. -xz v...
CarlRoyWilkins
12.12.2013 13:34
1 195
помогите пожалуйста завтра зачет сдавать а я не могу сделать это задание.
a999a1
11.12.2013 20:09
6 656
Привет всем. Очень нужна помощь c решением логического уравнения и неравенства. Очень прошу, кто...
Cseoron
11.12.2013 16:24
2 623
Верно ли построена схема?:)
AkinRUs
11.12.2013 16:14
3 186
Люди,подскажите пожалуйста правильно ли я нашёл функцию проводимости ? ...
AkinRUs
11.12.2013 15:48
3 196
Всем привет Ребята, никто не сталкивался с доказательством свойств булевой алгебры, очень много...
Charle
11.12.2013 15:38
10 563
Упростить функцию проводимости и построить переключательную схему, соответствующую упрощенной...
Allari
11.12.2013 11:24
3 2,973
ДНФ p_1*p_2*p_3∨p_1*(p_2 ) ̅*(p_3 ) ̅ КНФ ((p_1 ) ̅∨p_2∨(p_3 ) ̅ )*((p_1 ) ̅∨(p_2 ) ̅∨p_3...
Аня
11.12.2013 10:28
2 384
1.Докажите,что формула(не х -> не y)<->(x->y) является тавтологией 2. Найти СДНФ и СКНФ формулы...
Глория
11.12.2013 10:24
1 275
Подскажите,пожалуйста,как найти совершенную дизъюнктивную и конъюнктивную нормальную формулу для...
pavel_79
11.12.2013 09:37
1 552
1)x1\/x2 2)X1\/x3x4 3)x3¬x4\/x1x2\/x1x4\/x1¬x2x3 4)x3¬x4\/¬x3x4\/x1x3\/x1x2¬x4\/x1¬x2¬x3
CatOnSide
11.12.2013 05:40
1 2,307
Функция f(x,y,z) = (10100111)
Андрюха-73
10.12.2013 18:23
0 206
Привести формулу к ДНФ, КНФ, СДНФ, СКНФ. С помощью эквивалентных преобразований. Благодарю за...
klubni4ka
10.12.2013 18:17
1 6,519
Функция f(x,y,z) = (10100111)
Андрюха-73
10.12.2013 18:16
0 533
доказать с помощью таблицы истинности, что (А->B) V (А->С)=A->(BVC)
АНАСТАСИЯ251191
10.12.2013 15:58
2 352
Является ли Х-> не Z логическим следствием формулы (не Х V Y)^(Z->не Y)?
АНАСТАСИЯ251191
10.12.2013 13:39
2 543
Здравствуйте,помогите пожалуйста максимально упростить за законами логики Буля. ((b V c)...
Haifisch
10.12.2013 03:28
1 171
Привести преобразованиями к сднф и скнф в рисунке задание и начало моего решения по сднф, дальше...
demerko
09.12.2013 20:40
2 392
помогите упростить данную формулу и составить к ней функциональную и контактную схему.
Ildar95
09.12.2013 11:33
3 308
Здравствуйте,помогите решить вот такое задание: Максимально упростите выражение,...
Haifisch
09.12.2013 09:32
1 242
Записать таблицу истинности для Q Q= (P1\Rightarrow\bar{P2})\; \wedge\; P3 буду благодарна...
RinaMoroz
09.12.2013 09:26
1 424
необходимо: 1. По таблице истинности построить дизъюнктивную нормальную форму и упростить ее. ...
RinaMoroz
09.12.2013 00:53
0 273
Помогите пожалуйста упростить формулу мучаюсь никак не выходит.:( (y\vee (x\bar{yz}\rightarrow...
Linder25
08.12.2013 21:46
13 914
Добрый день! Как с помощью дерева доказательств доказать, что из посылки \bar{F1} \vee F2 выводится...
aker
08.12.2013 21:20
1 841
Немогу упростить СДНФ -x-yz v -xy-z v -xyz v x-y-z v xyz куча некрасивых вариантов (помогите...
CarlRoyWilkins
08.12.2013 19:10
2 495
ТЕОРИЯ ПЕРВОГО ПОРЯДКА С РАВЕНСТВОМ (*) УСЛОВИЕ. Заданы конечное множество переменных U = {u1,...
Dantes48
08.12.2013 19:08
0 374
А, когда В и С, а В при условии, что С, но из С не следует А и В.
alisska
08.12.2013 16:32
2 1,262
СДНФ обоих формул сделал x|(y->z) и (x|y)->(x|z) столкнулся с проблемой раскрытия скобок Шеффера
CarlRoyWilkins
08.12.2013 16:27
4 514
Здравствуйте! Не подскажите ли как построиь транзитивное замыкание при помощи обхода в ширину? ...
some_name
08.12.2013 12:09
10 1,292
Задано функцию из 4-х переменных, которая принимает значение единицы на таких наборах: 2, 3, 6, 8,...
AlexHolmes
08.12.2013 00:11
0 359
Вот с этим Правила, 5.18. Запрещено размещать задания в виде картинок и других файлов с их...
Valik_000
07.12.2013 23:22
0 228
Помогите решить задачи №2,3,4 .Буду очень благодарен Правила, 5.16. Запрещено создавать темы с...
dizzzel
07.12.2013 19:56
1 725
Здравствуйте, помогите, пожалуйста, оформить с помощью алгебры логики. Студенты узнали, что к...
MyMeepoForum
07.12.2013 12:26
0 427
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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