| Задать вопрос |
|
\boxed{G_{t+1}=\bigcup_{s \in G_t}\left\{\Psi(s, \vec{d_i}, E_t, c_t(s), \omega_t)\;|\;i =...
|
07.03.2026 17:00
|
8 |
525 |
|
|
Верно ли, что если взять функцию \textrm{q} такую что для любого \textrm{y:} \textrm{U(q,y)=U(p,...
|
28.01.2026 20:34
|
1 |
318 |
|
|
Привет. В общем мне нужно решить лабораторную по машине Тьюринга, но проблема в том, что к этой...
|
28.11.2025 02:33
|
0 |
522 |
|
|
Имеется текст
Мне не понятно почему используется знак верхнего подчеркивания (выделено красным...
|
11.08.2025 14:28
|
6 |
1,212 |
|
|
Здравствуйте. Хочу написать олимпиаду Газпром по информатике за 11 класс, в методических указаниях...
|
06.08.2025 16:52
|
2 |
871 |
|
|
Коллеги, добрый день! Кто-нибудь знает как записать основную теорему арифметики (о разложении...
|
22.04.2025 22:31
|
8 |
1,516 |
|
|
Здравствуйте.
Значения битовых операций &,^, ... задаются в т.ч. с помощью таблиц истинности.
...
|
16.04.2025 11:30
|
5 |
1,770 |
|
|
Доказать что левая формула выводится из правой , используя только аксиомы исчисления высказываний,...
|
16.04.2025 11:01
|
7 |
2,132 |
|
|
Доказать, что НОК (наименьшее общее кратное) есть ПРФ(примитивно рекурсивная функция).
С чего...
|
19.01.2025 21:11
|
28 |
6,458 |
|
|
Не утерян ли смысл записи, при описании полного такта с помощью временных интервалов единицы и нуля...
|
05.01.2025 22:54
|
0 |
575 |
|
|
(A → B); (A → (¬B ∨ C)) ⊢ (A → C)
|
12.12.2024 21:07
|
1 |
958 |
|
|
Доказать общезначимость методом симантических таблиц.
\ \forall x (P_1(x) \rightarrow...
|
07.12.2024 17:39
|
5 |
2,023 |
|
|
¬(x∨y∨z)∨¬xy¬z∨xyz∨¬(¬x∨y∨¬z)
фиктивной переменной является y
|
01.12.2024 15:50
|
4 |
836 |
|
|
Помогите пожалуйста найти мднф на основе импликантной таблицы.
|
31.10.2024 18:45
|
1 |
1,505 |
|
|
Добрый день!
Подскажите, чем отличаются знаки "больше", "меньше" с прямыми и изогнутыми линиями?...
|
25.10.2024 19:42
|
1 |
1,207 |
|
|
1. Существуют ли такие множества A, B, X, для которых выполняется набор условий A \ B = X \ A = ∅,...
|
17.10.2024 19:02
|
7 |
1,056 |
|
|
1. Для данного соответствия P ⊆ X × Y определите набор свойств, которыми оно обладает.
2....
|
17.10.2024 17:32
|
1 |
759 |
|
|
Добрый день!
Задача из учебника:
Основные понятия теории игр : учебное пособие / А. Г. Кремлев....
|
04.10.2024 17:04
|
2 |
900 |
|
|
Используя операции реляционной алгебры составление запросов с использованием специальных и базовых...
|
27.09.2024 12:52
|
0 |
700 |
|
|
Здравствуйте, помогите решить задачу.
Сколько существует отношений на множестве из n элементов:...
|
23.09.2024 19:40
|
4 |
1,142 |
|
|
Вопрос) Некий любитель приключений отправился в кругосветное путешествие на яхте, оснащённой...
|
19.09.2024 17:00
|
2 |
1,341 |
|
|
3.Новый Офис расположен на кольцевой дороге радиуса 5 км. Саша живёт на той же кольцевой дороге в...
|
30.08.2024 14:39
|
6 |
1,245 |
|
|
Всем привет!
Дано:
В прямоугольных координатах xOy существует группа точек -...
|
27.08.2024 17:09
|
1 |
840 |
|
|
5.Номер места в Опенспейсе — 10 цифр, начиная с 0000000000 и заканчивая 9999999999 (т.е. всего...
|
26.08.2024 16:08
|
1 |
1,294 |
|
|
1.Подсловом некоторого слова W называется слово, получаемое из W выкидыванием одной или...
|
26.08.2024 09:15
|
0 |
712 |
|
|
1. Формулировка Великой Теоремы Ферма, ВТФ: для любого натурального числа n>2 уравнение an+bn=cn не...
|
28.07.2024 13:25
|
14 |
3,792 |
|
|
Постройте наиболее простую РКС по заданным условиям работы
Правила форума, пункт 4.7. Как можно...
|
23.06.2024 09:40
|
3 |
980 |
|
|
Напиши решение пожалуйста задачи. С помощью преобразования найти СДНФ и СКНФ по формуле:...
|
20.06.2024 02:25
|
9 |
1,129 |
|
|
помогите доказать, что функция самодвойственная, пожалуйста
¬xyz v x¬yz v ¬x¬yz v ¬x¬y¬z
|
16.06.2024 20:26
|
9 |
1,072 |
|
|
Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было...
|
29.05.2024 15:30
|
1 |
669 |
|
|
Доказать или опровергнуть методом ИВН (Метод натурального исчисления) выводимость правой формулы из...
|
18.05.2024 21:20
|
9 |
1,239 |
|
|
Доброго времени суток, поможет кто решить?
\forall x \exists y \exists z \neg (\exists z \forall...
|
15.05.2024 15:36
|
1 |
878 |
|
|
В задании 1 булевую функцию трех переменных задан вектором ее двоичных значений на соответствующих...
|
08.05.2024 20:49
|
7 |
747 |
|
|
Как правильно опровергнуть данную секвенцию в модальном исчислении ES4 , насколько я понял мне...
|
08.05.2024 17:57
|
2 |
908 |
|
|
Какими должны быть множества P+ и Q+ истинности предикатов P(x) и Q(x) соответственно, заданных над...
|
29.04.2024 22:01
|
8 |
1,351 |
|
|
Проанализируйте следующее рассуждение на предмет его правильности. Для этого выявите логическую...
|
29.04.2024 21:40
|
7 |
1,185 |
|
|
Решите задачу
Доказать справедливость умозаключения, используя метод резолюции: "Если...
|
24.04.2024 19:04
|
1 |
602 |
|
|
С помощью эквивалентных преобразований привести к ДНФ следующую формулу
(a ⊕ b)↑¬(¬c ⋅d → a)
|
23.04.2024 00:08
|
6 |
816 |
|
|
1. Задано множество А={11,19,8,17,0} Определить на данном множестве все известные отношения...
|
22.04.2024 20:28
|
1 |
1,030 |
|
|
Прилось столкнуться с посетами, ну и их частным случаем - цепью.
У меня возникло непонимание...
|
19.04.2024 16:06
|
4 |
796 |
|
|
ac→¬b≡a→c¬b
Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса,...
|
18.04.2024 21:55
|
10 |
1,620 |
|
|
Здравствуйте! Помогите, пожалуйста.
Проверить аргумент методом резолюций. Получить все следствия...
|
17.04.2024 22:34
|
2 |
852 |
|
|
Доказать или опровергнуть секвенцию в данном модельном исчислении, очень подробно
|
17.04.2024 19:25
|
2 |
1,122 |
|
|
Решить контрольную работу по дискретной математике
Правила форума, пункт 4.3. Создавайте темы с...
|
03.04.2024 08:29
|
0 |
652 |
|
|
ПРИМЕР: (символы дизъюнкции и конъюнкции не нашла, поэтому заменила на математический аналог)
->...
|
02.04.2024 17:44
|
1 |
737 |
|
|
Мой вопрос в следующем учебном примере:
Составляют множество, которое является объединением...
|
01.04.2024 14:44
|
2 |
846 |
|
|
Составить релейно – контактную схему из функциональных элементов, реализующих данную формулу...
|
01.04.2024 12:02
|
1 |
1,040 |
|
|
Ещё со школы меня учили пользоваться буквенными выражениями в алгебре. Когда-то давно учительница,...
|
28.03.2024 02:05
|
4 |
947 |
|
|
Задача из учебника информатики.
Известны запросы и количество найденных по ним страниц...
|
27.03.2024 19:22
|
13 |
1,244 |
|
|
Приведите формулу ЛП к ПНФ: ∀xQ(x,y)∨∃xP(x)->∀x∀yQ(x,y)
Второй день пытаюсь решить, никак не...
|
27.03.2024 17:38
|
1 |
819 |
| Задать вопрос |
|
IndentationError
|
|
0 |
6398 |
|
|
Mr. Docker
|
|
0 |
5573 |
|
|
EggHead
|
|
0 |
7268 |
|
|
EggHead
|
|
0 |
7564 |
|
|
EggHead
|
|
0 |
4443 |
|
|
Javaican
|
|
0 |
1991 |
|
|
EggHead
|
|
0 |
3851 |
|
|
Codd
|
|
0 |
7930 |
