Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Другие темы раздела
Логика и множества Постройте бинарное отношение, обладающее следующими свойствами https://www.cyberforum.ru/ mathematical-logic-sets/ thread661483.html
кто может помогите с дискретной: постройте бинарное отношение, обладающее следующими свойствами, или докажите , что такого не существует: рефлексивность - иррефлексивность - симметричность - антисимметричность - транзитивность - Добавлено через 50 минут тема офф. нашел
СДНФ, СКНФ, формы Бекуса, кванторы Логика и множества
Правила форума CyberForum.ru 4. Порядок создания тем. 2. Если собираетесь создать новую тему, определитесь с разделом или существующей темой, в которой ведется обсуждение этого вопроса. 5. Запреты и ограничения. 4. Запрещено создавать темы с бессмысленными названиями вроде "Помогите!", "Вопрос" и т.п. 16. Запрещено создавать темы с множеством вопросов во всех разделах, кроме разделов...
Логика и множества Записать на языке передикатов задание : Мыслю, следовательно, существую. Записать на языке передикатов https://www.cyberforum.ru/ mathematical-logic-sets/ thread660892.html Логика и множества Доказать тождество для множеств https://www.cyberforum.ru/ mathematical-logic-sets/ thread660227.html
Докажите,что (A\cap B)\cup(A\cap B)=A Буду очень благодарен за ответ.
Логика и множества Построить вывод формулы исчисления высказываний из данного множества гипотез
Всем здравствуйте. Есть такая проблема, дано несколько примеров, вот 2 из них: 1) \Phi \rightarrow \Psi \vdash \Phi \vee X \rightarrow \Psi \vee X; 2) \Phi \wedge (\Psi \wedge \Theta ) \vdash \Psi \wedge (\Phi \vee \bar{\Theta}); Задание: Пусть \Phi, \Psi, \Theta, X - формулы исчисления высказываний. Построить вывод формулы исчисления высказываний из данного множества гипотез. Очень...
Логика и множества Доказательство тождества теории множеств помогите пожалуйста доказать множество нарисовать к нему круги эйлера, очень нужно. заранее спасибо:) https://www.cyberforum.ru/ mathematical-logic-sets/ thread660020.html
Логика и множества Микросхемотехника! Возможна плата за всю выполненную работу https://www.cyberforum.ru/ mathematical-logic-sets/ thread659989.html
В работе 9 заданий, я всё лишнее в работе вырезал. Почти в каждом задании по 2 не больших задания. Файл прикреплен Я вообще всё забыл по этому предмету, учусь на заочном, на носу сессия, а я так ни чего и не сделал)) Задания больше похожи на алгебру)) Возможна плата за всю сделанную работу)) Во-первых, прочитайте Правила Форума. Выберите правильно раздел Форума. На каждый вопрос...
Выяснить, сколько студентов имеют переэкзаменовки с помощью множеств Логика и множества
в зимнюю экзаменационную сессию результаты сдачи экзаменов 50 студентами 1 курса таковы: матанализ сдало 40 студентов, алгебру 42, информатику 38 .Среди сдавших матанализ алгебру или информатику сдали 36 студентов, а все предметы сдали 34 студента. Алгебру и информатику сдали 36 студентов. Только информатику сдали 2 студента. Сколько студентов имеют переэкзаменовки?
Логика и множества Построить схему, реализующую логическую функцию https://www.cyberforum.ru/ mathematical-logic-sets/ thread659723.html
Большая просьба помочь, в сложившейся для меня ситуации. По предмету МСХТ (Микросхема-техника) задали задание: 2. Построить схему, реализующую логическую функцию, X = A v B с использованием элементов ИЛИ-НЕ. Не знаю в какой именно раздел поместить это задание, если кто знает подскажите. А кто знает решение подскажите как сделать пожалуйста.
Логика и множества Доказать эквивалентность (не эквивалентность) логических выражений Большая просьба помочь, в сложившейся для меня ситуации. По предмету МСХТ (Микросхема-техника) задали задание: 1. Доказать эквивалентность (не эквивалентность) логических выражений: АВ v С = (А v С)* (В v С) Не знаю в какой именно раздел поместить это задание, если кто знает подскажите. А кто знает решение подскажите как сделать пожалуйста. https://www.cyberforum.ru/ mathematical-logic-sets/ thread659670.html
Логика и множества Доказать тождества теории множеств
Пожалуйста, помогите решить два задания по теории множеств, т.к. никак не могу в них разобраться: 1. Докажите, что (A\cup B=A\cap B)\Rightarrow A=B 2. Докажите, что ((A\cap B)\cup C=A\cap (B\cup C))\Leftrightarrow C\subseteq A Заранее благодарен за любую помощь в решении :)
Логика и множества Множества https://www.cyberforum.ru/ mathematical-logic-sets/ thread658011.html
Помогите ответить на вопросы: 1) Почему {a,b} не принадлежит {{a,b,c}, {a,c}, a,b } ? 2) Приведите пример таких множеств A,B,c, что A ∈ B, B ∈ C, но А не принадлежит С.
0 / 0 / 0
Регистрация: 01.10.2012
Сообщений: 16
04.01.2013, 14:18  [ТС] 0

Доказать тождества на множествах - Логика и множества - Ответ 3949656

04.01.2013, 14:18. Показов 7785. Ответов 9
Метки (Все метки)

Ответ

ап

Вернуться к обсуждению:
Доказать тождества на множествах Логика и множества
0
Заказать работу у эксперта
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
04.01.2013, 14:18
Готовые ответы и решения:

Доказать тождества
Помогите пожалуйста: 1) A(B\C)=(AB)\(AC) 2) AB ~B ~A

Доказать тождества
а) A ∩ B ∪ C ∩ D = (A ∪ C) ∩ (B ∪ C) ∩ (A ∪ D) ∩ (B ∪ D); б) del в) del г) del д) del е) ...

Доказать тождества.
Здравствуйте! Прошу помощи в решении задач

Доказать справедливость тождества
(А∆G)∩Ḡ=A\B

9
04.01.2013, 14:18
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
04.01.2013, 14:18
Помогаю со студенческими работами здесь

Доказать справедливость тождества
Помогите, пожалуйста, доказать тождество: (A \setminus B)\bigcup B= A \Leftrightarrow B\subseteq A

Доказать следующие тождества:
Тема новая я так и не мог решить.А завтра уже сдавать(Помогите с задачами. a)A∩B=B∩A;...

Доказать справедливость тождества
Доказать справедливость тождества для произвольных множеств А,В,С :

Доказать справедливость тождества
всем привет)) помогите пожалуйста!!! доказать справедливость нижеприведенного тождества на основе...

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru