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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,134,104 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,861
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Доказать.Если можно,то с пояснением. С конечными множествами проблем не возникает(все по теореме),...
Дарья1997
16.01.2016 23:42
1 146
Добрый вечер, можете пожалуйста объяснить простым языком, что такое замкнутый класс булевых...
Ferrari F1
16.01.2016 22:37
1 132
Добрый вечер, можете пожалуйста доказать 3 утверждения? 1) Класс {T}_{0} является замкнутым 2)...
Ferrari F1
16.01.2016 22:29
1 115
Добрый день, можете пожалуйста объяснить по-простому, что такое линейные и нелинейные полиномы...
Ferrari F1
16.01.2016 22:18
3 1,213
Здравствуйте. Есть карта карно, состоящая полностью из нулей. Очевидно, что МДНФ этой функции равна...
Michael_Nexus
16.01.2016 18:33
4 218
Используя таблицы истинности, проверить эквивалентность булевых формул. Определить существенные...
teckpaul1
16.01.2016 17:02
2 246
Добрый день, можете объяснить пожалуйста алгоритм нахождения фиктивной переменной в булевой...
Ferrari F1
16.01.2016 10:28
1 298
Добрый день, можете подсказать, правильно ли я определил фиктивные переменные в функциях? 1)...
Ferrari F1
16.01.2016 10:12
0 111
Добрый вечер, можете пожалуйста помочь ответить на вопрос, кому не будет трудным?
Ferrari F1
15.01.2016 22:23
3 181
Доброго времени суток! Помогите, пожалуйста, разобраться с минимизацией функции методом Квайна. К...
LittleMonkey
15.01.2016 14:27
8 851
Вечер добрый, уважаемые форумчане! Интересует ответ на достаточно тривиальный вопрос, а именно....
woodbox
15.01.2016 11:02
3 329
Добрый день! Есть такое задание: Спроектировать клавишный пульт, работающий по такому алгоритму:...
Predgornoe
13.01.2016 04:11
1 262
нужно сделать до завтра!!!! очень срочно!!! помогите!!!
teckpaul1
12.01.2016 21:21
0 135
Здравствуйте. Мне нужна помощь с поиском теоретического материала по экзаменационным вопросам,...
blackhawkjkee
08.01.2016 23:10
3 276
изобразить множества истинности предикатов заданных на множестве R: НА КООРДИНАТНОЙ ПРЯМОЙ, (Х...
ольга марцева
07.01.2016 19:37
1 408
Является ли выражение заведомо ложным (A∪B)∩¬A
мишутка
05.01.2016 22:16
10 446
Помогите пожалуйста! Привести формулу XvY^Z к кнф Формулу X→(Y→Z) к днф
Offizirs
04.01.2016 12:01
6 1,064
Всем привет! помогите, пожалуйста, решить вот такую задачу. Буду очень благодарен, если вы...
IDmikael
03.01.2016 22:17
2 279
Доброго времени суток! Имеется ДНФ,требуется сократить используя правило Блейка и свойство...
roman88
03.01.2016 15:32
10 7,183
Добрый день! Как доказать равносильность формул ∃(F(x)^G(x)) и ∃F(x)^∃G(x)?
Pando
30.12.2015 13:15
5 216
Подскажите пожалуйста, какая кнф будет у этих формул ПС:тапками не...
Elvochka
29.12.2015 10:37
3 184
Помогите решить. P(x, y) := (х – 1)(х – 2) + 3х = у
_Ethereal
28.12.2015 21:09
11 372
Как доказать выводимость формул в исчислении высказываний?
adsllinkact
28.12.2015 12:43
7 1,227
Помогите решить пожалуйста. Правила форума :rtfm: 5.16. Запрещено создавать темы с...
_Ethereal
27.12.2015 16:41
0 138
Помогите, пожалуйста, доказать равенство множеств: ((A∪C)\B)∩C=((A∩C)∪C)\B Добавлено через 15...
Namatrasnik
27.12.2015 09:21
3 651
Т.Е. к формуле вида (Q1x1)...(Qmxm)(F(x1,...,xm)),где m<n, каждый Qi есть один из кванторов...
Whiteyeti
26.12.2015 18:55
5 1,073
Помогите, пожалуйста:( Проверьте равносильность следующих релейно-контактных схем:
Dreemar
26.12.2015 14:53
1 1,108
На множестве целых чисел Z определены предикаты П(x,y,z)=1\Leftrightarrow x·y=z и...
mmeexx
25.12.2015 17:18
6 472
Нужно найти двоичную форму функции через составление СДНФ и минимизацию СКНФ за ранее спасибо
Kypl1k
25.12.2015 11:42
1 316
Друзья помогите с заданием: Составить релейно-контактную схему, реализующую функцию проводимости...
Kypl1k
25.12.2015 04:46
2 368
Пожалуйста, помогите ответить на вопрос, с доказательством. Это доказательство принадлежности...
Eliz1
25.12.2015 01:33
2 151
Помогите пожалуйста, нужно доказать что функция sqrt(x) МНР-вычислима, пытался сделать но ничего не...
DreamAchiever
25.12.2015 00:50
0 135
Здравствуйте. Заинтересовал вопрос,от которого я в тупике,он кажется глупым,но всё же) Что есть...
Whoops
24.12.2015 22:49
1 748
Доброго времени суток, господа-товарищи. Выполнял минимизацию с помощью карт Карно и очень уж не...
Kimster
24.12.2015 20:00
0 119
Хелпуем братцы, нужно минимизировать логическую схему
Kypl1k
24.12.2015 16:26
2 170
По таблице переходов цифрового автомата модели Мура составить 4 карты Карно для каждого из 4...
Андрей Чернядье
23.12.2015 23:25
0 173
Здравствуйте. В университете дали задание,которое звучит так: Доказать,что следующая функция...
Whoops
23.12.2015 23:13
2 130
Формализовать логическое суждение, введя одноместные предикаты. Некоторые книги толстые и...
VxVxN
23.12.2015 23:09
3 805
knows(father(y),bill) и knows(x,z) найти унификатор
defetex
23.12.2015 15:24
1 741
доказать a\/(b/\c), ((a->c)/\(b->c))->((a\/b)->c)|=a->(b->(a\/c))
Dramz
23.12.2015 01:03
3 197
Необходимо подсчитать число булевых функций от n переменных принадлежащих множеству А: (S U T0) ∩...
Alemano
22.12.2015 22:29
2 1,120
Что не правильно в доказанной мною антирефлексивности и ассиметричности ?
Namatrasnik
22.12.2015 21:26
7 244
С помощью карт Карно найдите сокращенную, все тупиковые и минимальные ДНФ, КНФ булевой функции...
alenafed
22.12.2015 18:38
0 469
Найдите сокращенную, все тупиковые и минимальные ДНФ булевой функции f(x,y,z) двумя способами: ...
alenafed
22.12.2015 18:34
0 605
Добрый вечер. Нужна помощь с заданиями 6,7,8. Вообще не могу врубиться как их делать, остались...
loshadka
22.12.2015 00:35
1 200
Как выразить отрицание с помощью суперпозиции функций (v,^,=>, =)
defetex
21.12.2015 21:43
1 817
Как указать для измёнённой биективности {f}^{-1} ? Биективность выполняется, когда выполняется...
Namatrasnik
21.12.2015 20:09
7 308
Помогите решить 7,8,9.
Dramz
21.12.2015 19:59
1 154
Изобразите на диаграммах Эйлера-Венна область истинности для следующего предиката:
Victror
21.12.2015 15:09
4 810
построить наиболее экономичную логическую схему, функция проводимости которой удовлетворяет...
zalepugina95
21.12.2015 08:09
2 392
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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