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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,353 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,925
Обычные темы
 
     
 
Задать вопрос
Кубок оспаривали четыре команды: "Авангард" (А), "Богатырь" (Б), "Горизонт" (Г), "Победа" (П)....
Fastracer
09.05.2015 15:28
0 179
Добрый день, нехватка знаний не могу решить силлологизм, задали. Подскажите пожалуйста решение....
Яг
09.05.2015 04:58
10 413
«Если и X, и Y, то и Z, и не Y. Не Z или Y. Следовательно, не Y или не X».
Anyati
08.05.2015 18:38
0 474
« Неверно, что если студент сдает зачет по математической логике, то неверно, что его отчисляют от...
Anyati
08.05.2015 18:20
0 343
Здравствуйте. Необходимо, используя правила поглощения и склеивания для соседних элементарных...
Noobys
08.05.2015 15:35
4 811
3)Найдите форму {P^(Q V R)}→{(P^Q)v(P^R)} вvи┐.
Волен
07.05.2015 18:19
4 241
Укажите подмножества множеств {{∅,2},{2}}
Волен
07.05.2015 09:30
2 917
(P^ ┐Q)→Q
Волен
07.05.2015 08:28
1 263
Записать на языке логики предикатов определение антисимметричности бинарного отношения
Кристина525
07.05.2015 07:09
0 211
2)Пусть R1 и R2-отношения экв-ти на непустом А. Является ли данное отношение экв-ти на А. Док-те с...
Волен
07.05.2015 03:11
0 206
Как найти ДНФ и КНФ ?????
Mikan
06.05.2015 04:19
2 991
{Ɐx(A(x)˅ B(x)), ⱯxA(x)→ƎxQ(x), Ɐx(B(x)→Q(x))} → ƎxQ(x)
ElenaP0103
05.05.2015 21:14
0 275
Ǝy(A(y)→ Ǝx A(x))
ElenaP0103
05.05.2015 21:03
0 130
Здравствуйте! Помогите пожалуйста с задачей. Построить бинарное отношение со следующими...
ir24
05.05.2015 15:41
3 1,112
(y\vee (\bar{z}\wedge x))\rightarrow (\bar{z}\sim y). Помогите, пожалуйста, преобразовать в СКНФ...
Кристина525
05.05.2015 11:31
1 191
Доброго времени суток! Помогите пожалуйста решить задачу. Нужно построить функционально полную...
ir24
05.05.2015 10:39
2 978
Установить, является ли данная формула тождественно-истинной. Привести доказательство .
salfalkon
05.05.2015 03:15
1 1,014
Помогите пожалуйста
ElenaP0103
05.05.2015 00:26
1 242
Всем привет, вот схема в базисе и-или-не нужно перевести в ИЛИ-НЕ набросок есть, подскажите...
Fakeoke
04.05.2015 21:00
0 169
Помогите найти ошибку в приведении ((x\rightarrow y)\rightarrow (z\rightarrow \bar{x}))\rightarrow...
Eru Iluvatar
04.05.2015 07:42
1 183
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного...
salfalkon
03.05.2015 14:34
0 243
Здравствуйте, кто нибудь помогите доказать, что данная формула \left(\left(A\rightarrow B...
valdemarus
02.05.2015 17:13
2 713
Может ли кто-то прокомментировать данную задачу. Не понимаю, по какому принципу составлена...
game world
02.05.2015 06:49
1 697
Если не трудно упростить и диаграмму
arti96_ufa
30.04.2015 15:02
0 274
Здравствуйте) Пропустила тему, запуталась.... ЗАДАНИЕ Определить, является ли данный предикат:...
Юля_программист
30.04.2015 11:47
3 1,329
6. Является формула \exists x\forall yQ(x,y)\rightarrow\forall y\exists xQ(x,y) тавтологией?
Эрик Тед
30.04.2015 11:27
3 799
Помогите пожалуйста :cry: Задать всеми возможными способами бинарное отношение p на множестве...
Mikan
29.04.2015 13:59
1 837
Пожалуйста помогите с заданием. Если есть возможность подробно объяснить буду только рад)...
Hades
29.04.2015 03:43
2 488
Ребят,помогите... Доказать равенства, используя свойства операций над множествами и определения...
RedSunrise
28.04.2015 15:33
0 177
¬(xvy)<=>(¬x&¬y) заранее спасибо
niki-020696
28.04.2015 03:25
1 784
Помогите, пожалуйста, Заданы номера наборов аргументов, на которых логическая функция принимает...
lusha
27.04.2015 23:13
4 597
Есть такие соотношения Вопрос: если P(x) и Q(x) - есть предикат, то чем является Q (не Q(x), а...
Python
27.04.2015 19:41
0 144
4. Доказать равносильность c\rightarrow\forall x B(x)\equiv\forall x методом конкретизации.
Эрик Тед
26.04.2015 14:40
3 296
5. Найти отрицание формулы \forall x(A(x)\rightarrow B(x))v\bar{\exists xR(x)} и записать её в...
Эрик Тед
26.04.2015 10:29
2 535
Прошу помогите с заданием. Если есть возможность подробно объяснить буду только рад. Записать...
Hunter0050
25.04.2015 12:20
2 278
нужна срочная помощь, так как в мат.логе очень плохо разбираюсь. пожалуйста помогите! Добавлено...
Эрик Тед
23.04.2015 21:16
2 496
2. Изобразить на координатной плоскости область истинности предиката (\bar{y\geq 1}&((x<-1)v(y<2))
Эрик Тед
23.04.2015 19:20
0 192
3. Записать решение неравенства \log_{2x}({x}^{2}-5x+6)<1 в виде последовательности равносильных...
Эрик Тед
23.04.2015 19:20
0 241
7. Даны предикаты: Е(x): "x – чётное число"; D(x, y): “х делит у” или “у делится на х”. Перевести...
Эрик Тед
23.04.2015 19:20
0 182
помогите пожалуйста со следующими заданиями. я не совсем понимаю мат. логику, и мне срочно нужна...
Эрик Тед
23.04.2015 18:11
1 130
верно ли следующее утверждение ИВ,доказать. A -> B, A -> C, A -> -B |- A
arh42kem
23.04.2015 09:58
3 348
Для данной формулы булевой функции 1.Найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных ...
Аня В
23.04.2015 02:06
3 1,857
Привет, дорогие форумчане. Мне срочно нужна помощь. Нужно найти СКНФ такой булевой функции с...
RUsskaya
23.04.2015 01:39
9 366
Добрый вечер всем форумчанам! Скажите пожалуйста,можно ли таким образом обводить контурами?Для...
Anabolic
22.04.2015 20:23
0 337
Здравствуйте! Помогите пожалуйста, нужно сделать СКНФ Вот так я начал, дальше не знаю что...
xak512
22.04.2015 16:02
2 174
Хотела спросить насчет минимазиции функции с помощью карт карно.......
amm
22.04.2015 09:36
2 495
Доказать справедливость тождеств я чет ни как не пойму как доказывать :С
Mikan
22.04.2015 04:22
2 860
добрый день! такой вопрос: представим множество действительных чисел как универсальное множество....
MouseLI
22.04.2015 01:12
1 308
Определите количество булевых функций f(x1,x2,x3,x4), подчиненных условию: значения f(x1,x2,x3,x4)...
vlavik007
21.04.2015 22:27
1 1,188
Выяснить, какими из свойств: рефлексивность, антирефлексивность, симметричность,...
Владленка
21.04.2015 21:23
1 549
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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