Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Другие темы раздела
Логика и множества Доказать справедливость утверждения https://www.cyberforum.ru/ mathematical-logic-sets/ thread675239.html
Аналитическим способом, то есть на основе формул взаимосвязи между логическими операциями, нужно доказать справедливость следующего утверждения: ((c \rightarrow d)-(c\sim d))\vee((a\wedge b)\downarrow (a+b))=((b \wedge c)\downarrow(b-d))\wedge((a\mid c)-(a-d))
Чем отличаются функции от отношений? Логика и множества
Используя данные задачи №1 построить пример функции из А в В. Чем отличаются функции от отношений?
Логика и множества Что дает исследователю множества наличие отношение эквивалентности в этом множестве? https://www.cyberforum.ru/ mathematical-logic-sets/ thread675143.html
Что дает исследователю множества наличие отношение эквивалентности в этом множестве?
Логика и множества На множестве файлов или файловой системы (например, своей флэшки) ввести какой-нибудь порядок На множестве файлов или файловой системы (например, своей флэшки) ввести какой-нибудь порядок. Может ли случиться так, что это же отношение является и отношением эквивалентности? https://www.cyberforum.ru/ mathematical-logic-sets/ thread675142.html
Логика и множества Свойства отношения "непараллельность" на множестве прямых
На множестве прямых на плоскости рассмотрим отношение «не параллельность». Какие свойства есть у этого отношения? Является ли оно отношением эквивалентности или отношением порядка?
Логика и множества Упростить выражение, используя закноны логики Буля Максимально упростить выражение, используя законы логики Буля. Желательно с пошаговым решением. https://www.cyberforum.ru/ mathematical-logic-sets/ thread674402.html
Логика и множества Доказать, что М является предполным https://www.cyberforum.ru/ mathematical-logic-sets/ thread674295.html
1) доказать, что для класса L (L - класс линейных функций) базисом является набор функций 0 эквивалент. 2) Доказать, что M (M - класс монотонных функций) является предполным
Логика и множества Канторовская нумерация последовательностей, ф-ия Гёделя
Доброго времени суток. Прошу помочь найти по известному номеру n=C(x,y), значения x и y. C(x,y) = ((x+y)2+3x+y)/2 (канторовская нумерация пар). И где посоветуете почитать про ф-ию Гёделя и канторовские нумерующие функции (желательно, чтобы инф-ия давалась как можно более простым языком). Спасибо.
Логика и множества Построить таблицу и найти СДНФ булевой функции. Минимизировать полученное выражение https://www.cyberforum.ru/ mathematical-logic-sets/ thread672973.html
Доброго времени суток ув. форумчане. обращаюсь к вам с помощью, т.к. сам не догоняю ничего %) f(x,y,x)=((z\vee x)(y\oplus x))\oplus ((yz)\vee (yz)) 1. построить таблицу функции; 2. построить СДНФ этой функции; 3. упростить полученной выражение с помощью метода алгебраических преобразований и с помощью метода минимизирующих карт.
Логика и множества Упростить условия системы множества. Проверить решенное https://www.cyberforum.ru/ mathematical-logic-sets/ thread672919.html
Задание: упростить условия системы множества. На второй картинке указана сама система и ее упрощение, а на первой два варианта решения третьего множества из системы. Не знаю какое верно(если вообще верно). Подскажите плиз
Логика и множества Представить булеву функцию аналитическим, табличным, векторным, графическим способом.
Дано f(x,yz)=(01101110) Представить Аналитическим способом Табличным способом Векторным Способом. Графическим
Логика и множества Подсказать решение Постройте множество всех б.ф. , зависящих от переменных x1 и x2 и принадлежащих замыканию множества: {x1^x2 or x2^x2 or x1^x3}. Если нетрудно с подробным объяснением. https://www.cyberforum.ru/ mathematical-logic-sets/ thread672022.html
Змеюка одышечная
9864 / 4595 / 178
Регистрация: 04.01.2011
Сообщений: 8,556
19.10.2012, 22:53 0

Объяснить, что означает "счётное" и "несчётное" множество - Логика и множества - Ответ 3582877

19.10.2012, 22:53. Показов 12469. Ответов 52
Метки (Все метки)

Ответ

Конечное множество, очевидно, имеет определённое конечное число элементов.
В счётном множестве все элементы можно занумеровать (т.е. посчитать).
В несчётном, следовательно, имеются элементы, которые пронумеровать нельзя.

Вернуться к обсуждению:
Объяснить, что означает "счётное" и "несчётное" множество Логика и множества
2
Заказать работу у эксперта
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
19.10.2012, 22:53
Готовые ответы и решения:

Как доказать, что множество конечное или счётное?
Любое множество открытых интервалов на действительной прямой, которые попарно не пересекаются есть...

Доказать, что если А – счетное множество, В – конечное множество, то А В – счетное множество
Доказать, что если А – счетное множество, В – конечное множество, то А В – счетное...

Доказать, что в любом компактном множестве (комплексные числа) всегда существует счетное множество
Помогите, пожалуйста, с доказательством. Доказать, что в любом компактном множестве K\subseteq C...

Докажите, что если из несчётного множества удалить счётное подмножество, получится множество, эквивалентное исходному
Докажите, что если из несчётного множества удалить счётное подмножество, получится множество,...

Счетное множество
Доказать, что множество всех бесконечных последовательностей натуральных чисел, каждая из которых...

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

Объяснить что означает запись if (i % 10 == 0)
Объясните, пожалуйста, что означает эта запись простыми словами

Объяснить, что означает строка
1) что означает знак амперсанда в операторе, для чего он нужен? 2) Что означает знак % и...

Кто сможет объяснить что означает в этом коде 0x55555, что это такое, для чего предназначено?
#include "stdafx.h" #pragma warning(disable : 4996) #include <stdio.h> #include <conio.h>...

Построить счетное множество
Здравствуйте, помогите, пожалуйста, построить счетное множество на прямой, такое, что u(A') >0

Объяснить что означает этот код
Объяснить что означает этот отрывок кода: for (int i = 0; i < a; i++) { if ((i + 1) % 3...

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