| Задать вопрос |
|
Здравствуйте)
Пропустила тему, запуталась....
ЗАДАНИЕ
Определить, является ли данный предикат:...
|
30.04.2015 11:47
|
3 |
4,593 |
|
|
6. Является формула \exists x\forall yQ(x,y)\rightarrow\forall y\exists xQ(x,y) тавтологией?
|
30.04.2015 11:27
|
3 |
1,776 |
|
|
Помогите пожалуйста :cry:
Задать всеми возможными способами бинарное отношение p на множестве...
|
29.04.2015 13:59
|
1 |
2,204 |
|
|
Пожалуйста помогите с заданием.
Если есть возможность подробно объяснить буду только рад)...
|
29.04.2015 03:43
|
2 |
1,634 |
|
|
Ребят,помогите...
Доказать равенства, используя свойства операций над множествами и определения...
|
28.04.2015 15:33
|
0 |
588 |
|
|
¬(xvy)<=>(¬x&¬y)
заранее спасибо
|
28.04.2015 03:25
|
1 |
1,219 |
|
|
Помогите, пожалуйста,
Заданы номера наборов аргументов, на которых логическая функция принимает...
|
27.04.2015 23:13
|
4 |
3,437 |
|
|
Есть такие соотношения
Вопрос: если P(x) и Q(x) - есть предикат, то чем является Q (не Q(x), а...
|
27.04.2015 19:41
|
0 |
546 |
|
|
4. Доказать равносильность c\rightarrow\forall x B(x)\equiv\forall x методом конкретизации.
|
26.04.2015 14:40
|
3 |
796 |
|
|
5. Найти отрицание формулы \forall x(A(x)\rightarrow B(x))v\bar{\exists xR(x)} и записать её в...
|
26.04.2015 10:29
|
2 |
3,463 |
|
|
Прошу помогите с заданием.
Если есть возможность подробно объяснить буду только рад.
Записать...
|
25.04.2015 12:20
|
2 |
660 |
|
|
нужна срочная помощь, так как в мат.логе очень плохо разбираюсь. пожалуйста помогите!
Добавлено...
|
23.04.2015 21:16
|
2 |
1,691 |
|
|
2. Изобразить на координатной плоскости область истинности предиката (\bar{y\geq 1}&((x<-1)v(y<2))
|
23.04.2015 19:20
|
0 |
594 |
|
|
3. Записать решение неравенства \log_{2x}({x}^{2}-5x+6)<1 в виде последовательности равносильных...
|
23.04.2015 19:20
|
0 |
875 |
|
|
7. Даны предикаты: Е(x): "x – чётное число"; D(x, y): “х делит у” или “у делится на х”. Перевести...
|
23.04.2015 19:20
|
0 |
883 |
|
помогите пожалуйста со следующими заданиями. я не совсем понимаю мат. логику, и мне срочно нужна...
|
23.04.2015 18:11
|
1 |
463 |
|
|
верно ли следующее утверждение ИВ,доказать.
A -> B, A -> C, A -> -B |- A
|
23.04.2015 09:58
|
3 |
1,007 |
|
|
Для данной формулы булевой функции
1.Найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных ...
|
23.04.2015 02:06
|
3 |
6,486 |
|
|
Привет, дорогие форумчане. Мне срочно нужна помощь. Нужно найти СКНФ такой булевой функции с...
|
23.04.2015 01:39
|
9 |
799 |
|
|
Добрый вечер всем форумчанам!
Скажите пожалуйста,можно ли таким образом обводить контурами?Для...
|
22.04.2015 20:23
|
0 |
610 |
|
|
Здравствуйте! Помогите пожалуйста, нужно сделать СКНФ
Вот так я начал, дальше не знаю что...
|
22.04.2015 16:02
|
2 |
587 |
|
|
Хотела спросить насчет минимазиции функции с помощью карт карно.......
|
22.04.2015 09:36
|
2 |
1,154 |
|
|
Доказать справедливость тождеств
я чет ни как не пойму как доказывать :С
|
22.04.2015 04:22
|
2 |
1,479 |
|
|
добрый день! такой вопрос:
представим множество действительных чисел как универсальное множество....
|
22.04.2015 01:12
|
1 |
1,173 |
|
|
Определите количество булевых функций f(x1,x2,x3,x4), подчиненных условию: значения f(x1,x2,x3,x4)...
|
21.04.2015 22:27
|
1 |
4,781 |
|
|
Выяснить, какими из свойств: рефлексивность, антирефлексивность, симметричность,...
|
21.04.2015 21:23
|
1 |
1,627 |
|
|
привести пример бинарного отношения, заданного на множестве Д, которое:
а) является симметричным,...
|
21.04.2015 21:21
|
1 |
1,423 |
|
|
исследовать на инъективность, сюръекивность и биективность отображение
f: R-> R, f(x)=x в квадрате...
|
21.04.2015 21:11
|
1 |
3,974 |
|
|
Пусть A и B - множества. доказать, что A = B.
1. Берём произвольный элемент a ∈ A и...
|
21.04.2015 17:12
|
6 |
2,162 |
|
|
Здравствуйте. Сколько есть шестизначных натуральных чисел, десятичная запись которых содержит...
|
21.04.2015 16:50
|
5 |
1,391 |
|
|
Здравствуйте. Хотелось бы узнать ответ на два вопроса -
Существует ли СДНФ у тождественно...
|
21.04.2015 15:09
|
8 |
1,749 |
|
|
Здравствуйте. Очень нужна помощь по нахождению СКНФ такой БФ
|
21.04.2015 14:58
|
8 |
579 |
|
|
синтезировать в булевом базисе и в базисе И-НЕ,
неx1х2нех3х4 \/нех1нех2 \/х1х2\/ х3
|
21.04.2015 14:08
|
1 |
476 |
|
|
С<->(A∧B)
|
21.04.2015 10:03
|
3 |
520 |
|
|
Помогите пожалуйста с решением
|
20.04.2015 23:15
|
0 |
738 |
|
|
Дана клауза (А -> С) -> ( -А & В) =>А v В
Нужно доказать клаузу аксиоматическим методом.Помогите...
|
20.04.2015 04:59
|
9 |
1,603 |
|
|
Рассмотрим множество действительных чисел как универсальное множество. Определим мно-
жества: A =...
|
19.04.2015 19:51
|
2 |
1,374 |
|
|
Выразить функцию f = I5(x)j2(y) через функцию Вебба V6(x,y).
Помогите пожалуйста с этим заданием,...
|
19.04.2015 16:07
|
0 |
535 |
|
|
Вот задание, я не понимаю вообще
|
19.04.2015 10:27
|
0 |
534 |
|
|
P\subseteq \mathbb{R}^{2},(x,y)\in P\Leftrightarrow x+1=y
Является ли заданное отношение Р...
|
19.04.2015 08:43
|
5 |
1,305 |
|
|
Помогите пожалуйста,всю голову сломала!
Запишите с помощью логических символов предложение:...
|
19.04.2015 07:49
|
0 |
1,704 |
|
|
Друзья, может кто-нибудь в рунете встречал программную реализацию метода резолюций ? Поделитесь...
|
18.04.2015 12:52
|
0 |
584 |
|
|
Нужно упростить выражение до операций ИЛИ;НЕ. Чтобы можно было построить по ним блоки
|
17.04.2015 21:14
|
1 |
550 |
|
|
1...У меня КНФ получилась равна 0. Может такое быть?
2...Раз формула является тождественным 0,...
|
17.04.2015 21:07
|
4 |
3,422 |
|
|
Подскажите задачник по дискретной математике. Сейчас только на первых ступенях изучаю множества и...
|
17.04.2015 20:16
|
1 |
617 |
|
|
Ребята, помогите, пожалуйста решить задачку...
В доме имеется три квартиры. В первой живет семья...
|
17.04.2015 01:01
|
6 |
2,089 |
|
|
Помогите минимизировать функцию алгебры логики (+ - Дизьюнкция; * - коньюнкция)
СКНФ:...
|
16.04.2015 22:06
|
3 |
1,537 |
|
|
Помогите я сделал только 5.
|
14.04.2015 23:48
|
1 |
1,286 |
|
|
Доказать примитивную рекурсивность функции f(x)=сумма делителей числа х, при этом f(x)=0. Можно...
|
14.04.2015 23:40
|
1 |
3,533 |
|
|
Буду очень благодарен за помощь
x*(x->y)
(x->y)->(y->x)
|
14.04.2015 21:11
|
2 |
3,188 |
| Задать вопрос |
|
IndentationError
|
|
0 |
5174 |
|
|
Mr. Docker
|
|
0 |
5070 |
|
|
EggHead
|
|
0 |
7048 |
|
|
EggHead
|
|
0 |
7109 |
|
|
EggHead
|
|
0 |
4287 |
|
|
Javaican
|
|
0 |
1861 |
|
|
EggHead
|
|
0 |
3545 |
|
|
Codd
|
|
0 |
7538 |
