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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,328,576 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 9,633
Обычные темы
Задать вопрос
Коллеги, добрый день! Кто-нибудь знает как записать основную теорему арифметики (о разложении...
18.04.2025 19:20
3 236
Здравствуйте. Значения битовых операций &,^, ... задаются в т.ч. с помощью таблиц истинности. ...
16.04.2025 11:30
5 681
Доказать что левая формула выводится из правой , используя только аксиомы исчисления высказываний,...
16.04.2025 11:01
7 998
Доказать, что НОК (наименьшее общее кратное) есть ПРФ(примитивно рекурсивная функция). С чего...
19.01.2025 21:11
28 5,399
Не утерян ли смысл записи, при описании полного такта с помощью временных интервалов единицы и нуля...
05.01.2025 22:54
0 296
(A → B); (A → (¬B ∨ C)) ⊢ (A → C)
12.12.2024 21:07
1 409
Доказать общезначимость методом симантических таблиц. \ \forall x (P_1(x) \rightarrow...
07.12.2024 17:39
5 1,667
¬(x∨y∨z)∨¬xy¬z∨xyz∨¬(¬x∨y∨¬z) фиктивной переменной является y
01.12.2024 15:50
4 484
Помогите пожалуйста найти мднф на основе импликантной таблицы.
31.10.2024 18:45
1 1,160
Добрый день! Подскажите, чем отличаются знаки "больше", "меньше" с прямыми и изогнутыми линиями?...
25.10.2024 19:42
2 457
1. Существуют ли такие множества A, B, X, для которых выполняется набор условий A \ B = X \ A = ∅,...
17.10.2024 19:02
7 599
1. Для данного соответствия P ⊆ X × Y определите набор свойств, которыми оно обладает. 2....
17.10.2024 17:32
1 369
Добрый день! Задача из учебника: Основные понятия теории игр : учебное пособие / А. Г. Кремлев....
06.10.2024 17:52
3 485
Используя операции реляционной алгебры составление запросов с использованием специальных и базовых...
27.09.2024 13:04
2 418
Здравствуйте, помогите решить задачу. Сколько существует отношений на множестве из n элементов:...
23.09.2024 19:40
4 555
Вопрос) Некий любитель приключений отправился в кругосветное путешествие на яхте, оснащённой...
19.09.2024 17:00
2 753
3.Новый Офис расположен на кольцевой дороге радиуса 5 км. Саша живёт на той же кольцевой дороге в...
30.08.2024 14:39
6 865
Всем привет! Дано: В прямоугольных координатах xOy существует группа точек -...
27.08.2024 17:09
1 463
5.Номер места в Опенспейсе — 10 цифр, начиная с 0000000000 и заканчивая 9999999999 (т.е. всего...
26.08.2024 16:08
1 916
1.Подсловом некоторого слова W называется слово, получаемое из W выкидыванием одной или...
26.08.2024 09:15
0 415
1. Формулировка Великой Теоремы Ферма, ВТФ: для любого натурального числа n>2 уравнение an+bn=cn не...
28.07.2024 13:25
14 2,986
Постройте наиболее простую РКС по заданным условиям работы Правила форума, пункт 4.7. Как можно...
23.06.2024 09:40
3 566
Напиши решение пожалуйста задачи. С помощью преобразования найти СДНФ и СКНФ по формуле:...
20.06.2024 02:25
9 688
помогите доказать, что функция самодвойственная, пожалуйста ¬xyz v x¬yz v ¬x¬yz v ¬x¬y¬z
16.06.2024 20:26
9 646
Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было...
29.05.2024 15:30
1 415
Доказать или опровергнуть методом ИВН (Метод натурального исчисления) выводимость правой формулы из...
18.05.2024 21:20
9 699
Доброго времени суток, поможет кто решить? \forall x \exists y \exists z \neg (\exists z \forall...
15.05.2024 15:36
1 516
В задании 1 булевую функцию трех переменных задан вектором ее двоичных значений на соответствующих...
08.05.2024 20:49
7 438
Как правильно опровергнуть данную секвенцию в модальном исчислении ES4 , насколько я понял мне...
08.05.2024 17:57
2 572
Какими должны быть множества P+ и Q+ истинности предикатов P(x) и Q(x) соответственно, заданных над...
29.04.2024 22:01
8 905
Проанализируйте следующее рассуждение на предмет его правильности. Для этого выявите логическую...
29.04.2024 21:40
7 762
Решите задачу Доказать справедливость умозаключения, используя метод резолюции: "Если...
24.04.2024 19:04
1 329
С помощью эквивалентных преобразований привести к ДНФ следующую формулу (a ⊕ b)↑¬(¬c ⋅d → a)
23.04.2024 00:08
6 479
1. Задано множество А={11,19,8,17,0} Определить на данном множестве все известные отношения...
22.04.2024 20:28
1 709
Прилось столкнуться с посетами, ну и их частным случаем - цепью. У меня возникло непонимание...
19.04.2024 16:06
4 504
ac→¬b≡a→c¬b Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса,...
18.04.2024 21:55
10 1,100
Здравствуйте! Помогите, пожалуйста. Проверить аргумент методом резолюций. Получить все следствия...
17.04.2024 22:34
2 503
Доказать или опровергнуть секвенцию в данном модельном исчислении, очень подробно
17.04.2024 19:25
2 694
Решить контрольную работу по дискретной математике Правила форума, пункт 4.3. Создавайте темы с...
03.04.2024 08:29
0 388
ПРИМЕР: (символы дизъюнкции и конъюнкции не нашла, поэтому заменила на математический аналог) ->...
02.04.2024 17:44
1 453
Мой вопрос в следующем учебном примере: Составляют множество, которое является объединением...
01.04.2024 14:44
2 485
Составить релейно – контактную схему из функциональных элементов, реализующих данную формулу...
01.04.2024 12:02
1 616
Ещё со школы меня учили пользоваться буквенными выражениями в алгебре. Когда-то давно учительница,...
28.03.2024 02:05
4 610
Задача из учебника информатики. Известны запросы и количество найденных по ним страниц...
27.03.2024 19:22
13 884
Приведите формулу ЛП к ПНФ: ∀xQ(x,y)∨∃xP(x)->∀x∀yQ(x,y) Второй день пытаюсь решить, никак не...
27.03.2024 17:38
1 520
Учебник информатики. Задача. В таблице приведены запросы к поисковому серверу. Для обозначения...
23.03.2024 18:35
5 622
Fдснф=(X1X2X3)∨(X1X3¬X4)∨(X2X3¬X4)∨(¬X1¬­X2¬X3¬X4)∨(X1¬X2¬X3X4)∨(¬X1¬X2X3X4) Привести к базису:...
20.03.2024 18:38
2 548
Упростите следующие релейно-контактные схемы:
20.03.2024 14:55
7 24,253
Доброго времени суток, уважаемые Форумчане. Скажу честно в алгебре, да и в целом математике, у...
19.03.2024 22:48
4 556
Решите задачу, используя формулу мощности объединения множеств. На первом курсе учатся 40...
18.03.2024 20:37
2 495
Задать вопрос
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск Темы без ответов

Новые блоги и статьи
MVC фреймворк в PHP
Jason-Webb 19.04.2025
Архитектурный паттерн Model-View-Controller (MVC) – это не просто модный термин из мира веб-разработки. Для PHP-программистов это фундаментальный подход к организации кода, который радикально меняет. . .
Dictionary Comprehensions в Python
py-thonny 19.04.2025
Python славится своей выразительностью и лаконичностью, что позволяет писать чистый и понятный код. Среди множества синтаксических конструкций языка особое место занимают словарные включения. . .
Шаблоны и протоколы для создания устойчивых микросервисов
ArchitectMsa 19.04.2025
Микросервисы — архитектурный подход, разбивающий сложные приложения на небольшие, независимые компоненты. Вместо монолитного гиганта, система превращается в созвездие небольших взаимодействующих. . .
Изменяемые и неизменяемые типы в Python
py-thonny 19.04.2025
Python славится своей гибкостью и интуитивной понятностью, а одна из главных его особенностей — это система типов данных. В этом языке все, включая числа, строки, функции и даже классы, является. . .
Интеграция Hangfire с RabbitMQ в проектах C#.NET
stackOverflow 18.04.2025
Разработка современных . NET-приложений часто требует выполнения задач "за кулисами". Это может быть отправка email-уведомлений, генерация отчётов, обработка загруженных файлов или синхронизация. . .
Построение эффективных запросов в микросервисной архитектуре: Стратегии и практики
ArchitectMsa 18.04.2025
Микросервисная архитектура принесла с собой много преимуществ — возможность независимого масштабирования сервисов, технологическую гибкость и четкое разграничение ответственности. Но как часто бывает. . .
Префабы в Unity: Использование, хранение, управление
GameUnited 18.04.2025
Префабы — один из краеугольных элементов разработки игр в Unity, представляющий собой шаблоны объектов, которые можно многократно использовать в различных сценах. Они позволяют создавать составные. . .
RabbitMQ как шина данных в интеграционных решениях на C# (с MassTransit)
stackOverflow 18.04.2025
Современный бизнес опирается на множество специализированных программных систем, каждая из которых заточена под решение конкретных задач. CRM управляет отношениями с клиентами, ERP контролирует. . .
Типы в TypeScript
run.dev 18.04.2025
TypeScript представляет собой мощное расширение JavaScript, которое добавляет статическую типизацию в этот динамический язык. В JavaScript, где переменная может свободно менять тип в процессе. . .
Погружение в Kafka: Концепции и примеры на C# с ASP.NET Core
stackOverflow 18.04.2025
Apache Kafka изменила подход к обработке данных в распределенных системах. Эта платформа потоковой передачи данных выходит далеко за рамки обычной шины сообщений, предлагая мощные возможности,. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru