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

Обсуждение математической логики, теории алгоритмов и теории множеств.

Форум программистов и сисадминов Киберфорум

Войти

Регистрация
Восстановить пароль

Блоги

Сообщество

Поиск

34 из 168

Темы раздела : Мат. логика и множества

Искать в этом разделе

	Показов: 62,288 Объявление: Если возникла необходимость отредактировать/переместить тему 26.04.2016 tezaurismosis (Администратор)
	Показов: 4,599,008 Объявление: Правила форума 20.11.2006 mik-a-el (Администратор)

	Рейтинг Тема / Автор	Обновлено	Ответов	Показов
Важные темы
	Важно: Для тех, кому нужна таблица истинности. Готовое решение	27.03.2022 11:20	3	10,139
Обычные темы
Задать вопрос
	Как найти дизъюнкцию для пары частично определенных булевых функций Помогите, пожалуйста, разобраться с тем, как выполнять операции дизъюнкции, конъюнкции и ...	30.05.2020 11:37	1	464
	Записать множество Записать множество с помощью операций	29.05.2020 20:55	1	1,132
	Разрешимость теорий 1го порядка Доказать разрешимость теория первого порядка с равенством К1 – элементарной теории равенства....	29.05.2020 20:54	1	615
	Доказать или опровергнуть справедливость следующих правил вывода, установив доказуемость соответствующих формул Доказать или опровергнуть справедливость следующих правил вывода, установив доказуемость...	29.05.2020 20:48	1	1,117
	Доказать следующими методами - аксиоматическим, методом резолюции и теоремой дедукции Добрый вечер, не могли бы вы помочь с этим заданием. Каждую клаузу необходимо доказать следующими...	29.05.2020 20:46	1	2,377
	Найти формулы ПНФ и ССФ Добрый вечер, не могли бы вы помочь с этим заданием. Найти формулы ПНФ и ССФ	29.05.2020 20:35	1	1,952
	Проверить доказуемость формул Добрый вечер, не могли бы вы помочь с этим заданием.	29.05.2020 20:25	1	522
	Логическим методом доказать тождество	29.05.2020 06:37	2	1,849
	Доказать или опровергнуть равносильности алгебры высказываний 2.Доказать или опровергнуть равносильности алгебры высказываний: A+(B+!C)->B=!(B->A) Заранее...	29.05.2020 00:43	4	2,023
	Упростить, используя формулы равносильности 1.Необходимо упростить данную функцию используя формулы равносильности: (P !Q)+ (P !R) + (Q *...	29.05.2020 00:20	1	2,079
	Определить обоснованность претензии В заданных парах утверждение 2 претендует на роль отрицания предложения 1. Определить...	28.05.2020 23:36	3	671
	Какие из следующих утверждений верны Какие верны и приведите, пожалуйста, пример таких множеств.	28.05.2020 22:26	1	1,535
	Проверить полноту системы функций . Изменить функции системы Задание Проверить полноту системы функций . Изменить функции системы Последовательно для...	28.05.2020 17:19	4	2,025
	Найдите область истинности предикатов Пусть	28.05.2020 09:21	0	1,625
	Проверить самодвойственность функции Не могу понять как проверить функцию через формулу. Судя по таблице, она самодвойственна, но такое...	27.05.2020 23:01	1	1,979
	Привести пример отношения не симметричного, а не рефлексивного и транзитивного А точнее! Привести пример отношения не симметричного, не рефлексивного и транзитивного.	27.05.2020 19:46	3	1,281
	Бинарное отношение Помогите!	27.05.2020 17:50	0	264
	Введите одноместные предикаты на соответствующих областях и запишите при их помощи следующее высказывание в виде формул Здравствуйте,помогите с этим заданием.Введите одноместные предикаты на соответствующих областях и...	27.05.2020 05:55	0	2,567
	Доказать, что {x->y, xy} является базисом в T1 Доказать что {x->y, xy} является базисом в T1. Для этого сделать следующее: 1) охарактеризовать...	27.05.2020 04:20	19	1,386
	Дано логическое уравнение (\bar{A+B})+(\bar{A}*\bar{B})+A 1) вычертить функциональную логическую схему , предварительно...	27.05.2020 01:41	2	373
	Найти множества истинности следующих предикатов, заданных над указанными множествами 1. "x кратно 3", М={1, 2, 3, 4, 5, 6, 7, 8, 9}; 2. "x кратно 3", М={3, 6, 9, 12}; 3. "x кратно...	26.05.2020 21:52	3	5,902
	Создать Базу правил в мамдани (матлаб) Прошу помощь в создании базы правил в матлабе, сколько будет правил, если у меня 5 лингвист...	26.05.2020 16:21	0	490
	Упрощение множеств Помогите упростить! (A ∪ B) ∪ (A ∪ B)	26.05.2020 16:16	2	1,668
	Как это сделать? на картинке	26.05.2020 12:36	0	299
	С помощью теоремы Поста выяснить, полна ли заданная система булевых функций С помощью теоремы Поста выяснить, полна ли заданная система булевых функций.	26.05.2020 11:02	0	884
	Проверить решение Верно ли я сделал? При решении нужно использовать лемму о несамодвойственной функции. Выразить...	25.05.2020 22:25	1	396
	Установите, является ли заданное отношение R на A отношением эквивалентности Установите, является ли заданное отношение R на A отношением эквивалентности. Для каждого отношения...	25.05.2020 14:12	7	3,903
	Логическая схема алгоритма Может кто-нибудь составить схему алгоритма для заданных команд: from A0 to A2 from A2 to P6 from...	24.05.2020 15:59	0	378
	Исследовать взаимное включение построенных множеств Доброго времени суток, есть задача, в которой не могу понять поставленную задачу. В мыслях есть...	22.05.2020 23:17	1	3,077
	Задача по рекурсивно перечислимым множествам Помогите с доказательством Задание во вложении	22.05.2020 15:31	1	523
	Упростить релейно-контактную схему Упростить релейно-контактную схему и изобразить получившийся результат.	22.05.2020 13:47	0	815
	Написать на языке логики предикатов. Квадрат любого числа, отличного от нуля, положителен Здравствуйте, помогите пожалуйста написать 3 предложения на языке логики предикатов: 1.Квадрат...	21.05.2020 16:01	1	956
	Составить логическую формулу и проверить истинность высказывания Математическая логика. Составить логическую формулу и проверить истинность высказывания Чтобы...	21.05.2020 15:04	16	7,391
	Навесить кванторы общности и существования на трехместный предикат P(x, y, z) и построить отрицание к предикату Р(x,y,z) = «3х<2y^z; х,y,z∈R»	21.05.2020 12:58	9	4,180
	Написать на языке логики предикатов. Среди чисел меньших 1578 и больших 936 найдется нечетное 2.Среди чисел меньших 1578 и больших 936 найдется нечетное	21.05.2020 08:57	0	513
	Написать на языке логики предикатов. Во всякой книге есть страница в которой найдется хотя бы одна буква а 3 Во всякой книге есть страница в которой найдется хотя бы одна буква а	21.05.2020 08:57	0	510
	Перевести выражения естественного языка на язык исчисления предикатов: наибольший общий делитель чисел и делится на всякий их общий делитель ( – “...	20.05.2020 17:54	1	2,149
	Вычислить выражение с множествами A={8n} B={12n} B\A=?	19.05.2020 17:07	1	416
	Дискретная математика Пожалуйста, помогите с решением данной задачи.	19.05.2020 17:07	0	501
	Задача по дискретной математике Подскажите, пожалуйста...	19.05.2020 16:50	0	402
	Перевод в базис "И-НЕ" Привет всем, Помогите пивести к базису и-не следующее выражения (A+B)(DC+A)+C(DA+A*B). Нижние...	19.05.2020 14:23	0	1,111
	Определить область истинности предиката Помогите определить область истинности предиката P(x): "(x-нечетное число) → (x - квадрат...	19.05.2020 11:16	1	620
	Докажите тождественную истинность формулы 2. Докажите тождественную истинность формулы Х ̅ →(Х→У). срочно умоляю помогите я на зачете	19.05.2020 10:09	1	8,031
	Написать формулу Добрый день, помогите пожалуйста сделать: Нужно написать формулу Ф(x,y) такую, что \langle...	19.05.2020 04:08	11	2,315
	Изобразить на координатной плоскости множество истинности предиката Срочно! Нужна помощь	18.05.2020 20:10	0	2,461
	Будет ли истинна формула логики предикатов? 5.1.Даны утверждения: A(n)= {число n делится на 3}; B(n)= {число n делится на 2}; C(n)= {число n...	18.05.2020 16:52	1	956
	В пропозиционных функциях сделайте подстановку переменной В пропозиционных функциях сделайте подстановку переменной, чтобы в первом случае получилось...	18.05.2020 16:49	1	3,841
	Связывая переменные кванторами, превратите функции в высказывания Связывая переменные кванторами, превратите функции в высказывания: а) х автор романа у; б) город...	18.05.2020 16:46	1	3,462
	Запишите формулу с одной свободной переменной х, истинную тогда и только тогда, когда Пусть М = , где S3(x, у, z) = И <=> х + у = z, а Р3(х, у, z) = И <=>х у = z (И истинность)....	18.05.2020 16:44	1	1,974
	Мат. логика и множества Проанализируйте следующие высказывания, определите, будут ли они верными при х ∈N, у∈ R. ∃x ∀y...	18.05.2020 16:38	1	789
Задать вопрос
	Побитовые операторы в Python IndentationError	AI coming for you	0	7773
	Инфраструктура PKI и сертификатов безопасности Mr. Docker	Docking everything, K8s anything	0	6414
	Введение в Q# - язык квантовых вычислений от Microsoft EggHead	For science glory!	0	7910
	Гибридные квантово-классические вычисления: Примеры оптимизации EggHead	For science glory!	0	8695
	Квантовое будущее для разработчиков: Что необходимо знать сегодня EggHead	For science glory!	0	4886
	Квантовые вычисления и Java. Сможет ли JVM адаптироваться? Javaican	Making Java great for ever	0	2434
	Влияние квантовых вычислений на алгоритмическую сложность EggHead	For science glory!	0	4522
	Реляционная модель и правила Кодда: фундамент современных баз данных Codd	Data... Everywhere	0	9069

34 из 168

Новые блоги и статьи Все статьи Все блоги /
Запустил конкурс "тем и промптов для текстовых квестов созданных почти чисто ИИ" Adler 06.10.2026 Всем привет! За последние три-четыре дня я создал более 16 текстовых квестовых игр используя преимущественно по одному запросу к ИИ на игру. Мне так понравилось смотреть все ветки/ сцены во всех. . .	ИИ не может найти нужный язык в списке 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 и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .

Наверх