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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,587,311 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,127
Обычные темы
Задать вопрос
1)((A\Rightarrow B)\Rightarrow A)\Rightarrow A\\
24.11.2020 17:54
2 1,122
Задание 1. Спроектировать клавишный пульт (смотри рисунок 1.4), работающий по такому алгоритму:...
24.11.2020 17:41
1 1,699
Проверьте являются ли следующие формулы тавтологиями логики предикатов: (Скобочки с вопросиками...
23.11.2020 12:46
7 2,089
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для...
23.11.2020 12:14
3 1,949
Множество изображено на диаграмме. Записать его с помощью операций.(Типо U, ∩, \, ∆, и т.д) ...
23.11.2020 11:20
2 1,220
Придайте следующим формулам указанные интерпретации и определите истинностные значения получающихся...
23.11.2020 11:05
3 2,566
Записать символически на языке логики предикатов следующее предложение: Некоторые студенты учат...
23.11.2020 10:57
2 1,607
Добрый день, помогите решить Сколько существует целых значений А, при которых формула ( (x <...
22.11.2020 19:42
3 11,201
Изобразите на координатной плоскости множество истинности двухместного предиката, заданного на...
22.11.2020 15:13
6 6,231
Привести формулу к ДНФ
21.11.2020 10:56
1 1,026
Дана задача. Какие значения могут принимать a и b Вариант1: (-1;2),(-1;-1), (2; -1), (2;2)...
20.11.2020 16:27
3 531
На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы...
20.11.2020 07:56
1 3,131
ПОМОГИТЕ ХОТЯ БЫ С ОДНИМ ИЗ ПУНКТОВ НИЖЕ!!! 1. Представить исходную функцию в виде таблицы...
19.11.2020 20:51
0 1,704
Доброго времени суток, есть такая задача: Найдите наиболее общий унификатор для {P(x,y, z)...
18.11.2020 18:32
8 1,944
Используя операции над множествами решить задачу. (Хочу узнать вашу версию:D) В классе 30...
17.11.2020 20:49
9 1,645
С помощью таблицы истинности сделать СКНФ и СДНФ x y z f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1...
17.11.2020 16:22
10 4,420
Здравствуйте, помогите пожалуйста. Запишите формулу предиката. Сформулируйте отрицание. Любви все...
16.11.2020 19:18
2 1,036
Здравствуйте. Помогите, пожалуйста, определить свойства отношений. Тему разбирала самостоятельно по...
16.11.2020 15:42
8 3,855
Найти значение логического выражения, если x, y, z равны 1, 0, 1 соответственно. И напишите ответ....
16.11.2020 07:56
1 1,730
Упростить СКНФ с помощью законов булевой алгебры Правила форума, пункт 4.3. Создавайте темы с...
16.11.2020 02:05
0 797
Доброй ночи, нужна помощь с этим заданием.
15.11.2020 01:09
0 1,649
Для следующих формул алгебры предикатов найдите равносильную предваренную форму, как ее правильно...
14.11.2020 20:42
1 823
Выразить используя штрих Шеффера (!c!d) + (!a!d!e) + (a!b!c!e) + (a!bde)
14.11.2020 19:05
0 1,969
Пожалуйста, помогите с решением. Вообще не знаю тему и как её решать. p1 = 7 p2 = 5 p3 = 5
14.11.2020 12:29
1 1,005
Выражение, записанное на картинке, читается как 105+92, то есть равно 197. Но если перевернуть...
13.11.2020 16:43
5 3,222
Помогите пожалуйста решить!
12.11.2020 23:27
3 904
Доказать примитивную рекурсивность функции с использованием либо ограниченного оператора...
12.11.2020 14:02
5 2,025
Всем привет. Возник такой вопрос - возможна ли формальная система, которая будет описывать саму...
12.11.2020 12:24
0 344
Добрый день! Не совсем понимаю, как делать это задание. Записать таблицу истинности функции...
12.11.2020 11:50
2 9,513
Сколько существует различных наборов значений логических переменных x1, x2, ... x10, которые...
12.11.2020 06:17
3 624
Уважаемые форумчане, помогите, пожалуйста, с решением задания. Найдите область определения и...
11.11.2020 23:47
8 7,245
Логические устройства в базисе НЕ Записать СДНФ функции заданной таблицей. Начертить карту...
11.11.2020 20:44
0 497
Дано задание: Решить систему логических уравнений. Я не понимаю, что это за оператор такой в виде...
11.11.2020 16:58
2 511
Никак не могу понять как можно доказать этот пример: ( (A∪B) Δ (A∪B) ) Δ ( C Δ C) = Φ
11.11.2020 13:24
4 1,566
В больнице долго лежал и тут на тебе ничего не объясняя Объясните пожалуйста
11.11.2020 13:18
2 587
Постройте логическую схему, соответствующую логическому выражению, и найдите значение логического...
10.11.2020 21:49
7 2,684
Есть вопросы по данному тождению , буду очень благодарен!
10.11.2020 19:31
6 1,483
Сколь­ко су­ще­ству­ет раз­лич­ных на­бо­ров зна­че­ний ло­ги­че­ских пе­ре­мен­ных x1, x2, … x9,...
10.11.2020 17:06
8 3,312
такая задача была: Постройте логическую схему, соответствующую логическому выражению, и найдите...
10.11.2020 12:43
1 676
Сколь­ко су­ще­ству­ет раз­лич­ных на­бо­ров зна­че­ний ло­ги­че­ских пе­ре­мен­ных x1, x2, ...x7,...
10.11.2020 02:08
5 2,083
Для функции f(x1,x2,x3,x4) заданные наборы в а) являются единичными, в б) являются нулевыми. В...
09.11.2020 23:34
0 539
В языке за­про­сов по­ис­ко­во­го сер­ве­ра для обо­зна­че­ния ло­ги­че­ской опе­ра­ции «ИЛИ»...
09.11.2020 16:46
2 2,440
В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ...
09.11.2020 15:55
2 2,215
Вот такая форма записи означает разложение всякой формулы на несколько конъюнктивных дизъюнкций...
09.11.2020 15:17
2 1,138
Сколько существует различных наборов значений логических переменных x1, x2, ... x10, которые...
09.11.2020 08:05
13 6,259
Найти число всех булевых функций от n переменных, имеющих вид: элементарная конъюнкция.
09.11.2020 05:38
4 3,082
1.((K ∨ L) → (L ∧ M ∧ N)) 2. (А ↔ B) ∨ ¬(A → (B ∨ C))
09.11.2020 01:09
10 1,361
Помогите разобраться с задачами: 1) Построить отношение линейного порядка на множестве N ∪ N2 ∪ N...
08.11.2020 23:02
1 2,021
¬x1 ∨ x2 = 1 ¬x2 ∨ x3 = 1 … ¬x9 ∨ x10 = 1, где x1, x2, … x10 — логические переменные? В ответе...
08.11.2020 17:44
13 3,995
Здравствуйте. Помогите, пожалуйста, с упрощением выражения. Я начала упрощать и зашла в тупик, так...
08.11.2020 03:34
10 3,270
Задать вопрос
IndentationError
0 7658
Mr. Docker
0 6278
EggHead
0 7816
EggHead
0 8529
EggHead
0 4829
Javaican
0 2380
EggHead
0 4417
Codd
0 8915
Новая тема
Новые блоги и статьи
Мобильное приложение 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, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .
мат медиц модель 30. презентация проекта
anaschu 27.08.2026
хоп хоп хоп хидахоп, а я кладую))
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru