| Задать вопрос |
|
Я хочу прочитать трехтомник Верещагин Н.К., Шень А. - «Лекции по математической логике и теории...
|
Вчера 13:21
|
5 |
460 |
|
|
Доказать тождество используя метод взаимного включения
A\cap B = \left(\bar{A} \cup B\right)\cap...
|
27.05.2026 14:33
|
4 |
8,737 |
|
|
\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 |
597 |
|
|
Верно ли, что если взять функцию \textrm{q} такую что для любого \textrm{y:} \textrm{U(q,y)=U(p,...
|
28.01.2026 20:34
|
1 |
371 |
|
|
Привет. В общем мне нужно решить лабораторную по машине Тьюринга, но проблема в том, что к этой...
|
28.11.2025 02:33
|
0 |
618 |
|
|
Имеется текст
Мне не понятно почему используется знак верхнего подчеркивания (выделено красным...
|
11.08.2025 14:28
|
6 |
1,272 |
|
|
Здравствуйте. Хочу написать олимпиаду Газпром по информатике за 11 класс, в методических указаниях...
|
06.08.2025 16:52
|
2 |
934 |
|
|
Коллеги, добрый день! Кто-нибудь знает как записать основную теорему арифметики (о разложении...
|
22.04.2025 22:31
|
8 |
1,554 |
|
|
Здравствуйте.
Значения битовых операций &,^, ... задаются в т.ч. с помощью таблиц истинности.
...
|
16.04.2025 11:30
|
5 |
1,841 |
|
|
Доказать что левая формула выводится из правой , используя только аксиомы исчисления высказываний,...
|
16.04.2025 11:01
|
7 |
2,201 |
|
|
Доказать, что НОК (наименьшее общее кратное) есть ПРФ(примитивно рекурсивная функция).
С чего...
|
19.01.2025 21:11
|
28 |
6,648 |
|
|
Не утерян ли смысл записи, при описании полного такта с помощью временных интервалов единицы и нуля...
|
05.01.2025 22:54
|
0 |
632 |
|
|
(A → B); (A → (¬B ∨ C)) ⊢ (A → C)
|
12.12.2024 21:07
|
1 |
1,030 |
|
|
Доказать общезначимость методом симантических таблиц.
\ \forall x (P_1(x) \rightarrow...
|
07.12.2024 17:39
|
5 |
2,095 |
|
|
¬(x∨y∨z)∨¬xy¬z∨xyz∨¬(¬x∨y∨¬z)
фиктивной переменной является y
|
01.12.2024 15:50
|
4 |
919 |
|
|
Помогите пожалуйста найти мднф на основе импликантной таблицы.
|
31.10.2024 18:45
|
1 |
1,571 |
|
|
Добрый день!
Подскажите, чем отличаются знаки "больше", "меньше" с прямыми и изогнутыми линиями?...
|
25.10.2024 19:42
|
1 |
1,304 |
|
|
1. Существуют ли такие множества A, B, X, для которых выполняется набор условий A \ B = X \ A = ∅,...
|
17.10.2024 19:02
|
7 |
1,158 |
|
|
1. Для данного соответствия P ⊆ X × Y определите набор свойств, которыми оно обладает.
2....
|
17.10.2024 17:32
|
1 |
833 |
|
|
Добрый день!
Задача из учебника:
Основные понятия теории игр : учебное пособие / А. Г. Кремлев....
|
04.10.2024 17:04
|
2 |
976 |
|
|
Используя операции реляционной алгебры составление запросов с использованием специальных и базовых...
|
27.09.2024 12:52
|
0 |
762 |
|
|
Здравствуйте, помогите решить задачу.
Сколько существует отношений на множестве из n элементов:...
|
23.09.2024 19:40
|
4 |
1,222 |
|
|
Вопрос) Некий любитель приключений отправился в кругосветное путешествие на яхте, оснащённой...
|
19.09.2024 17:00
|
2 |
1,418 |
|
|
3.Новый Офис расположен на кольцевой дороге радиуса 5 км. Саша живёт на той же кольцевой дороге в...
|
30.08.2024 14:39
|
6 |
1,314 |
|
|
Всем привет!
Дано:
В прямоугольных координатах xOy существует группа точек -...
|
27.08.2024 17:09
|
1 |
899 |
|
|
5.Номер места в Опенспейсе — 10 цифр, начиная с 0000000000 и заканчивая 9999999999 (т.е. всего...
|
26.08.2024 16:08
|
1 |
1,346 |
|
|
1.Подсловом некоторого слова W называется слово, получаемое из W выкидыванием одной или...
|
26.08.2024 09:15
|
0 |
769 |
|
|
1. Формулировка Великой Теоремы Ферма, ВТФ: для любого натурального числа n>2 уравнение an+bn=cn не...
|
28.07.2024 13:25
|
14 |
3,927 |
|
|
Постройте наиболее простую РКС по заданным условиям работы
Правила форума, пункт 4.7. Как можно...
|
23.06.2024 09:40
|
3 |
1,022 |
|
|
Напиши решение пожалуйста задачи. С помощью преобразования найти СДНФ и СКНФ по формуле:...
|
20.06.2024 02:25
|
9 |
1,203 |
|
|
помогите доказать, что функция самодвойственная, пожалуйста
¬xyz v x¬yz v ¬x¬yz v ¬x¬y¬z
|
16.06.2024 20:26
|
9 |
1,148 |
|
|
Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было...
|
29.05.2024 15:30
|
1 |
726 |
|
|
Доказать или опровергнуть методом ИВН (Метод натурального исчисления) выводимость правой формулы из...
|
18.05.2024 21:20
|
9 |
1,302 |
|
|
Доброго времени суток, поможет кто решить?
\forall x \exists y \exists z \neg (\exists z \forall...
|
15.05.2024 15:36
|
1 |
959 |
|
|
В задании 1 булевую функцию трех переменных задан вектором ее двоичных значений на соответствующих...
|
08.05.2024 20:49
|
7 |
824 |
|
|
Как правильно опровергнуть данную секвенцию в модальном исчислении ES4 , насколько я понял мне...
|
08.05.2024 17:57
|
2 |
971 |
|
|
Какими должны быть множества P+ и Q+ истинности предикатов P(x) и Q(x) соответственно, заданных над...
|
29.04.2024 22:01
|
8 |
1,447 |
|
|
Проанализируйте следующее рассуждение на предмет его правильности. Для этого выявите логическую...
|
29.04.2024 21:40
|
7 |
1,273 |
|
|
Решите задачу
Доказать справедливость умозаключения, используя метод резолюции: "Если...
|
24.04.2024 19:04
|
1 |
648 |
|
|
С помощью эквивалентных преобразований привести к ДНФ следующую формулу
(a ⊕ b)↑¬(¬c ⋅d → a)
|
23.04.2024 00:08
|
6 |
885 |
|
|
1. Задано множество А={11,19,8,17,0} Определить на данном множестве все известные отношения...
|
22.04.2024 20:28
|
1 |
1,084 |
|
|
Прилось столкнуться с посетами, ну и их частным случаем - цепью.
У меня возникло непонимание...
|
19.04.2024 16:06
|
4 |
859 |
|
|
ac→¬b≡a→c¬b
Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса,...
|
18.04.2024 21:55
|
10 |
1,729 |
|
|
Здравствуйте! Помогите, пожалуйста.
Проверить аргумент методом резолюций. Получить все следствия...
|
17.04.2024 22:34
|
2 |
907 |
|
|
Доказать или опровергнуть секвенцию в данном модельном исчислении, очень подробно
|
17.04.2024 19:25
|
2 |
1,175 |
|
|
Решить контрольную работу по дискретной математике
Правила форума, пункт 4.3. Создавайте темы с...
|
03.04.2024 08:29
|
0 |
706 |
|
|
ПРИМЕР: (символы дизъюнкции и конъюнкции не нашла, поэтому заменила на математический аналог)
->...
|
02.04.2024 17:44
|
1 |
790 |
|
|
Мой вопрос в следующем учебном примере:
Составляют множество, которое является объединением...
|
01.04.2024 14:44
|
2 |
899 |
|
|
Составить релейно – контактную схему из функциональных элементов, реализующих данную формулу...
|
01.04.2024 12:02
|
1 |
1,095 |
|
|
Ещё со школы меня учили пользоваться буквенными выражениями в алгебре. Когда-то давно учительница,...
|
28.03.2024 02:05
|
4 |
1,003 |
| Задать вопрос |
|
IndentationError
|
|
0 |
7567 |
|
|
Mr. Docker
|
|
0 |
6197 |
|
|
EggHead
|
|
0 |
7690 |
|
|
EggHead
|
|
0 |
8338 |
|
|
EggHead
|
|
0 |
4773 |
|
|
Javaican
|
|
0 |
2314 |
|
|
EggHead
|
|
0 |
4357 |
|
|
Codd
|
|
0 |
8784 |
