Темы с меткой математическая логика

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

Войти

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

1 из 4

Темы с меткой математическая логика
	Тема / Автор	Обновлено	Ответов	Показов	Раздел
	Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции Всем привет! На данный момент прохожу обучение в универе и нам задали задачи по мат.логике, но я не...	28.12.2023 10:55	3	1,415	Мат. логика и множества
	Нормальный алгоритм Маркова. Считая непустое слово Р записью троичного числа, увеличить это число на 1 A=(0,1,2) Считая непустое слово Р записью троичного числа, увеличить это число на 1 Добавлено...	13.12.2023 23:02	1	1,138	Теория автоматов
	Доказать: множество точек окружности и множество точек открытого круга эквивалентны Здравствуйте! Помогите, пожалуйста, решить задачу: Доказать, что множество точек окружности и...	08.12.2023 13:38	2	1,211	Мат. логика и множества
	Докажите аналитическим путём справедливость выражений или упростите выражение Докажите аналитическим путём справедливость выражений или упростите выражение Правила форума,...	03.11.2023 11:31	1	417	Мат. логика и множества
	Построить СНФ вот формула которую надо привести к снф ∀x((x+z<y)∧(∀y¬(y*2=u)→∃z∀u(u+x=z+y))) , я сделал но крайне...	04.06.2023 23:19	1	560	Мат. логика и множества
	Найдите отношения ρ–1 , ρ ° ρ , ρ–1 ° ρ–1 для бинарного отношения x ρ y ⇔ «x2 + y2 = 1», определенного на множестве Z Найдите отношения ρ-1, ρ ° ρ , ρ-1 ° ρ-1 для бинарного отношения x ρ y ⇔ «x2 + y2 = 1»,...	06.04.2023 13:23	2	691	Мат. логика и множества
	Упростите логическое выражение (мДНФ) Упростите логическое выражение: (x^z^¬k) ∨ (¬x^y^Z) ∨ (x^y^¬Z^k)	28.12.2022 14:15	1	361	Мат. логика и множества
	Найти ошибку в следующем рассуждении Найдите ошибку в следующем рассуждении. Докажем методом математической индукции, что через любые n...	21.12.2022 20:42	1	556	Мат. логика и множества
	Рассчитайте количество слов, состоящих из семи букв Рассчитайте количество слов, состоящих из семи букв, если требуется соблюдать следующие условия...	14.12.2022 19:49	1	1,525	Комбинаторика
	В структуре (ℕ0,+,∗,=,0,1), где ℕ0 – множество, состоящее из натуральных чисел и нуля, выразить предикаты В структуре (N0, +,∗, = ,0,1), где N0 – множество, состоящее из натуральных чисел и нуля, выразить...	27.11.2022 23:21	1	475	Мат. логика и множества
	Докажите выражение A\B = A <=> B\A = B. Пробовал доказать таким образом: => B\A = B тогда когда A и B не равно...	27.11.2022 14:19	5	514	Мат. логика и множества
	В структуре (ℕ0, +,∗, = ,0,1), где ℕ0 – множество, состоящее из натуральных чисел и нуля, выразить предикаты В структуре (ℕ0, +,∗, = ,0,1), где ℕ0 – множество, состоящее из натуральных чисел и нуля, выразить...	14.11.2022 15:27	2	918	Мат. логика и множества
	Задача по математической логике Пусть	14.11.2022 08:23	0	39	Алгебра, теория чисел
	ДНФ, КНФ, СДНФ, СКНФ в алгебре высказываний Теория множеств использование ДНФ, КНФ, СДНФ, СКНФ .решить этот вопрос.Я плохо понимаю по - русски. Правила...	13.11.2022 06:08	5	621	Мат. логика и множества
	Доказать с помощью математической индукции, что для любого натурального n ≥ 0 имеем Числа Фибоначчи определяются следующим рекуррентным правилом: F0 = 1, F1 = 1, Fk+2 = Fk+1 + Fk для...	12.11.2022 22:18	1	529	Мат. логика и множества
	Переведите с естественного языка на язык логики предикатов Переведите с естественного языка на язык логики предикатов: Помогите пожалуйста: "Волки и люди...	12.11.2022 12:27	2	486	Мат. логика и множества
	ДНФ, КНФ, СДНФ, СКНФ в алгебре высказываний Теория множеств использование ДНФ, КНФ, СДНФ, СКНФ .решить этот вопрос.	10.11.2022 12:39	0	29	Мат. логика и множества
	Математическая логика, модуль	27.10.2022 15:13	0	18	С++ для начинающих
	Проверьте тремя способами правильность логического рассуждения «Люди общаются тогда и только тогда, когда есть общие темы. У однокурсников есть общие темы, но они...	24.10.2022 15:32	5	2,611	Мат. логика и множества
	Упростить выражение Дано выражение: ((A⇔¬B)⇒C)⇒(A⇔¬C) Я упросил до: (A∧¬C)∨(B∧¬A)∨(C∧¬A) Преподаватель сказал что это...	15.10.2022 01:08	1	404	Мат. логика и множества
	Программа для преобразования основных логических функций в базис и записи данных в БД Всем доброго времени суток, на практике выпала задача, которая указана в заголовке, столкнулся с...	28.06.2022 19:47	0	431	C# для начинающих
	Машина Тьюринга. Построить МТ, правильно вычисляющую функцию Построить МТ, правильно вычислчющую функцию: f(x,y,z)=z mod 2+2.	16.06.2022 23:54	0	733	Теория автоматов
	Построить вывод для формулы Здравствуйте, помогите пожалуйста построить вывод для формулы атч А=>(!В=>(!А=>!В)). Вроде...	04.06.2022 22:42	2	580	Мат. логика и множества
	Записать высказывание в виде формул логики высказываний Добрый день, получил этакие задачки Записать высказывание в виде формул логики высказываний...	31.05.2022 17:02	1	934	Мат. логика и множества
	Найти отрицание формулы Добрый день/вечер помогите решить задачки	31.05.2022 16:56	1	376	Мат. логика и множества
	Свести формулы логики предикатов к опереженной нормальной форме Могу отблагодорить за решение задач,отпишите в смс	23.05.2022 00:13	0	112	Мат. логика и множества
	Переход от СКНФ к СДНФ Помогите пожалуйста перейти от СКНФ к СДНФ, не понимаю каким образом это делается, через двойное...	19.05.2022 16:11	4	753	Мат. логика и множества
	Булевы функции Пусть универсальное множество Q состоит из всех десятичных цифр: Q = {0,1,2,3,4,5,6,7,8,9}. Будем...	17.05.2022 18:05	5	809	Дискретная математика
	Используя основные эквивалентности доказать эквивалентность формул(путем преобразований) Ф = (x1(x3~x1))↓((-x1)∨(x2\|x1)) U = -((x1x1x2)→(x3x1)) Заранее спасибо	11.05.2022 13:30	0	923	Мат. логика и множества
	Записать словами предложенные формулы Дано предикать: А(x) и B(x). Записать словами предложенные формулы С и D. 2. А(x) - ученый B(x) -...	26.03.2022 18:28	3	1,107	Мат. логика и множества
	Упростить, используя равносильные преобразования Упростить используя равносильных преобразований Добрый день! Подскажите как решить	14.03.2022 16:25	1	451	Мат. логика и множества
	Доказать общезначимость формулы Нужно доказать что первая формула общезначима. Теорию я хоть и знаю но применить мне тяжко. Помогите	27.02.2022 13:04	4	546	Мат. логика и множества
	Проверить аргумент методом резолюций. Получить все следствия из данных посылок Проверить аргумент методом резолюций. Получить все следствия из данных посылок. «Если X , то (Y...	18.02.2022 12:47	0	711	Мат. логика и множества
	Формализовать умозаключение по заданному модусу 2-Baroko. Все P суть М Некоторые S не суть M Следовательно, некоторые S не суть P ...	15.02.2022 15:03	1	551	Мат. логика и множества
	Минимизация ДНФ и КНФ булевых функций Доброго дня, задали здание по минимизация ДНФ и КНФ булевых функций. Оно во вложении. Суть...	26.01.2022 23:47	2	1,022	Мат. логика и множества
	Определить количество булевых функций Как определить количество булевых функций от 3 переменных, которые на наборах...	18.01.2022 12:00	7	5,731	Мат. логика и множества
	Расшифруйте доказательство 5го свойства из учебника Есть прикреплённые файлы	16.01.2022 16:43	4	458	Мат. логика и множества
	Построить машину Тьюринга характеристической функции отношения x=y Здравствуйте. Пожалуйста, помогите построить машину Тьюринга характеристической функции отношения...	12.01.2022 21:11	1	453	Мат. логика и множества
	Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд 8. Дана машина Тьюринга с алфавитом A={0,1} и программой {q}_{1}1\rightarrow 1L{q}_{1},...	12.01.2022 20:45	1	656	Теория автоматов
	Описать данный предикат, определенный на координатной плоскости На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы...	09.01.2022 20:26	5	743	Мат. логика и множества
	Является ли рассуждение логически правильным Является ли рассуждение логически правильным: «Если почтальон не будет приносить газеты вовремя,...	20.12.2021 23:46	3	706	Мат. логика и множества
	Резолюция Правила форума :rtfm: 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было...	20.12.2021 21:02	1	424	Мат. логика и множества
	Сделать способами Нормальных алгоритмов Маркова и Машиной Тьюринга Добавить а) текстовое описание алгоритма; б) его реализация; в) тестирование.	20.12.2021 18:10	2	992	Теория автоматов
	Докажите, что число дуг графа, смежного к G, равно Докажите, что число дуг графа, смежного к G, равно \sum {deg}^{2}({a}_{i})-2q	18.12.2021 18:49	1	922	Дискретная математика
	Элементы математической логики Здравствуйте не могли бы вы мне п0мочь с задачами ?	12.12.2021 17:44	0	347	Дискретная математика
	Написать содержательный смысл заданного множества и представить диаграммой Эйлера-Венна Помогите решить задачу :help: Пусть U-множество всех студентов института, А- множество всех...	12.12.2021 10:37	2	1,438	Мат. логика и множества
	Найдите отображения f ∘ g, g ∘ f Пусть отображения f, g: R → R имеют вид: \text{f(x)}\begin{cases} & 2x ----------------- x \geq 0...	05.12.2021 10:03	1	531	Мат. логика и множества
	Используя метод резолюций для предикатных выражений, доказать справедливость следующего выражения Добрый вечер, мне нужна ваша помощь. В моем примере не резолируется выражение... Используя метод...	30.11.2021 15:07	3	1,922	Мат. логика и множества
	Используя метод резолюций для предикатных выражений, доказать справедливость следующего выражения Добрый вечер, мне нужна ваша помощь. В моем примере не резолируется выражение... Используя метод...	29.11.2021 17:18	0	166	Мат. логика и множества
	Булеан конечного множества A разбивается на две части Булеан конечного множества A разбивается на две части: в одну входят подмножества с четными числами...	28.11.2021 01:21	2	705	Мат. логика и множества

1 из 4

Новые блоги и статьи Все статьи Все блоги /
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .

Наверх