| Задать вопрос |
|
Найдите множество истинности для следующих одноместных предикатов, заданных на указанном множестве...
|
18.05.2020 16:36
|
1 |
1,632 |
|
|
Есть предложение: Собака зубами разгрызла кость. Граф выглядит так:
собака: *Х <- (агент) -...
|
18.05.2020 02:10
|
0 |
356 |
|
|
|
17.05.2020 20:32
|
1 |
915 |
|
|
2) На множестве M={1,2,3,…,20} заданы предикаты: А(x): «число x делится на 3», B(x): «число x...
|
17.05.2020 20:30
|
1 |
940 |
|
|
1) Или Анна и Антон одного возраста, или Анна старше Антона. Если Анна и Антон одного возраста, то...
|
17.05.2020 20:26
|
1 |
3,566 |
|
|
Помогите доказать примитивную рекурсивность функции с использованием оператора суперпозиции и...
|
17.05.2020 20:25
|
1 |
667 |
|
|
Здравствуйте! Давно мирюсь с тем, что в русскоязычной литературе (не буду утверждать, что всей,...
|
17.05.2020 02:15
|
5 |
2,247 |
|
|
СРОЧНО!Даны две посылки.Найдите следствие из посылок,содержащее только переменные x и z....
|
16.05.2020 16:39
|
1 |
1,654 |
|
|
1) (∃x)(B(x))⇒(∀x)(B(x))
2) (∀x)(P(x))⇒P(y)
3) (∀x)((P(x)∧Q(x)R(x))⇒(∃y)(7(S(x)))
4)...
|
16.05.2020 16:29
|
1 |
862 |
|
|
1. Доказать общезначимость формул:
1). ∃x(P (y) → P (x))
2). ∀xP (x) → ∃xP (x);
3). ∀x(P...
|
15.05.2020 13:39
|
1 |
4,598 |
|
|
Ввести необходимые предикаты и построить формулу алгебры предикатов, выражающую следующее...
|
14.05.2020 19:42
|
3 |
560 |
|
1. Доказать, что для любого натурального n справедливо равенство:
13+33+53+…+(2n-1)3=n2(2n2-1)
...
|
14.05.2020 18:00
|
1 |
522 |
|
|
Пусть предметная область D={1,2}. Какое множество значений имеет трехместный ион А(а,b,c)? Указать...
|
14.05.2020 15:22
|
1 |
1,103 |
|
|
|
14.05.2020 08:03
|
3 |
641 |
|
|
|
14.05.2020 05:45
|
1 |
498 |
|
|
упростить ркс под цифрами 1,2,4,5,6
|
14.05.2020 01:36
|
1 |
635 |
|
|
Составить ркс для формул под цифрами 3 и 4
|
14.05.2020 01:35
|
1 |
514 |
|
|
|
14.05.2020 01:35
|
1 |
369 |
|
|
Проверьте правильность рассуждений, записав их в виде формул и используя свойства логического...
|
14.05.2020 00:19
|
5 |
2,431 |
|
|
Доброго времени суток, такие дела: задали работу а чего то вообще не понимаю, помогите.
Вместо...
|
13.05.2020 22:28
|
1 |
566 |
|
|
Какие из следующих правил Мегафона эквивалентны между собой: а) Все входящие звонки бесплатны. б)...
|
13.05.2020 20:33
|
9 |
1,297 |
|
|
На множестве N*Nзадано отношение <x,y>R<u,v> \Leftrightarrow x+v=y+u. Какими свойствами обладает...
|
13.05.2020 12:53
|
12 |
1,149 |
|
|
Доказать,что A=B \Leftrightarrow (A \setminus B) \cup (B \setminus A) = \emptyset
|
13.05.2020 12:29
|
3 |
371 |
|
|
A\backslash(B\cup C)=(A\backslash B)\cap(A\backslash C)
|
13.05.2020 05:49
|
4 |
400 |
|
|
Нужно построить вывод формулы в аксиоматической теории Чёрча. Как это возможно сделать?...
|
12.05.2020 18:37
|
1 |
1,039 |
|
|
\left(x\rightarrow y \right)\wedge\left(x\vee y\wedge z \right)\wedge\left(x\rightarrow z...
|
12.05.2020 18:15
|
1 |
1,029 |
|
|
\bar{x\rightarrow y}\wedge\bar{x\wedge y}\vee y
|
12.05.2020 18:10
|
1 |
1,028 |
|
|
x\wedge \left(\bar{y}\wedge z\vee x\vee y \right)
|
12.05.2020 18:04
|
1 |
1,198 |
|
|
x\wedge y\wedge z\vee \bar{x\wedge y\wedge z}\vee \bar{x}\wedge y
|
12.05.2020 18:00
|
1 |
1,210 |
|
|
x\wedge y\vee\bar{y\wedge z}\vee y
|
12.05.2020 17:58
|
2 |
1,100 |
|
|
\bar{x\wedge y\wedge z}\vee x\wedge \bar{y\wedge z}\vee x\wedge y\wedge z
|
12.05.2020 16:08
|
1 |
380 |
|
|
Помогите пожалуйста, последнее задание в лабе. Не знаю как делать. Буду очень благодарна
|
12.05.2020 15:59
|
0 |
1,709 |
|
|
|
12.05.2020 13:45
|
1 |
732 |
|
|
Покажите, каким образом решается данная вещь
|
12.05.2020 09:30
|
0 |
1,550 |
|
|
Упростите логическое выражение. Правильность упрощения проверьте с помощью таблиц истинности для...
|
11.05.2020 21:30
|
1 |
1,191 |
|
|
Преподаватель сказал, что рассуждения неверные и я путаю понятия... Помогите, пожалуйста, нуно...
|
11.05.2020 17:46
|
0 |
402 |
|
|
Доброго времени суток. Разбирал тему преобразования логических выражений и столкнулся со следующим...
|
11.05.2020 15:45
|
4 |
1,882 |
|
|
Формулировка:
Докажите NP-полноту языка DISJOINTCLIQUES= {G, k | среди вершин графа G можно...
|
11.05.2020 13:20
|
5 |
1,187 |
|
|
Добрый вечер! Помогите упростить логическую функцию методом непосредственных преобразований Сам...
|
10.05.2020 19:50
|
2 |
1,242 |
|
|
Упростите логическое выражение.
Инвертирование обозначу как ' т.к. в редакторе формул вообще...
|
10.05.2020 18:02
|
3 |
1,336 |
|
|
Как выяснить полна ли система функций?
{(X\vee Y)\rightarrow Z, (X\oplus Y)\vee (notX\oplus notY)}
|
10.05.2020 17:24
|
2 |
613 |
|
|
Дополнить бинарное отношение G до минимального отношения эквивалентности на множестве А и выписать...
|
10.05.2020 01:55
|
1 |
1,124 |
|
|
(∃x) (P(x)) → (∀x)(P(x))
Помогите составить таблицу истинности
Добавлено через 14 минут...
|
10.05.2020 01:53
|
1 |
1,461 |
|
|
Пусть A = , где L – множество людей, f – соответствие, определяющее предикатные символы.Записать в...
|
10.05.2020 01:48
|
1 |
1,518 |
|
|
Нужно доказать, что инвертированное полностью (A̅*B̅) + A*B*C) равно A*B̅ + A̅*В + A*C̅ с помощью...
|
09.05.2020 16:37
|
2 |
1,314 |
|
|
Формулировка:
Докажите NP-полноту языка CUBICSUBGRAPH, состоящего из таких графов G, в которых...
|
08.05.2020 22:12
|
5 |
693 |
|
|
Пусть (x, y) принадлежат R2, P(x) = "x>=0". Определите и изобразите на действительной
плоскости...
|
08.05.2020 20:39
|
8 |
6,899 |
|
|
Какие из следующих высказываний эквивалентны между собой, если для любых x и y значения истинности...
|
08.05.2020 02:37
|
2 |
5,432 |
|
|
Проверьте правильность рассуждений, записав их в виде формул и используя свойства логического...
|
07.05.2020 20:50
|
3 |
2,344 |
|
|
Используя основные законы и соотношения булевой алгебры, выполнить эквивалентные пре-образования...
|
07.05.2020 19:31
|
1 |
861 |
| Задать вопрос |
|
IndentationError
|
|
0 |
7718 |
|
|
Mr. Docker
|
|
0 |
6337 |
|
|
EggHead
|
|
0 |
7883 |
|
|
EggHead
|
|
0 |
8635 |
|
|
EggHead
|
|
0 |
4873 |
|
|
Javaican
|
|
0 |
2415 |
|
|
EggHead
|
|
0 |
4485 |
|
|
Codd
|
|
0 |
8990 |
