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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,583,008 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,124
Обычные темы
Задать вопрос
Всем привет нужна помощь. Не совсем разбираюсь в этом, кто может обьясните (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 709
Логическим методом довести тождество.
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,347
Множество изображено на диаграмме. Записать ее при помощи операций.
18.02.2022 17:04
1 462
Упростить вид множества ,которое задано при помощи операций, применяя законы алгебры множеств.
18.02.2022 16:11
2 653
Упростить вид множества, которое задано с помощью операций, применяя законы алгебры множеств. (В...
18.02.2022 14:30
2 893
Проверить аргумент методом резолюций. Получить все следствия из данных посылок. «Если X , то (Y...
18.02.2022 12:47
0 798
Правила форума :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,518
2-Baroko. Все P суть М Некоторые S не суть M Следовательно, некоторые S не суть P ...
15.02.2022 15:03
1 642
Логическим методом доказать тождество
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 520
Помогите пожалуйста сделать задание по дискретной математике, фото с заданием прикрепил. По...
12.02.2022 02:38
1 559
( Добавлено через 38 минут Помогите доказать это включение ( Это
08.02.2022 19:09
42 2,973
Доказать равенство множества, я изобразил с помощью диаграммы Эйлера Венна , но нужно расписать...
06.02.2022 17:38
2 1,013
Помогите пожалуйста доказать тождество логическим методом Вот пример:
06.02.2022 17:31
6 956
Помогите пожалуйста, совсем не могу разобраться, оно выглядит очень легко, но я не понимаю каким...
06.02.2022 17:20
5 886
Формальная постановка задачи: Есть множество из n объектов и матрица попарных расстояний между...
04.02.2022 22:00
6 953
Формализовать умозаключение по заданному модусу в логике предикатов. Модус - Camenos, 4...
03.02.2022 11:04
1 2,614
Найти тупиковую форму для булевой функции f = f (00110111).
01.02.2022 16:53
1 631
Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы...
28.01.2022 23:53
10 1,690
Доброго дня, задали здание по минимизация ДНФ и КНФ булевых функций. Оно во вложении. Суть...
26.01.2022 23:47
2 1,084
Заранее прошу прощения за качество фото и вид предоставленных заданий Здравствуйте. Прошу помочь...
26.01.2022 15:40
1 1,292
Приведите равносильными преобразованиями формулу к конъюнктивной нормальной форме ¬(X˅Z) ˄(X→Y).
25.01.2022 22:37
8 2,263
Записать на языке предикатов высказывание: «Для непрерывной на отрезке функции f существует...
25.01.2022 10:45
3 580
24.01.2022 13:50
1 1,039
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,144
Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде...
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,219
Сколько различных бинарных отношений порядка можно определить на множестве из трех элементов?...
18.01.2022 20:52
1 1,028
Как определить количество булевых функций от 3 переменных, которые на наборах...
18.01.2022 12:00
7 5,938
Формализовать логическое суждение, введя одноместные предикаты. Построить отрицание данного...
18.01.2022 01:15
3 1,333
Доказать тождество А\(В\С)=А\((А∩В)\С) на основе основных соотношений.
17.01.2022 16:28
1 881
Есть прикреплённые файлы
16.01.2022 16:43
4 572
Изобразите на диаграммах Эйлера-Венна область истинности для следующего предиката:
16.01.2022 02:17
1 557
Задать вопрос
IndentationError
0 7616
Mr. Docker
0 6248
EggHead
0 7782
EggHead
0 8449
EggHead
0 4799
Javaican
0 2352
EggHead
0 4390
Codd
0 8846
Новая тема
Новые блоги и статьи
Скрипты 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