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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,595,125 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,130
Обычные темы
Задать вопрос
Здравствуйте, помогите пожалуйста.:) Пусть у нас есть 2 алгебры A=(M;\varphi), B=(P;\psi) где ...
15.04.2020 07:56
1 1,453
Здравствуйте. Помогите пожалуйста записать множество с помощью операций.:) Множество изображено...
14.04.2020 19:43
1 550
а)Дан двоичный код длины m. Найти число k дополнительных бит и код Хемминга, соответствующий...
13.04.2020 16:42
0 1,042
Помогите пожалуйста, не могу никак это решить, заранее огромное спасибо всем, кто откликнется ...
13.04.2020 15:26
1 531
Здравствуйте. Помогите пожалуйста ответить на данный вопрос.:( Является ли множество квадратных...
12.04.2020 12:50
2 3,143
В группе 15 человек знают английский язык, 16 человек знают немецкий язык, 20 человек ...
12.04.2020 09:12
3 4,996
В группе 17 человек знают английский язык, 14 человек знают немецкий язык, 20 человек ...
12.04.2020 00:47
1 1,700
Здравствуйте. Есть задача - минимизировать логическую функцию: X = !ABC + AB!C + AB Пытаюсь...
11.04.2020 19:05
1 1,195
Проверить, верно ли равенство? Здравствуйте. Я вроде немного по сокращал -> C x D = (C x D) \/...
11.04.2020 16:14
1 648
Найти матрицу отношения R \subset M * {2}^{M}, R = {(x,y) | x \in M & y \subset M & |y|<y+2} где...
11.04.2020 14:54
12 2,799
Здравствуйте, помогите пожалуйста упростить вид множества.:( Упростить вид множества, заданной с...
11.04.2020 01:55
1 1,520
Проверить является ли это отношение рефлексивным, симметричным, транзитивным, антисимметричным? ...
10.04.2020 21:30
1 2,164
Помогите выполнить задания. Задание 1: Определить, сколько различных предикатов определяет...
10.04.2020 18:00
3 4,362
Здравствуйте, не могу доказать тождество: Помогите пожалуйста, если можете.:cry:
10.04.2020 17:25
2 1,258
Найти минимальное ДНФ для функции p=x'z'+y'. По примерам не понял как это можно сделать для этой...
10.04.2020 01:59
4 1,156
Доказать клаузу методом резолюций и методов Вонга А→С,AuB,B→D,D→C=>C Помогите пожалуйста
10.04.2020 01:40
1 807
Добрый вечер, может кто помочь с переводом? Заранее благодарю.
09.04.2020 19:18
0 867
Воспользовавшись алгоритмом Маркова установить, обладает ли данная схема кодирования свойством...
09.04.2020 17:48
2 1,895
Буду благодарен, если сможете мне помочь.
09.04.2020 15:20
1 1,409
Помогите пожалуйста с переводом на язык предикатов: "Логарифмы всех положительных рациональных...
09.04.2020 14:59
3 1,642
Задача: Найти число функций,зависящих от переменных x1,x2,...,xn и удовлетворяющих условию: функция...
08.04.2020 01:57
1 2,325
Дело в том, что при решении оказалось, что эта система функций не является функционально полной, а,...
08.04.2020 00:22
1 3,207
Добрый день! Помогите, пожалуйста, разобраться в выражении (A+B)&(C+D). На сколько я понимаю, тут...
07.04.2020 19:46
1 1,275
Подскажите как упростить выражение
05.04.2020 20:58
3 424
Добрый день! Помогите, пожалуйста, доказать тавтологию методом резолюций. Когда решаю сам, не могу...
04.04.2020 15:25
7 1,637
Доказать примитивную рекурсивность функции с использованием либо ограниченного оператора...
03.04.2020 11:05
0 713
Привести пример бинарного отношения \rho \subset A*A, где A = {a, b, c, d, e} , Которое является...
02.04.2020 14:24
11 1,541
Помогите из данного предиката \left(x<0 \right)\vee \left(x=0 \right)\vee \left(x>0 \right) с...
02.04.2020 14:23
1 1,164
Изобразить отношение графически: см скрин внизу ,где R- множество действительных чисел
01.04.2020 19:59
1 554
Доказать тождество A\(B∪C)=(A\B)⋂(A\C)
01.04.2020 17:48
3 1,583
Доказать,что A=B \Leftrightarrow (A \setminus B) \cup (B \setminus A) = \emptyset
01.04.2020 16:24
4 676
Определить множество (если это возможно), на которой данное отношение являются: а) функциональным;...
01.04.2020 10:08
1 474
Какие из следующих отношений на Z являются отношениями порядка? {R}_{1} : x{R}_{1}y \leftarrow...
01.04.2020 09:51
5 1,882
Добрый день Нужна ваша помощь Найти матрицу бинарного отношения p є A * B, заданного на двух...
31.03.2020 20:02
1 460
Введите предикаты на соответствующих областях и запишите при их помощи следующие высказыва¬ния в...
31.03.2020 15:43
1 1,473
Не могу доказать равенство двух выражений, не знаю даже от чего следует отталкиваться при док-ве....
31.03.2020 14:36
1 550
Здравствуйте! Подскажите пожалуйста, как изобразить множество истинности для моего предиката
30.03.2020 17:55
2 748
Задали РГР,но я к сожалению не могу решить первое и второе.Помогите с решением пожалуйста
30.03.2020 04:38
2 659
Добрый день. Прошу помочь записать формулу и расписать по возможности подробно. Записать формулу...
30.03.2020 00:12
1 601
Добрый день Нужна ваша помощь Найти матрицу отношения
29.03.2020 23:56
1 481
Доказать ├ ( A → B ) → ((¬A → B ) → B ) Нужна помощь с доказательством. Заранее благодарю.
29.03.2020 23:53
1 532
Для следующих формул алгебры предикатов найдите равносильную им приведенную форму, т. е. такую...
28.03.2020 21:13
1 1,724
Найдите формулу F (X, Y), зависящую только от переменных X и Y и являющуюся логическим следствием...
28.03.2020 21:12
1 1,777
Добрый день. Прошу помочь определить функцию f(x,y) и расписать по возможности подробно. ...
28.03.2020 20:25
3 2,196
Добрый день. Прошу помочь построить вывод формулы и расписать по возможности подробно. ...
27.03.2020 18:30
2 1,409
Прошу помочь решить и расписать по возможности подробно. Доказать, что формула является...
27.03.2020 18:11
1 2,980
Добрый день. Прошу помочь доказать теорему и расписать по возможности подробно. Методом...
27.03.2020 17:56
1 620
Доказать справедливость равенства при любом n \in N ...
26.03.2020 23:32
1 799
Добрый вечер, Помогите пожалуйста разобраться с решением задачи: На множестве однозначных...
26.03.2020 23:15
1 1,467
Докажите, что для произвольных множеств A, В и С справедливы следующие равенства:...
26.03.2020 22:56
1 2,747
Задать вопрос
IndentationError
0 7726
Mr. Docker
0 6343
EggHead
0 7891
EggHead
0 8638
EggHead
0 4877
Javaican
0 2419
EggHead
0 4485
Codd
0 8994
Новая тема
Новые блоги и статьи
Nekobox - outbounds[0].transport: unknown transport type: raw
damix 01.10.2026
Фикс ошибки Правым кликом по серверу -> отладочная информация -> edit Заменить "net": "raw", на "net": "tcp", Нажать кнопку reload.
Программный домашний кинотеатр
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. Опрашиваются регистры. . .
Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0.
Maks 31.08.2026
При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru