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

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

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

Войти

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

11 из 168

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

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

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

	Рейтинг Тема / Автор	Обновлено	Ответов	Показов
Важные темы
	Важно: Для тех, кому нужна таблица истинности. Готовое решение	27.03.2022 11:20	3	10,127
Обычные темы
Задать вопрос
	Построить новые алгоритмы n и найти значение n(P) используя композиции заданных алгоритмов Задано три алгоритма n1,n2,n3 , фиксированное слово R и входное слово Р. Построить новые алгоритмы...	19.05.2022 23:06	0	383
	Переход от СКНФ к СДНФ Помогите пожалуйста перейти от СКНФ к СДНФ, не понимаю каким образом это делается, через двойное...	19.05.2022 16:11	4	821
	Построить вывод в теории L \|-(AvB)&(AvC)→Av(B&C); \|-(AvB→C)→(A→C)v(B→C); Помогите пожалуйста	19.05.2022 14:28	1	443
	Предикатные формулы. Записать для каждой формулы равносильную, расшифровать запись аналогом на русском языке: Помогите пожалуйста, всё никак не доходит информация.. Нужно записать для каждой формулы...	18.05.2022 14:46	1	459
	Решить уравнение Решить уравнение: ((x→1)∧x)<=>1≡0	17.05.2022 19:09	3	380
	Свести формулы логики предикатов к предваренной нормальной форме Свести формулы логики предикатов к опереженной нормальной форме.	16.05.2022 14:56	1	648
	Привести к ПНФ Привести к ПНФ	16.05.2022 14:52	1	360
	Нужно найти ( 1 2 ) Здравствуйте! Помогите, пожалуйста, сделать следующее задание по теме множества: Нужно найти ...	16.05.2022 01:02	26	1,230
	Описать множество, которое соответствует зарисованной части диаграммы Венна Здравствуйте! Помогите, пожалуйста, сделать задание: Опишите множество, которое соответствует...	15.05.2022 23:29	8	945
	На диаграмме Венна трех множеств A, B и С указать точки, которые принадлежат множеству R Здравствуйте, помогите решить такое задание, пожалуйста: На диаграмме Венна трех множеств A, B и...	15.05.2022 23:10	12	990
	Карты Карно. Сокращённая и тупиковые ДНФ 0000 0010 0111 1110 Здравствуйте! Решал задачку, получился такой ответ: Тупиковые ДНФ:...	13.05.2022 16:17	1	1,008
	Нужно рассчитать характеристики многоканальной системы массового обслуживания Здравствуйте, можете помочь с заданием. Задание прикрепил	13.05.2022 14:57	0	250
	Определить, какому столбцу таблицы соответствует каждая из переменных w, x, y, z Здравствуйте. Имеется логическое выражение: (X V Y) & !(Y ~ Z) & W Дана исходная таблица,...	13.05.2022 11:41	0	909
	Приведите равносильными преобразованиями формулу к дизъюнктивной нормальной форме (¬x∧¬ y)∨(x↔z) 2.Используя СДН-форму, найдите формулу, принимающую значение 1 на наборах значений...	13.05.2022 00:45	1	1,242
	Перевести выражения с естественного языка на язык исчисления предикатов Очень нужно решить задачи прикреплённые в скриншоте	12.05.2022 19:23	2	403
	Используя основные эквивалентности доказать эквивалентность формул(путем преобразований) Ф = (x1(x3~x1))↓((-x1)∨(x2\|x1)) U = -((x1x1x2)→(x3x1)) Заранее спасибо	11.05.2022 13:30	0	1,001
	Определить, истинным или ложным является высказывание. Кванторные операции над предикатами Задание: Получается истина? Просто я попробовал сделать, и получилось так.	11.05.2022 07:11	1	426
	Подберите элементарные предикаты и запишите формулой следующие высказывания и определения Подберите элементарные предикаты и запишите формулой следующие высказывания и определения:...	09.05.2022 22:08	15	965
	Проверка эквивалентности приведением формул к СДНФ или СКНФ Помогите пожалуйста, не могу провести проверку эквивалентности приведением формул к СДНФ или СКНФ с...	07.05.2022 18:28	4	2,568
	Бесконечные множества Имеем бесконечное множество натуральных чисел. Возник вопрос: сколько бесконечных множеств можно...	07.05.2022 10:47	17	1,909
	Построить контактную схему методом каскадов f = !x1!x3+x2>x4, где ! - отрицание, + - сумма по модулю 2, > стрелка Пирса Разложил функцию по...	05.05.2022 20:36	0	296
	Множества Помогите пожалуйста срочно. Верно ли равенство. A (B \cap C\cup D)=(A B) \cap (A * C) \cup (A...	04.05.2022 20:59	17	742
	Доказать, что формула выводима в ИВ (A&B)~(¯(¯A v¯B))	04.05.2022 17:14	1	288
	Найти тупиковые днф Добрый день. Помогите, пожалуйста, найти все тупиковые днф. Совсем не понимаю, как это сделать	03.05.2022 20:46	1	423
	Поиск всех возможных путей между вершинами графа Необходимо решить такую задачу: Разработать программу, которая: а) считывает формальное...	03.05.2022 07:55	5	1,087
	Определить множество Определить множество (если это возможно), на котором данное отношение является: а) функциональным;...	02.05.2022 23:03	5	478
	Изобразить отношение графически Изобразить отношение графически: где R - множество действительных чисел есть такой график ,что...	02.05.2022 16:58	4	532
	Доказать аналитическим путем справедливость выражения Доказать аналитическим путем справедливость выражения, затем проверить с помощью таблиц истинности.	01.05.2022 20:01	3	1,206
	Найти тупиковые ДНФ Добрый лень, подскажите, пожалуйста, как найти тут тупиковые ДНФ?	29.04.2022 18:58	1	1,047
	Используя производные правила вывода, докажите, что справедливы следующие выводимости: Задание:	28.04.2022 21:45	1	610
	Докажите, что имеют место следующие выводимости: 1) G, G → H ⊢ F → H; Аксиомы: (A1) F->(G->F), (A2) ((F->(G->H))->((F->G)->(F->H)), (A3)...	28.04.2022 21:40	3	556
	Используя теорему о дедукции, докажите следующие выводимости: Задание:	28.04.2022 21:37	3	698
	Доказать тождество А×(B ∪ C)=(A×B) ∪(A×C)	28.04.2022 13:02	2	372
	Доказать, что принцип полной индукции является теоремой формальной арифметики Доказать, что принцип полной индукции является теоремой формальной арифметики. Дать неформальное...	27.04.2022 22:34	1	405
	Найти матрицу отношения Найти матрицу отношения где M : {1, 2,3} :	25.04.2022 19:41	3	798
	Логическим методом доказать тождество пожалуйста подскажите как решить	25.04.2022 16:01	14	549
	Декартов произведение множеств Доказать что АхВ=ВхА тогда и только тогда когда А=В	25.04.2022 11:23	1	451
	Льюис Кэррол - "Символическая логика" День добрый! Книга V Зачем были манёвры c: "«живые существа» в качестве Вселенной" ? Что...	22.04.2022 01:03	1	381
	Можно ли строить причинно-следственные связи от прилагательных, насколько это корректно Привет. Можно ли строить причинно-следственные связи от прилагательных, насколько это корректно?	19.04.2022 17:57	2	513
	Докажите, что следующие формулы являются тавтологими или противоречиями Здравствуйте. Нужна помощь. Задание: докажите, что следующие формулы являются тавтологиями или...	17.04.2022 20:27	1	790
	Упростить вид множества Я понимаю что сначала надо превратить во вторую картинку, а дальше у меня ступор, намекните...	16.04.2022 01:51	8	922
	Какими свойствами обладает данное отношение На множестве А задано отношение R: x делится на y без остатка. Построить матрицу и граф отношения...	14.04.2022 13:36	1	445
	Расчет количества порождаемых объектов Всем доброго дня! При написании программного обеспечения возникла необходимость в определении...	12.04.2022 20:59	6	502
	Привести булеву функцию f к минимальной дизъюнктивной нормальной форме с методом непосредственных преобразований Привести булеву функцию f к минимальной дизъюнктивной нормальной форме с методом...	11.04.2022 21:08	1	399
	Сопоставить формуле высказывание произвольной природы	09.04.2022 11:54	2	622
	Есть ли ошибка? Недавно размещал на форуме тему по приведению к КНФ, вроде решил и всё правильно, но после сдачи...	08.04.2022 21:49	1	372
	Формализовать высказывание Если давление понижается, то газ не сжимается, если же газ сжимается, то взрыва не избежать, при...	06.04.2022 15:02	1	333
	Как такое доказывать? Пишет: Доказать, но я не понимаю что именно там писать, как-то пропустил момент, когда такое учили,...	06.04.2022 10:35	9	1,304
	Является ли отношение рефлексивным, симметричным, антисимметричным, транзитивным Задано бинарное отношение P  Z^2; найти его область определения и область значений. Проверить по...	05.04.2022 21:49	3	606
	Унификация дизъюнктов Получил дизъюнкты: (¬ A(y)∨B(y) ∨ A(x) ∨C(f2(x)) (¬ A(y)∨B(y) ∨ A(x) ∨ ¬B(y)) (¬ A(y) ...	04.04.2022 23:42	8	1,857
Задать вопрос
	Побитовые операторы в Python IndentationError	AI coming for you	0	7663
	Инфраструктура PKI и сертификатов безопасности Mr. Docker	Docking everything, K8s anything	0	6292
	Введение в Q# - язык квантовых вычислений от Microsoft EggHead	For science glory!	0	7830
	Гибридные квантово-классические вычисления: Примеры оптимизации EggHead	For science glory!	0	8557
	Квантовое будущее для разработчиков: Что необходимо знать сегодня EggHead	For science glory!	0	4843
	Квантовые вычисления и Java. Сможет ли JVM адаптироваться? Javaican	Making Java great for ever	0	2383
	Влияние квантовых вычислений на алгоритмическую сложность EggHead	For science glory!	0	4432
	Реляционная модель и правила Кодда: фундамент современных баз данных Codd	Data... Everywhere	0	8950

11 из 168

Опции раздела	Искать в этом разделе
Отметить раздел прочитанным Показать родительский раздел	Искать в этом разделе : Расширенный поиск Темы без ответов

Новые блоги и статьи Все статьи Все блоги /
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого 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) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .

Наверх