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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,599,274 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,139
Обычные темы
Задать вопрос
1)Прямые a и b или параллельны, или пересекаются, или скрещиваются. Если прямые a и b лежат в одной...
19.04.2023 19:54
3 1,973
Можно ли так разложить выражение? 1. ВИ = ВИС+ВИ!С 2. ВИС∨ВИ!С = ВИ!C
18.04.2023 12:14
1 699
Представить все высказывания в виде дизъюнкций литералов: {A,  B ̄∨C ̄,  A ̄→B ̄ }  |-  (C ̄→A ̄...
12.04.2023 20:04
1 454
Проверить решение Введите предикаты на соответствующих областях и запишите при их помощи следующие...
12.04.2023 04:07
1 632
Не могу понять, почему рассмотренный мною частный случай для доказательства не верен (если бы был...
11.04.2023 20:23
7 1,687
Существует не более двух х, таких, что Р (х). ∃x ∃y (P(x) & P(y) -> x != y). Есть подозрения что я...
10.04.2023 14:22
2 509
Здравствуйте! Помогите, пожалуйста, упростить выражение \bar{A}&\bar{B}\vee \bar{A}&C\vee B&C...
08.04.2023 15:44
1 399
Мое решение: Если Z - множество чисел, то предикат "x больше или равно y" можно записать...
06.04.2023 17:50
9 1,046
Найдите отношения ρ-1, ρ ° ρ , ρ-1 ° ρ-1 для бинарного отношения x ρ y ⇔ «x2 + y2 = 1»,...
06.04.2023 13:23
2 836
приведите пример отображения, заданного в форме матрицы и удовлетворяющего условиям во множество и...
05.04.2023 18:00
1 503
Докажите тождественную истинность или тождественную ложность формул: a). ( x ∧ y → z) → (x → (y →...
05.04.2023 17:57
4 621
Здравствуйте, при синтезе КС составил таблицу истинности, получил СДНФ F(Х4,Х3,Х2,Х1)=Х4¯Х3¯Х2Х1 v...
04.04.2023 23:16
1 327
Доброго времени суток, помогите пожалуйста перевести аналитическое выражение в виде СДНФ...
04.04.2023 22:35
1 617
Пользоваться теоремой о дедукции нельзя(через нее легко выводится), только на основе аксиом...
03.04.2023 16:45
1 437
Не понимаю как такое доказывать, отталкиваясь только от определений.
02.04.2023 23:33
8 1,066
Доказать, что из системы аксиом, представленной ниже, выводится Th: ⌊ ( !B → !A ) → ( A → B ) ...
02.04.2023 23:08
7 595
Функция алгебры логики принимает значение логической единицы на 12,13,14 и 15 наборах. На наборах...
02.04.2023 22:07
0 838
Изобразить отношение графически: a = {(x,y)|(x,y) є R^2 & x + y^2 = 4}, где R - множество...
02.04.2023 17:28
3 413
Требуется описать множество соответствующей закрашенной части каждой диаграммы Венна Я совсем...
31.03.2023 16:40
7 759
Придумайте высказывание, являющееся дизъюнкцией трех высказываний, одно из которых истинно, а...
30.03.2023 15:08
3 1,717
Верно ли, что 1. Пересечение внутренностей 2-х множеств открыто 2. Объединение любого семейства...
29.03.2023 14:08
2 709
Помогите пожалуйста, плохо разобрался в теме, нужно составить сейчас решение к этим номерам. Буду...
28.03.2023 21:09
2 635
Используя определение мощности, доказать: множество точек круга эквивалентно множеству точек...
27.03.2023 14:25
4 1,412
1.Найти все неравносильные между собой следствия из посылок: «Если человек не будет пить и есть,...
27.03.2023 01:20
1 594
Приводил формулу к СДНФ (\bar{\bar{x*y}})+(x\rightarrow y)*x Получилось этакое...
27.03.2023 01:05
1 372
Старался привести формулу к кнф (!x\rightarrow y)\rightarrow x Далее сделал данное действия, но...
26.03.2023 22:09
2 1,324
Доказать, что ^2 ~ , воспользовавшись теоремой Кантора - Берштейна.
26.03.2023 18:07
1 845
Уже весь измучился в поисках решения. Может кто обьяснить с решением и ответом? (x\rightarrow...
26.03.2023 11:02
5 455
Добрый вечер, помогите пожалуйста упростить:
25.03.2023 14:46
10 614
Здравствуйте! Вопрос по доказательству задачи из учебника В.А.Зорича мат.анализ (глава 1, параграф...
25.03.2023 13:41
1 475
Задача стоит такая: выразить сначала конъюнкцию, потом дизъюнкцию, потом разность (относительное...
25.03.2023 00:25
1 955
Задача. Определите логическое произведение и логическую сумму всех двоичных чисел в диапазоне от...
22.03.2023 00:59
1 4,713
Неожиданно стало интересно, существует ли формула для нахождения количества отношений в множестве,...
21.03.2023 18:22
2 428
По заданной таблице истинности согласно варианту построить логическую функцию F(a,b,c). 4 вариант
20.03.2023 14:06
5 1,687
Вечер добрый, подскажите область определения Dp и область значения Rp при p={ (x,y)| y<2x} я в...
17.03.2023 02:05
20 3,177
((x→y)^(y→z))→(x→z)
16.03.2023 12:00
3 1,906
а) Пусть P — частичный порядок на некотором множестве A, и пусть a — единственный максимальный...
12.03.2023 18:23
1 975
Такая задача. Рассмотрите два составных высказывания: F1="Если одно слагаемое делится на три и...
12.03.2023 18:10
11 1,719
Дано 12 монет, 1 монета либо легче либо тяжелее остальных. Как за 3 взвешивания определить эту...
11.03.2023 16:34
1 442
Задача. Предикат ((8x-6)<75)\rightarrow (x(x-1)>65) определен на множестве целых чисел....
11.03.2023 13:17
0 744
Задача. Сколько различных решений имеет логическое уравнение? 1) (A \vee B \vee C) &...
11.03.2023 10:48
3 2,048
Задача. Сколько решений имеет логическое уравнение x1 & x2 v x3 & x4 = 1. Решаю так. ...
11.03.2023 00:42
4 3,603
Задача. Изобразите в декартовой прямоугольной системе координат множества истинности для следующих...
11.03.2023 00:39
3 2,348
Задача. Даны три числа в различных системах счисления: А=2310, В=238, С=1А16. Переведите А,...
10.03.2023 23:47
6 4,595
Всем привет, поисковик выдаёт только базис или-не !(x+y), мне нужно как-то минимизировать СДНФ в...
10.03.2023 22:59
1 662
Задача. Логическое отрицание восьмиразрядного двоичного числа, записанное в десятичной системе...
10.03.2023 22:31
3 1,518
Задача. Какие из высказываний A, B, C должны быть истинны и какие ложны, чтобы были ложны...
10.03.2023 17:32
0 8,754
Задача. Найдите все целые числа Z, для которых истинно высказывание: 1) \overline{(Z>5)} &...
10.03.2023 16:13
3 1,344
Помогите упростить выражение, используя аксиомы и законы теории множеств с пояснением каждого шага....
09.03.2023 15:13
2 866
проверить равенство методом преобразований в алгебре множеств а также графически
08.03.2023 23:14
1 718
Задать вопрос
IndentationError
0 7777
Mr. Docker
0 6436
EggHead
0 7910
EggHead
0 8721
EggHead
0 4886
Javaican
0 2434
EggHead
0 4526
Codd
0 9073
Новая тема
Новые блоги и статьи
ИИ не может найти нужный язык в списке
Supersumestria 05.10.2026
Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .
Новая последняя моя музыка в SUNO
zorxor 05.10.2026
Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .
Программный домашний кинотеатр
russiannick 27.09.2026
Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого
zorxor 21.09.2026
Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .
Мобильное приложение ColorStep
pavlinmavlin 17.09.2026
Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .
Запрет дублирования строк в табличной части
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. Опрашиваются регистры. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru