Форум программистов, компьютерный форум, киберфорум

Мат. логика и множества


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,583,273 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,124
Обычные темы
Задать вопрос
Всех приветствую, и доброго вечера. Нужна помощь в разборе задачи, буду очень благодарен в...
03.12.2021 23:03
1 1,312
Доказать, что для любого A: 1) ∅ ⊆ A ⊆ U 2) Если A ⊆ ∅, то A = ∅; если U ⊆ A, то A = U; 3) A ⋃...
03.12.2021 19:50
1 579
Ребят,помогите пожалуйста,очень срочно нужно решить. Привести к виду СДНФ. Буду очень благодарен...
03.12.2021 12:29
5 1,006
Добрый вечер Есть такая задача Установить правильность или неправильность правил вывода используя...
02.12.2021 17:37
5 2,758
Есть предложение: ∃x((x^2 + 1 > 3) --> (x>=2)). Нужно определить чем оно является: предикатом или...
02.12.2021 10:24
1 643
(x\B)\A(верху черта)=B буду очень признателен. Для набора математических выражений пользуйтесь...
01.12.2021 19:02
15 820
Добрый день. Совсем не понимаю как делать эти две задачи. Можете пожалуйста решение с пояснениями...
01.12.2021 14:33
3 526
Добрый вечер, мне нужна ваша помощь. В моем примере не резолируется выражение... Используя метод...
30.11.2021 15:07
3 2,027
Дали схему, упростить. Формулу я написал, а как упростить что то не получается. (((a∨b)∧c)∨(¬a∨c)∧¬b
30.11.2021 13:41
2 1,211
Выразите закрашенную часть через множества А, В, С и D, используя операции ∩, ∪, \: У меня...
29.11.2021 16:37
2 1,516
Здравствуйте имеется следующее соответствие, помогите его исследовать на инъективность,...
29.11.2021 16:35
3 1,353
1. Представить в приведенной форме предикат D. 2. Представить в приведенной нормальной форме...
28.11.2021 23:35
3 759
Доказать истинность заключения а) методом дедукции; б) методом резолюции; в) методом Вонга. ...
28.11.2021 23:31
1 706
28.11.2021 23:18
4 1,311
Первый способ я уже построил, таблицу истинности. С этим проблем не было. А что значит второй...
28.11.2021 23:13
1 449
Нужно задать множество аналитически.
28.11.2021 02:55
1 878
Здраствуйте. Помогите пожалуйста решить данную задачу.В этой теме совершенно ничего не понимаю и ...
28.11.2021 02:46
1 513
Булеан конечного множества A разбивается на две части: в одну входят подмножества с четными числами...
28.11.2021 01:21
2 763
Система уравнений (A, B, C - данные множества, X - неизвестное): \begin{cases} & A \text{/} X = B ...
27.11.2021 14:07
5 700
Постройте на множестве {1,2,3} бинарное отношение, которое является: 1) рефлексивным,...
27.11.2021 13:25
1 714
Система уравнений (A, B, C - данные множества, X - неизвестное): \begin{cases} & A \bigcap X = B ...
27.11.2021 12:06
0 508
Построить схему, управляющую спуском лифта со второго этажа на первый. Условия, определяющие...
27.11.2021 08:38
3 1,118
Нужно решение с диаграммами Венна
27.11.2021 01:32
2 2,706
\forall x(A(x)\rightarrow B(y))& \forall y(A(x)\rightarrow (B(y)\rightarrow C(z)))\rightarrow A(x)
26.11.2021 15:55
12 2,428
Помогите справится с примером. Нам нужно проверить, будут ли эквивалентны следующие формулы с...
26.11.2021 12:43
5 1,100
развязать задачу В классе 20 человек. На экзаменах по истории, математике и литературе 10...
26.11.2021 11:15
2 1,830
Составить релейно-контактную схему, реализующую функцию проводимости. Если возможно, упростить...
26.11.2021 09:44
2 2,259
A = { x|x - летние месяца }
25.11.2021 23:20
1 900
A = {a; b; c; d}
25.11.2021 23:15
1 656
Найдите совершенные д.н.ф. и к.н.ф. 2 способами: с помощью равносильных преобразований и с помощью...
25.11.2021 11:27
0 1,073
Найдите д.н.ф. и к.н.ф. для формул: 1) F = ( ¬x ∨ z ) ≡ ( y ↓ ¬ z) 2) F = ( ¬x → z) | ((y→¬z)|x)...
25.11.2021 11:23
0 598
Доказать, что в исчислении L4 имеют место следующие утверждения:
24.11.2021 23:07
1 1,290
Помогите. пожалуйста. Правила форума :rtfm: 4.7. Как можно более полно описывайте суть проблемы...
24.11.2021 22:25
1 560
Получить ДНФ, СДНФ, КНФ, СКНФ для функции:
24.11.2021 22:23
1 869
Найти ДНФ двойственной функции
24.11.2021 22:19
1 948
Для логической функции получить полином Жегалкина.
24.11.2021 22:17
1 432
Доказать или опровергнуть полноту системы функций {&, ∨,→ } .
24.11.2021 22:14
1 578
3. Пусть A={1, 2, 3, 4, 5}. Приведите пример бинарного отношения на множестве A, которое содержит...
24.11.2021 14:41
3 973
Построить схему, соответствующую переключательной функции. Упростить формулу, реализующую данную...
24.11.2021 13:01
1 817
Проверить, будут ли эквивалентны следующие формулы:
24.11.2021 12:50
1 908
Помогите свести к предложениям следующую формулу, используя: 1) Элиминация импликации 2)...
22.11.2021 11:02
1 655
решить систему уравнений относительно множества x и указать условия совместности Правила форума,...
22.11.2021 00:59
0 1,388
Можете пожалуйста привести пример отношения на бесконечном множестве, которое обладает свойствами...
21.11.2021 23:21
16 822
Как посчитать элементы множества? c) С = { {0,1}, {1,2} } Множество С содержит … элементов
21.11.2021 20:55
1 406
С помощью равносильных преобразований и с помощью таблицы истинности для: помогите пожалуйста ...
21.11.2021 20:41
1 532
(xy)∨z∨((x∨¬y)∧z) f (01010111) минимизировать методом неопределенных коэффициентов, построить...
21.11.2021 14:24
0 381
Помогите пожалуйста с этой функцией: f = ( x ↓ ¬y ) | ( ¬z ⋀ ¬x ) У меня получилось в итоге x V...
21.11.2021 13:15
2 1,435
Помогите нарисовать декомпозиционную и переключательную схему реализующее минимизированную...
21.11.2021 12:36
1 591
Помогите минимизировать полученную функцию, применяя метод Квайна и Мак-Класкаи таблица истинности...
21.11.2021 12:36
1 685
Как посчитать элементы множества? e) E = {0, {{1, {3, 5}, {4, 5, 7}, 8}}} Множество Е содержит …...
21.11.2021 12:15
0 221
Задать вопрос
IndentationError
0 7624
Mr. Docker
0 6253
EggHead
0 7786
EggHead
0 8457
EggHead
0 4802
Javaican
0 2355
EggHead
0 4396
Codd
0 8857
Новая тема
Новые блоги и статьи
Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр.
Jin X 06.09.2026
Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F
Argus19 02.09.2026
Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .
Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0.
Maks 31.08.2026
При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .
Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм
anaschu 30.08.2026
Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .
Оттачиваю умение писать js программы.
russiannick 30.08.2026
Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .
мат медиц модель 30. презентация проекта
anaschu 27.08.2026
хоп хоп хоп хидахоп, а я кладую))
Как у меня протекала болезнь
zorxor 27.08.2026
Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .
Нашел вот забавное видео о измерениях. Лучшее что я видел на эту тему
kumehtar 26.08.2026
ILETXiw9bMQ Основная суть и тезисы по измерениям: 0D (Нулевое измерение): точка, не имеющая длины, ширины, высоты или объема. Объект не может перемещаться в 0D. 1D (Первое измерение):. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru