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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,139,015 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,882
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
модулярна ли решетка разбиений 4х элементного множества?
serjAk
08.06.2015 14:48
0 177
Заранее спасибо за помощь!
Студентка77
08.06.2015 14:16
3 318
|-(A->B)->((B->b)->((b->D)->(A->D)))
Студентка77
08.06.2015 12:15
1 246
Собственно вот само утверждение: AΔB=(AΔC)Δ(BΔC) - оно истинно. Практическим способом, на...
WebJoky
07.06.2015 22:57
1 848
\bar{c} V \bar{ab} V \bar{a}c\bar{d} V ad Помогите пожалуйста ФАЛ 4.
troyan1997
07.06.2015 21:16
4 849
Есть задача: Необходимо реализовать программу(язык - Java, С++). Подскажите, как это можно...
Aecttann
07.06.2015 12:20
4 209
Упростите выражение для булевой функций: (x \rightarrow (y \vee z)) ((xz)’ \rightarrow y)
BlaizLine
07.06.2015 10:55
5 218
Постройте таблицу значений для булевой функции: (x \rightarrow (y \vee z)) ((xz)’ \rightarrow y)
BlaizLine
06.06.2015 22:13
1 863
Доказать что формула выводима в ИВ: ((A \wedge (B \wedge C)) \Leftrightarrow ((A \wedge B) \wedge...
BlaizLine
06.06.2015 22:06
1 356
Выяснить, является ли формула алгебры предикатов общезначимостью: Ǝx(P1(x))\wedgeƎxP2(x))...
BlaizLine
06.06.2015 22:04
1 226
Постройте релейно-контактную схему: (x \rightarrow (y \vee z)) ((xz)’ \rightarrow y)
BlaizLine
06.06.2015 20:01
3 563
С помощью равносильных преобразований упростите данную формулу: (P \rightarrow Q) \vee (P...
BlaizLine
06.06.2015 17:44
1 196
Постройте таблицу истинности: (P \rightarrow Q) \vee (P \rightarrow (Q \wedge P)))
BlaizLine
06.06.2015 17:23
1 174
Приведите данную формулу к СДН-форме и СКН-форме: (P \rightarrow Q) \vee (P \rightarrow (Q \wedge...
BlaizLine
06.06.2015 17:17
1 365
Какова мощность множества всех расходящихся рядов вещественных чисел? Помогите, пожалуйста,...
AlexanderKdr
05.06.2015 22:32
1 239
!((A&B)&!C) \vdash (!(!A->!B)or(B->C)) \vdash - ЭТО СЛЕДОВАНИЕ, ! - ОТРИЦАНИЕ. КАК ТАКОЕ РЕШАТЬ?...
123456776
05.06.2015 19:50
1 180
1. Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в...
Krasnik95
05.06.2015 11:16
0 493
Помогите пожалуйста. 1. Установить, является ли данное выражение формулой, а если да, то...
Krasnik95
05.06.2015 11:14
0 220
Всем привет! Есть такое утверждение: "Если предел отношения двух бесконечно малых величин в...
goditsa8
04.06.2015 20:37
2 585
Доброго времени суток, уважаемые участники форума! Имеется бинарное отношение R = {x,y|x,y \in...
Avrelian
04.06.2015 01:50
11 1,548
собственно надо вывести вот это высказывание: !A -> (A -> B) из системы аксиом ну у нас были...
el_razor
03.06.2015 22:22
4 316
Добрый вечер! Помогите пожалуйста с построением таблицы по этому методу: Числа уже склеил...
__teXger__
03.06.2015 18:18
1 301
Для клауз необходимо придумать легенды. В принципе, задание не безумно сложное, но с фантазией у...
ezic
03.06.2015 18:00
0 264
Насколько я понял необходимо определить чему равно число элементов подмножества конечного...
Saym
03.06.2015 15:12
2 708
Помогите решить расчетно-графическую работу. Номер варианта 1, то есть в каждом задании сделать все...
BlaizLine
02.06.2015 22:55
0 162
Е-конечное множество 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 174
Здравствуйте. Нужна помощь с заданием. Записать следующие высказывания в виде формул логики...
RedDrag0n
02.06.2015 13:49
0 822
Помогите пожалуйста. Срочно! Желательно ответ расписать 1. Привести нетривиальные примеры...
AmiFol
01.06.2015 19:24
0 157
Есть такое регулярное выражение: ()*|(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 199
Доказать, что пустое множество является подмножеством любого множества. В предыдущей задаче мы...
Stiechtenoth
31.05.2015 18:13
1 256
Доказать, что множество A является подмножеством множества B тогда и только тогда, когда любой...
Stiechtenoth
31.05.2015 15:37
3 1,239
Ребят помогите пожалуйста, нужно решить задания с 1 по 4 номер, но я что-то основательно не помню...
ruTwit
31.05.2015 11:50
3 383
Здравствуйте, как можно использовав теорему дедукции и основные аксиомы формального исчисления...
ilya0610
30.05.2015 23:04
15 791
ссылка удалена вот такая днф, по ней надо построить сокращенную, а я не 3наю как( Добавлено...
senyalool
30.05.2015 15:43
4 558
Для функции (x\rightarrow (y\rightarrow \bar{z}))(y\bar{z}\rightarrow x) построить полином...
Stiechtenoth
29.05.2015 23:10
2 689
Приветствую! Есть выражение, построенное на основе схемы: (x\vee\bar{x})\wedge...
Supernatural
29.05.2015 13:40
3 265
Нужно доказать, что бинарные отношения не образуют группу относительно композиции (\circ) (обратным...
Dov
29.05.2015 12:45
7 489
Найти двойственную формулу,а)используя принцип двойственности, б)используя булевый принцип...
Romanova_A
29.05.2015 04:17
3 396
Необходимо посчитать трудоемкость алгоритма. Кто знает как посчитать оператор foreach?
SLImFIRE
28.05.2015 23:02
3 188
2w + 2w = 2w w - омега
lilianlarsen
28.05.2015 21:31
1 253
Как я понимаю, отношение эквивалентности: Транзитивно, Симметрично, рефлексивно. Как только...
arh42kem
28.05.2015 19:12
1 772
Помогите пожалуйста с заданием. Не знаю даже с какой стороны подойти к нему. Примеров нигде нет....
Анастасия1995
28.05.2015 14:35
0 158
Помогите плиз. Доказать справедливость тождеств: a) (A∪B) \B=A\B; b) A\(B∩A) =A\B;
QzzQ
28.05.2015 12:15
1 810
Как я понимаю будет транзитивно, антисимметрично?
arh42kem
27.05.2015 19:29
0 172
Здравствуйте! Есть такие исходные условия: Нужно найти множество Х? Подскажите, как это нужно...
mr_free
27.05.2015 19:27
2 123
Из 71 школьников в волейбол играют 51, футбол – 45, баскетбол – 31. Во все три игры играют 8 ребят,...
IrinaP
27.05.2015 14:51
7 586
\bar{(R\rightarrow Q)}\vee (Q\rightarrow\bar{R}) Нашел ДНФ \bar{Q}\vee\bar{R} , как КНФ найти не...
llownall
27.05.2015 07:31
5 334
Добрый день,подскажите,как дальше сделать переход к базису Шеффера? ...
n00bsteam
26.05.2015 21:45
8 946
Решая задачник Косторкина наткнулся на интересную задачу, осознать решение которой у меня никак не...
Potanin
26.05.2015 14:16
3 820
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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