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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,585,745 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,127
Обычные темы
Задать вопрос
Всем привет нужна помощь. Не совсем разбираюсь в этом, кто может обьясните (A=>(B=>C)) => ((A и...
21.02.2022 17:56
3 530
Определить множество (если это возможно), на которой данное отношение являются: а) функциональным;...
20.02.2022 02:56
7 471
Определить, верно ли равенство
19.02.2022 22:22
2 1,215
Упростить вид множества, которое задано с помощью операций, применяя законы алгебры множеств (ответ...
19.02.2022 15:54
2 719
Логическим методом довести тождество.
19.02.2022 04:42
4 568
18.02.2022 22:44
9 1,337
Найти матрицу отношения : ,Z- множество целых чисел.
18.02.2022 22:00
1 395
Здравствуйте, Есть ли комбинаторы для XOR, импликации, эквиваленции? Искал не нашел, но что то мне...
18.02.2022 17:25
4 1,354
Множество изображено на диаграмме. Записать ее при помощи операций.
18.02.2022 17:04
1 469
Упростить вид множества ,которое задано при помощи операций, применяя законы алгебры множеств.
18.02.2022 16:11
2 653
Упростить вид множества, которое задано с помощью операций, применяя законы алгебры множеств. (В...
18.02.2022 14:30
2 904
Проверить аргумент методом резолюций. Получить все следствия из данных посылок. «Если X , то (Y...
18.02.2022 12:47
0 802
Правила форума :rtfm: 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было...
18.02.2022 10:49
0 314
Для множества А = {3,4, 6, 8} построить множество всех его подмножеств.
17.02.2022 14:00
4 508
Доказать A\(B n C) = (A\B) U (A\C).
17.02.2022 08:25
2 1,087
Доказать равно ли это тождество
16.02.2022 23:38
9 929
По тексту задачи составьте сложное высказывание, упростите его по законам алгебры логики, ответьте...
16.02.2022 15:28
2 1,070
Найти сколькими способами можно разместить m = 5 различных предметов по n = 3 различным коробкам....
15.02.2022 16:27
1 2,522
2-Baroko. Все P суть М Некоторые S не суть M Следовательно, некоторые S не суть P ...
15.02.2022 15:03
1 657
Логическим методом доказать тождество
14.02.2022 15:50
5 776
Изобразить на диаграмме Эйлера-Венна множество
13.02.2022 20:54
2 765
Множество изображено на диаграмме. Записать ее при помощи операций
13.02.2022 18:17
1 462
В ответе множества не должны входить больше одного раза В общем, первая скобка это просто В и...
12.02.2022 18:00
1 528
Помогите пожалуйста сделать задание по дискретной математике, фото с заданием прикрепил. По...
12.02.2022 02:38
1 559
( Добавлено через 38 минут Помогите доказать это включение ( Это
08.02.2022 19:09
42 2,993
Доказать равенство множества, я изобразил с помощью диаграммы Эйлера Венна , но нужно расписать...
06.02.2022 17:38
2 1,025
Помогите пожалуйста доказать тождество логическим методом Вот пример:
06.02.2022 17:31
6 963
Помогите пожалуйста, совсем не могу разобраться, оно выглядит очень легко, но я не понимаю каким...
06.02.2022 17:20
5 886
Формальная постановка задачи: Есть множество из n объектов и матрица попарных расстояний между...
04.02.2022 22:00
6 962
Формализовать умозаключение по заданному модусу в логике предикатов. Модус - Camenos, 4...
03.02.2022 11:04
1 2,616
Найти тупиковую форму для булевой функции f = f (00110111).
01.02.2022 16:53
1 631
Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы...
28.01.2022 23:53
10 1,692
Доброго дня, задали здание по минимизация ДНФ и КНФ булевых функций. Оно во вложении. Суть...
26.01.2022 23:47
2 1,084
Заранее прошу прощения за качество фото и вид предоставленных заданий Здравствуйте. Прошу помочь...
26.01.2022 15:40
1 1,294
Приведите равносильными преобразованиями формулу к конъюнктивной нормальной форме ¬(X˅Z) ˄(X→Y).
25.01.2022 22:37
8 2,265
Записать на языке предикатов высказывание: «Для непрерывной на отрезке функции f существует...
25.01.2022 10:45
3 582
24.01.2022 13:50
1 1,042
1. Докажите, что для нечетких подмножеств А*, В* и С* с введёнными операциями пересечения,...
21.01.2022 19:19
8 2,118
Добавлено через 3 минуты В структуре (ℕ0, +,∗, = ,0,1), где ℕ0 – множество, состоящее из...
21.01.2022 17:49
5 865
Доказать тождество. Сопроводить каждый шаг преобразования комментариями. ¬(¬A∪B)∪(¬(A∪C)∪(B∪C)) ≡...
20.01.2022 14:41
1 1,150
Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде...
20.01.2022 00:04
1 1,318
Пусть a < b и c < d. Установите ВОС между множествами (a, b) и R. Помогите решить, пожалуйста, с...
19.01.2022 21:05
1 572
Здравствуйте, У меня есть теория Th с такой сигнатурой: f - унарная функция, a - 0-арный терм, P...
19.01.2022 18:05
12 1,255
Здравствуйте. Очень нужна помощь с заданием. Найти минимальную ДНФ для ФАЛ F(x1,x2,x3,x4) =...
19.01.2022 14:20
4 1,228
Сколько различных бинарных отношений порядка можно определить на множестве из трех элементов?...
18.01.2022 20:52
1 1,032
Как определить количество булевых функций от 3 переменных, которые на наборах...
18.01.2022 12:00
7 5,943
Формализовать логическое суждение, введя одноместные предикаты. Построить отрицание данного...
18.01.2022 01:15
3 1,333
Доказать тождество А\(В\С)=А\((А∩В)\С) на основе основных соотношений.
17.01.2022 16:28
1 886
Есть прикреплённые файлы
16.01.2022 16:43
4 580
Изобразите на диаграммах Эйлера-Венна область истинности для следующего предиката:
16.01.2022 02:17
1 557
Задать вопрос
IndentationError
0 7650
Mr. Docker
0 6272
EggHead
0 7812
EggHead
0 8509
EggHead
0 4826
Javaican
0 2373
EggHead
0 4414
Codd
0 8887
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск Темы без ответов

Новые блоги и статьи
Запрет дублирования строк в табличной части
Maks 13.09.2026
Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .
Скрипты 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
Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru