| Задать вопрос |
|
Привет. В общем мне нужно решить лабораторную по машине Тьюринга, но проблема в том, что к этой...
|
28.11.2025 02:33
|
0 |
296 |
|
|
Имеется текст
Мне не понятно почему используется знак верхнего подчеркивания (выделено красным...
|
11.08.2025 14:28
|
6 |
1,047 |
|
|
Здравствуйте. Хочу написать олимпиаду Газпром по информатике за 11 класс, в методических указаниях...
|
06.08.2025 16:52
|
2 |
733 |
|
|
Коллеги, добрый день! Кто-нибудь знает как записать основную теорему арифметики (о разложении...
|
22.04.2025 22:31
|
8 |
1,376 |
|
|
Здравствуйте.
Значения битовых операций &,^, ... задаются в т.ч. с помощью таблиц истинности.
...
|
16.04.2025 11:30
|
5 |
1,630 |
|
|
Доказать что левая формула выводится из правой , используя только аксиомы исчисления высказываний,...
|
16.04.2025 11:01
|
7 |
2,025 |
|
|
Доказать, что НОК (наименьшее общее кратное) есть ПРФ(примитивно рекурсивная функция).
С чего...
|
19.01.2025 21:11
|
28 |
6,121 |
|
|
Не утерян ли смысл записи, при описании полного такта с помощью временных интервалов единицы и нуля...
|
05.01.2025 22:54
|
0 |
505 |
|
|
(A → B); (A → (¬B ∨ C)) ⊢ (A → C)
|
12.12.2024 21:07
|
1 |
817 |
|
|
Доказать общезначимость методом симантических таблиц.
\ \forall x (P_1(x) \rightarrow...
|
07.12.2024 17:39
|
5 |
1,919 |
|
|
¬(x∨y∨z)∨¬xy¬z∨xyz∨¬(¬x∨y∨¬z)
фиктивной переменной является y
|
01.12.2024 15:50
|
4 |
742 |
|
|
Помогите пожалуйста найти мднф на основе импликантной таблицы.
|
31.10.2024 18:45
|
1 |
1,406 |
|
|
Добрый день!
Подскажите, чем отличаются знаки "больше", "меньше" с прямыми и изогнутыми линиями?...
|
25.10.2024 19:42
|
1 |
973 |
|
|
1. Существуют ли такие множества A, B, X, для которых выполняется набор условий A \ B = X \ A = ∅,...
|
17.10.2024 19:02
|
7 |
950 |
|
|
1. Для данного соответствия P ⊆ X × Y определите набор свойств, которыми оно обладает.
2....
|
17.10.2024 17:32
|
1 |
648 |
|
|
Добрый день!
Задача из учебника:
Основные понятия теории игр : учебное пособие / А. Г. Кремлев....
|
04.10.2024 17:04
|
2 |
798 |
|
|
Используя операции реляционной алгебры составление запросов с использованием специальных и базовых...
|
27.09.2024 12:52
|
0 |
595 |
|
|
Здравствуйте, помогите решить задачу.
Сколько существует отношений на множестве из n элементов:...
|
23.09.2024 19:40
|
4 |
942 |
|
|
Вопрос) Некий любитель приключений отправился в кругосветное путешествие на яхте, оснащённой...
|
19.09.2024 17:00
|
2 |
1,142 |
|
|
3.Новый Офис расположен на кольцевой дороге радиуса 5 км. Саша живёт на той же кольцевой дороге в...
|
30.08.2024 14:39
|
6 |
1,139 |
|
|
Всем привет!
Дано:
В прямоугольных координатах xOy существует группа точек -...
|
27.08.2024 17:09
|
1 |
733 |
|
|
5.Номер места в Опенспейсе — 10 цифр, начиная с 0000000000 и заканчивая 9999999999 (т.е. всего...
|
26.08.2024 16:08
|
1 |
1,167 |
|
|
1.Подсловом некоторого слова W называется слово, получаемое из W выкидыванием одной или...
|
26.08.2024 09:15
|
0 |
642 |
|
|
1. Формулировка Великой Теоремы Ферма, ВТФ: для любого натурального числа n>2 уравнение an+bn=cn не...
|
28.07.2024 13:25
|
14 |
3,477 |
|
|
Постройте наиболее простую РКС по заданным условиям работы
Правила форума, пункт 4.7. Как можно...
|
23.06.2024 09:40
|
3 |
890 |
|
|
Напиши решение пожалуйста задачи. С помощью преобразования найти СДНФ и СКНФ по формуле:...
|
20.06.2024 02:25
|
9 |
1,011 |
|
|
помогите доказать, что функция самодвойственная, пожалуйста
¬xyz v x¬yz v ¬x¬yz v ¬x¬y¬z
|
16.06.2024 20:26
|
9 |
963 |
|
|
Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было...
|
29.05.2024 15:30
|
1 |
599 |
|
|
Доказать или опровергнуть методом ИВН (Метод натурального исчисления) выводимость правой формулы из...
|
18.05.2024 21:20
|
9 |
1,090 |
|
|
Доброго времени суток, поможет кто решить?
\forall x \exists y \exists z \neg (\exists z \forall...
|
15.05.2024 15:36
|
1 |
786 |
|
|
В задании 1 булевую функцию трех переменных задан вектором ее двоичных значений на соответствующих...
|
08.05.2024 20:49
|
7 |
657 |
|
|
Как правильно опровергнуть данную секвенцию в модальном исчислении ES4 , насколько я понял мне...
|
08.05.2024 17:57
|
2 |
822 |
|
|
Какими должны быть множества P+ и Q+ истинности предикатов P(x) и Q(x) соответственно, заданных над...
|
29.04.2024 22:01
|
8 |
1,225 |
|
|
Проанализируйте следующее рассуждение на предмет его правильности. Для этого выявите логическую...
|
29.04.2024 21:40
|
7 |
1,051 |
|
|
Решите задачу
Доказать справедливость умозаключения, используя метод резолюции: "Если...
|
24.04.2024 19:04
|
1 |
546 |
|
|
С помощью эквивалентных преобразований привести к ДНФ следующую формулу
(a ⊕ b)↑¬(¬c ⋅d → a)
|
23.04.2024 00:08
|
6 |
719 |
|
|
1. Задано множество А={11,19,8,17,0} Определить на данном множестве все известные отношения...
|
22.04.2024 20:28
|
1 |
943 |
|
|
Прилось столкнуться с посетами, ну и их частным случаем - цепью.
У меня возникло непонимание...
|
19.04.2024 16:06
|
4 |
704 |
|
|
ac→¬b≡a→c¬b
Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса,...
|
18.04.2024 21:55
|
10 |
1,473 |
|
|
Здравствуйте! Помогите, пожалуйста.
Проверить аргумент методом резолюций. Получить все следствия...
|
17.04.2024 22:34
|
2 |
755 |
|
|
Доказать или опровергнуть секвенцию в данном модельном исчислении, очень подробно
|
17.04.2024 19:25
|
2 |
1,041 |
|
|
Решить контрольную работу по дискретной математике
Правила форума, пункт 4.3. Создавайте темы с...
|
03.04.2024 08:29
|
0 |
576 |
|
|
ПРИМЕР: (символы дизъюнкции и конъюнкции не нашла, поэтому заменила на математический аналог)
->...
|
02.04.2024 17:44
|
1 |
653 |
|
|
Мой вопрос в следующем учебном примере:
Составляют множество, которое является объединением...
|
01.04.2024 14:44
|
2 |
724 |
|
|
Составить релейно – контактную схему из функциональных элементов, реализующих данную формулу...
|
01.04.2024 12:02
|
1 |
903 |
|
|
Ещё со школы меня учили пользоваться буквенными выражениями в алгебре. Когда-то давно учительница,...
|
28.03.2024 02:05
|
4 |
833 |
|
|
Задача из учебника информатики.
Известны запросы и количество найденных по ним страниц...
|
27.03.2024 19:22
|
13 |
1,133 |
|
|
Приведите формулу ЛП к ПНФ: ∀xQ(x,y)∨∃xP(x)->∀x∀yQ(x,y)
Второй день пытаюсь решить, никак не...
|
27.03.2024 17:38
|
1 |
727 |
|
|
Учебник информатики. Задача.
В таблице приведены запросы к поисковому серверу. Для обозначения...
|
23.03.2024 18:35
|
5 |
864 |
|
|
Fдснф=(X1X2X3)∨(X1X3¬X4)∨(X2X3¬X4)∨(¬X1¬X2¬X3¬X4)∨(X1¬X2¬X3X4)∨(¬X1¬X2X3X4)
Привести к базису:...
|
20.03.2024 18:38
|
2 |
793 |
| Задать вопрос |
|
IndentationError
|
|
0 |
4045 |
|
|
Mr. Docker
|
|
0 |
4578 |
|
|
EggHead
|
|
0 |
6705 |
|
|
EggHead
|
|
0 |
6350 |
|
|
EggHead
|
|
0 |
4020 |
|
|
Javaican
|
|
0 |
1541 |
|
|
EggHead
|
|
0 |
3255 |
|
|
Codd
|
|
0 |
6971 |
