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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,138,843 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,881
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
(1,3) (1.4) (2.2) (3.3) (4.3) (4,4) Вопрос об антсимметричности: нет "перевертышей" для 1.3 1.4...
Saym
11.05.2015 13:14
0 131
Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы...
Anyati
11.05.2015 10:36
1 1,109
Сакральный в переводе с латинского есть священный, религиозный Определения делятся на номинальные...
Nastusya
10.05.2015 20:48
2 164
помогие решить ЗАДАЧА 1. Условия работы комбинационного устройства, имеющего четыре входа и один...
олежич
10.05.2015 15:04
0 399
На множестве М×М задано бинарное отношение G⊆M×M с действием G(n) = m, n,m ∈M, при этом M =...
Jaeger
10.05.2015 10:14
0 173
Пожалуйста помогите! С помощью законов алгебры логики и формул минимизации минимизировать функцию:...
asv2b
10.05.2015 07:39
0 247
У меня с другом возник спор о том как будет выглядеть данное равенство с помощью диаграммы Венна. И...
Daveper
10.05.2015 01:22
0 160
Кубок оспаривали четыре команды: "Авангард" (А), "Богатырь" (Б), "Горизонт" (Г), "Победа" (П)....
Fastracer
09.05.2015 15:28
0 177
Добрый день, нехватка знаний не могу решить силлологизм, задали. Подскажите пожалуйста решение....
Яг
09.05.2015 04:58
10 383
«Если и X, и Y, то и Z, и не Y. Не Z или Y. Следовательно, не Y или не X».
Anyati
08.05.2015 18:38
0 459
« Неверно, что если студент сдает зачет по математической логике, то неверно, что его отчисляют от...
Anyati
08.05.2015 18:20
0 322
Здравствуйте. Необходимо, используя правила поглощения и склеивания для соседних элементарных...
Noobys
08.05.2015 15:35
4 808
3)Найдите форму {P^(Q V R)}→{(P^Q)v(P^R)} вvи┐.
Волен
07.05.2015 18:19
4 239
Укажите подмножества множеств {{∅,2},{2}}
Волен
07.05.2015 09:30
2 917
(P^ ┐Q)→Q
Волен
07.05.2015 08:28
1 258
Записать на языке логики предикатов определение антисимметричности бинарного отношения
Кристина525
07.05.2015 07:09
0 202
2)Пусть R1 и R2-отношения экв-ти на непустом А. Является ли данное отношение экв-ти на А. Док-те с...
Волен
07.05.2015 03:11
0 190
Как найти ДНФ и КНФ ?????
Mikan
06.05.2015 04:19
2 931
{Ɐx(A(x)˅ B(x)), ⱯxA(x)→ƎxQ(x), Ɐx(B(x)→Q(x))} → ƎxQ(x)
ElenaP0103
05.05.2015 21:14
0 264
Ǝy(A(y)→ Ǝx A(x))
ElenaP0103
05.05.2015 21:03
0 129
Здравствуйте! Помогите пожалуйста с задачей. Построить бинарное отношение со следующими...
ir24
05.05.2015 15:41
3 1,094
(y\vee (\bar{z}\wedge x))\rightarrow (\bar{z}\sim y). Помогите, пожалуйста, преобразовать в СКНФ...
Кристина525
05.05.2015 11:31
1 189
Доброго времени суток! Помогите пожалуйста решить задачу. Нужно построить функционально полную...
ir24
05.05.2015 10:39
2 926
Установить, является ли данная формула тождественно-истинной. Привести доказательство .
salfalkon
05.05.2015 03:15
1 957
Помогите пожалуйста
ElenaP0103
05.05.2015 00:26
1 240
Всем привет, вот схема в базисе и-или-не нужно перевести в ИЛИ-НЕ набросок есть, подскажите...
Fakeoke
04.05.2015 21:00
0 167
Помогите найти ошибку в приведении ((x\rightarrow y)\rightarrow (z\rightarrow \bar{x}))\rightarrow...
Eru Iluvatar
04.05.2015 07:42
1 180
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного...
salfalkon
03.05.2015 14:34
0 227
Здравствуйте, кто нибудь помогите доказать, что данная формула \left(\left(A\rightarrow B...
valdemarus
02.05.2015 17:13
2 656
Может ли кто-то прокомментировать данную задачу. Не понимаю, по какому принципу составлена...
game world
02.05.2015 06:49
1 664
Если не трудно упростить и диаграмму
arti96_ufa
30.04.2015 15:02
0 265
Здравствуйте) Пропустила тему, запуталась.... ЗАДАНИЕ Определить, является ли данный предикат:...
Юля_программист
30.04.2015 11:47
3 1,251
6. Является формула \exists x\forall yQ(x,y)\rightarrow\forall y\exists xQ(x,y) тавтологией?
Эрик Тед
30.04.2015 11:27
3 787
Помогите пожалуйста :cry: Задать всеми возможными способами бинарное отношение p на множестве...
Mikan
29.04.2015 13:59
1 832
Пожалуйста помогите с заданием. Если есть возможность подробно объяснить буду только рад)...
Hades
29.04.2015 03:43
2 479
Ребят,помогите... Доказать равенства, используя свойства операций над множествами и определения...
RedSunrise
28.04.2015 15:33
0 175
¬(xvy)<=>(¬x&¬y) заранее спасибо
niki-020696
28.04.2015 03:25
1 780
Помогите, пожалуйста, Заданы номера наборов аргументов, на которых логическая функция принимает...
lusha
27.04.2015 23:13
4 549
Есть такие соотношения Вопрос: если P(x) и Q(x) - есть предикат, то чем является Q (не Q(x), а...
Python
27.04.2015 19:41
0 140
4. Доказать равносильность c\rightarrow\forall x B(x)\equiv\forall x методом конкретизации.
Эрик Тед
26.04.2015 14:40
3 294
5. Найти отрицание формулы \forall x(A(x)\rightarrow B(x))v\bar{\exists xR(x)} и записать её в...
Эрик Тед
26.04.2015 10:29
2 464
Прошу помогите с заданием. Если есть возможность подробно объяснить буду только рад. Записать...
Hunter0050
25.04.2015 12:20
2 274
нужна срочная помощь, так как в мат.логе очень плохо разбираюсь. пожалуйста помогите! Добавлено...
Эрик Тед
23.04.2015 21:16
2 463
2. Изобразить на координатной плоскости область истинности предиката (\bar{y\geq 1}&((x<-1)v(y<2))
Эрик Тед
23.04.2015 19:20
0 191
3. Записать решение неравенства \log_{2x}({x}^{2}-5x+6)<1 в виде последовательности равносильных...
Эрик Тед
23.04.2015 19:20
0 240
7. Даны предикаты: Е(x): "x – чётное число"; D(x, y): “х делит у” или “у делится на х”. Перевести...
Эрик Тед
23.04.2015 19:20
0 180
помогите пожалуйста со следующими заданиями. я не совсем понимаю мат. логику, и мне срочно нужна...
Эрик Тед
23.04.2015 18:11
1 128
верно ли следующее утверждение ИВ,доказать. A -> B, A -> C, A -> -B |- A
arh42kem
23.04.2015 09:58
3 339
Для данной формулы булевой функции 1.Найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных ...
Аня В
23.04.2015 02:06
3 1,717
Привет, дорогие форумчане. Мне срочно нужна помощь. Нужно найти СКНФ такой булевой функции с...
RUsskaya
23.04.2015 01:39
9 355
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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