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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,591,262 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,127
Обычные темы
Задать вопрос
Добрый день, подскажите, пожалуйста, какие из перечисленных утверждений верны? del На мой взгляд...
10.07.2020 21:49
1 445
Пытаюсь решить, не понимаю, кто знает как делать, буду очень признателен.
10.07.2020 14:02
6 3,482
1) Привести исходную логическую формулу с помощью равносильностей к нормальной дизъюнктивной форме...
09.07.2020 16:51
1 1,581
Можете сказать, что здесь неправильно и как это исправить?
06.07.2020 14:21
2 493
Помогите пожалуйста, нужно определить принадлежность функции к классу S (самодвойственных функций):...
06.07.2020 14:05
1 1,502
Помогите пожалуйста построить РКС для данной функции f(x, y)=(x\rightarrow y)(\bar{x} \vee \bar{y})
06.07.2020 12:56
1 3,945
Задана функция алгебры логики трех переменных f(x1 , x2 , x3 ) следующим условием: f(0,0,1 ) =...
05.07.2020 02:23
2 4,862
Добрый вечер, мне нужно привести ∀yQ(x, y) → R(x, x) к предварительной нормальной форме. У меня...
03.07.2020 18:35
3 1,834
Привести формулу ¬((y⇒¬x)⇔x) к ДНФ или КНФ методом равносильных преобразований
03.07.2020 09:44
1 2,856
Дано высказывание – «Если солнце светит и небо голубое, то это хорошо». Надо записать...
02.07.2020 18:51
1 540
Приведите формулу ¬((y⇒¬x)⇔y) к к.н.ф. или д.н.ф методом равносильных преобразований.
02.07.2020 15:50
1 3,498
нашел сервисы для составления таблиц но плохо понял материал в принципе ,подкиньте хотя бы по...
02.07.2020 14:17
3 1,013
Здравствуйте. помогите пожалуйста составить с.д.н.ф. для формулы, столбец значений в таблице...
02.07.2020 13:56
1 729
Здравствуйте! Помогите с заданием! Ничего не понимаю. Построить интерпретацию формулы логики...
02.07.2020 01:15
3 631
Здравствуйте! У меня есть такое задание. Не могу понять, правильно ли делаю. Подскажите, кто...
01.07.2020 18:21
1 1,226
Доброе утро! Задали вот такое задание, не могу разобраться, помогите пожалуйста. Дана логическая...
30.06.2020 19:45
1 723
Добрый день, мне нужна помощь с зачетом по мат логике. По факту, зачет получен, но в итоговом тесте...
28.06.2020 13:57
2 1,674
Помогите найти предельную точку множества {7,14,21...}, если она существует.
27.06.2020 02:17
0 520
"Придумайте вероятностный алгоритм, который по заданному графу с вероятностью 99 процентов находит...
24.06.2020 12:02
1 423
Определить номера наборов аргументов, на которых функция равна 1 Помогите пожалуйста,заранее...
24.06.2020 08:52
3 6,070
Здравствуйте!!! Помогите пожалуйста с заданием с переводом на формальный 1) Все моряки боятся...
23.06.2020 14:28
1 1,216
Среди 90 целых чисел, 25 кратно 12, 53 кратно 5, 9 кратно 144, 10 кратно 60, 5 кратно 720....
23.06.2020 11:42
2 826
Дана система всех булевых функций, которые на противоположных наборах принимают одинаковые...
23.06.2020 00:55
1 430
Доказать примитивную рекурсивность функции с использованием оператора суперпозиции и примитивной...
23.06.2020 00:46
3 837
Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В...
22.06.2020 21:12
5 4,726
Здравствуйте! Правильно ли я формализовал предложение с помощью языка логики предикатов: 1. Если...
22.06.2020 16:26
1 2,793
Здравствуйте! Не могу нигде найти что за "метод последовательных преобразований". Задание звучит...
22.06.2020 15:49
3 1,969
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна,...
21.06.2020 19:58
7 6,050
20.06.2020 20:41
1 1,025
Здравствуйте! Я видела, что этот вопрос на разных примерах поднимался уже не один раз. Читала и...
20.06.2020 15:01
1 559
1)Что не является математическим определением алгоритма Выберите один ответ: a. теория...
20.06.2020 12:05
1 1,705
1)Пусть C = A V L , D = B V 7L тогда резольвентой дизъюнктов С и D называется дизъюнкт: Выберите...
20.06.2020 09:29
0 1,305
1)Какая из следующих равносильностей не верна Выберите один ответ: a. \-/X (P(x) V Q(y)) = \-/X...
20.06.2020 09:28
0 1,390
Как организовать цикл на МБР для сравнивания элементов массива?
19.06.2020 18:36
4 762
помогите пожалуйста с решением этого задания. нужно решить скнф и сднф
19.06.2020 18:22
1 676
найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных преобразований: x&y -> (не x&z -> (xVy))
19.06.2020 17:12
0 1,881
В магазине продается три компьютера – американский, ки- тайский и русский. Компьютеры умеют...
19.06.2020 16:41
1 1,126
Дана функция f(x) = x^2 + 2^x, отображающая множество действительных чисел R во множество...
19.06.2020 16:02
6 2,309
Верно или неверно равенство: ¬c\(¬(a∨b)=¬a\(¬(b∨c) ? Желательно с решением
19.06.2020 14:18
3 2,892
Задание: Найти функцию f(x,y) , полученную из функций h(x,y,z) и g(x) по схеме примитивной...
19.06.2020 13:58
1 818
Задано бинарное отношение p = {<1, 1>, <1, a>, <a, 1>, <a, 4>, <4, a>}. Найти D(р), R(р), р,...
19.06.2020 13:02
0 466
Ребят, помогите пожалуйста на зачете! Есть Сигнатура: Ч(x) – «х – чёрный»; объекты •◦ Кр(х) –...
19.06.2020 12:52
6 455
Построил таблицу истинности для данной функции (задание ниже во вложении) - необходимо построить...
18.06.2020 04:43
1 534
Помогите пожалуйста!
17.06.2020 12:39
3 1,383
Всем привет пытаюсь доказать утверждение X+\bar{Y}+Z = \bar{X}\bar{Y}\bar{Z} Подскажите куда...
16.06.2020 16:41
2 1,319
Упростить логическое выражение
15.06.2020 21:26
1 576
Добрый день, пожалуйста помогите решить задание.. Проверить выполнимость множества предложений....
14.06.2020 03:14
1 1,111
помогите 5 номер а,б,в,ж
12.06.2020 22:11
1 426
Помогите решить задания на скриншотах, желательно с объяснением, спасибо
11.06.2020 20:55
1 383
Помогите решить задания на скриншотах, желательно с объяснением, спасибо Построить таблицу...
11.06.2020 19:59
0 557
Задать вопрос
IndentationError
0 7693
Mr. Docker
0 6304
EggHead
0 7846
EggHead
0 8582
EggHead
0 4860
Javaican
0 2396
EggHead
0 4448
Codd
0 8961
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

Новые блоги и статьи
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого
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, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru