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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,128 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,925
Обычные темы
 
     
 
Задать вопрос
!((A&B)&!C) \vdash (!(!A->!B)or(B->C)) \vdash - ЭТО СЛЕДОВАНИЕ, ! - ОТРИЦАНИЕ. КАК ТАКОЕ РЕШАТЬ?...
123456776
05.06.2015 19:50
1 181
1. Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в...
Krasnik95
05.06.2015 11:16
0 501
Помогите пожалуйста. 1. Установить, является ли данное выражение формулой, а если да, то...
Krasnik95
05.06.2015 11:14
0 223
Всем привет! Есть такое утверждение: "Если предел отношения двух бесконечно малых величин в...
goditsa8
04.06.2015 20:37
2 593
Доброго времени суток, уважаемые участники форума! Имеется бинарное отношение R = {x,y|x,y \in...
Avrelian
04.06.2015 01:50
11 1,571
собственно надо вывести вот это высказывание: !A -> (A -> B) из системы аксиом ну у нас были...
el_razor
03.06.2015 22:22
4 323
Добрый вечер! Помогите пожалуйста с построением таблицы по этому методу: Числа уже склеил...
__teXger__
03.06.2015 18:18
1 302
Для клауз необходимо придумать легенды. В принципе, задание не безумно сложное, но с фантазией у...
ezic
03.06.2015 18:00
0 266
Насколько я понял необходимо определить чему равно число элементов подмножества конечного...
Saym
03.06.2015 15:12
2 748
Помогите решить расчетно-графическую работу. Номер варианта 1, то есть в каждом задании сделать все...
BlaizLine
02.06.2015 22:55
0 166
Е-конечное множество X \subseteq 2^E; x,y \in X, u\in X; u \neq x,y; x\bigcup y \supseteq...
Nikolai699
02.06.2015 17:27
1 176
Здравствуйте. Нужна помощь с заданием. Записать следующие высказывания в виде формул логики...
RedDrag0n
02.06.2015 13:49
0 857
Помогите пожалуйста. Срочно! Желательно ответ расписать 1. Привести нетривиальные примеры...
AmiFol
01.06.2015 19:24
0 161
Есть такое регулярное выражение: ()*|(11)* Нужно дать перечень всех слов, длина которых <=5 ,...
Liori
01.06.2015 13:37
1 187
Подскажите, как минимизировать эту функцию методом Квайна f={0, 5, 6, 7, 8, 12, 13, (4, 12,...
Helldrake
01.06.2015 10:13
1 209
Доказать, что пустое множество является подмножеством любого множества. В предыдущей задаче мы...
Stiechtenoth
31.05.2015 18:13
1 280
Доказать, что множество A является подмножеством множества B тогда и только тогда, когда любой...
Stiechtenoth
31.05.2015 15:37
3 1,398
Ребят помогите пожалуйста, нужно решить задания с 1 по 4 номер, но я что-то основательно не помню...
ruTwit
31.05.2015 11:50
3 385
Здравствуйте, как можно использовав теорему дедукции и основные аксиомы формального исчисления...
ilya0610
30.05.2015 23:04
15 821
ссылка удалена вот такая днф, по ней надо построить сокращенную, а я не 3наю как( Добавлено...
senyalool
30.05.2015 15:43
4 591
Для функции (x\rightarrow (y\rightarrow \bar{z}))(y\bar{z}\rightarrow x) построить полином...
Stiechtenoth
29.05.2015 23:10
2 749
Приветствую! Есть выражение, построенное на основе схемы: (x\vee\bar{x})\wedge...
Supernatural
29.05.2015 13:40
3 271
Нужно доказать, что бинарные отношения не образуют группу относительно композиции (\circ) (обратным...
Dov
29.05.2015 12:45
7 496
Найти двойственную формулу,а)используя принцип двойственности, б)используя булевый принцип...
Romanova_A
29.05.2015 04:17
3 427
Необходимо посчитать трудоемкость алгоритма. Кто знает как посчитать оператор foreach?
SLImFIRE
28.05.2015 23:02
3 189
2w + 2w = 2w w - омега
lilianlarsen
28.05.2015 21:31
1 258
Как я понимаю, отношение эквивалентности: Транзитивно, Симметрично, рефлексивно. Как только...
arh42kem
28.05.2015 19:12
1 850
Помогите пожалуйста с заданием. Не знаю даже с какой стороны подойти к нему. Примеров нигде нет....
Анастасия1995
28.05.2015 14:35
0 163
Помогите плиз. Доказать справедливость тождеств: a) (A∪B) \B=A\B; b) A\(B∩A) =A\B;
QzzQ
28.05.2015 12:15
1 813
Как я понимаю будет транзитивно, антисимметрично?
arh42kem
27.05.2015 19:29
0 179
Здравствуйте! Есть такие исходные условия: Нужно найти множество Х? Подскажите, как это нужно...
mr_free
27.05.2015 19:27
2 124
Из 71 школьников в волейбол играют 51, футбол – 45, баскетбол – 31. Во все три игры играют 8 ребят,...
IrinaP
27.05.2015 14:51
7 635
\bar{(R\rightarrow Q)}\vee (Q\rightarrow\bar{R}) Нашел ДНФ \bar{Q}\vee\bar{R} , как КНФ найти не...
llownall
27.05.2015 07:31
5 342
Добрый день,подскажите,как дальше сделать переход к базису Шеффера? ...
n00bsteam
26.05.2015 21:45
8 1,065
Решая задачник Косторкина наткнулся на интересную задачу, осознать решение которой у меня никак не...
Potanin
26.05.2015 14:16
3 825
Помогите пожалуйста решить 3 задания ниже
parama7
25.05.2015 00:06
0 161
Напишите, пожалуйста, ответ на такое задание: нужно придумать такую формулу логики предикатов,...
William Blake
24.05.2015 16:29
0 262
Пожалуйста, помогите с решением этой системы. Необходимо решить систему уравнений относительно...
Urasis
24.05.2015 14:31
1 824
Ни кто не может подсказать хороший источник, где подробно и понятно объясняется как построить...
adamas16
23.05.2015 19:00
0 516
подскажите, имеется ли в этом графе мост, точки сочленения? как не рисовала этот граф, я этого не...
Кристина525
23.05.2015 06:58
0 234
Дорогие друзья, очень нуждаюсь в вашей помощи. Помогите разобраться с этой системой, очень...
Urasis
22.05.2015 23:03
0 177
Здравствуйте, кто знает вообще, как с этим работать, почитал теорию, вроде не такая сложная, но с...
ilya0610
22.05.2015 21:42
1 181
Нужна курсовая по теме. Если у кого то есть хоть какая то информация - буду очень признателен. ...
E}|{|/||{
22.05.2015 21:34
20 2,467
Дано отображение(функция): f(x)=(x-1)^{2} Дано множество: A= \left \lfloor 0.5; 3 \right...
Saym
22.05.2015 14:35
4 850
Упростите формулу в булевом базисе, представьте ее формулой в базисах Жегалкина, Пирса, Шеффера,...
SakinT
22.05.2015 05:34
3 848
Помогите с решением. Кое что уже сделал, дальше не пойму как.
Qwertyqwertyqwe
22.05.2015 03:17
2 199
Прошу помощи; сдавать уже завтра. Задача: Представить полином по модулю 3 функцию f4(x,y)=(001...
Toliko
21.05.2015 13:14
2 481
пусть T1 рекурсивная функция и мю y - оператор минимизации. Значит фи (x, x) = y по определению...
Kaligulaa
21.05.2015 00:56
3 482
Известно, что при отсутствии скобок установлен следующий порядок выполнения логических операций:...
Ellipsoid
20.05.2015 22:47
4 660
1)Дано логическое выражение, зависящее от 5 логических переменных: x1 /\ ¬x2 /\ x3 /\ ¬x4 /\ x5...
oak1996
20.05.2015 03:57
1 881
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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