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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,588,130 Посмотреть объявление Объявление: Правила форума
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,470
1) Привести исходную логическую формулу с помощью равносильностей к нормальной дизъюнктивной форме...
09.07.2020 16:51
1 1,578
Можете сказать, что здесь неправильно и как это исправить?
06.07.2020 14:21
2 493
Помогите пожалуйста, нужно определить принадлежность функции к классу S (самодвойственных функций):...
06.07.2020 14:05
1 1,496
Помогите пожалуйста построить РКС для данной функции f(x, y)=(x\rightarrow y)(\bar{x} \vee \bar{y})
06.07.2020 12:56
1 3,934
Задана функция алгебры логики трех переменных f(x1 , x2 , x3 ) следующим условием: f(0,0,1 ) =...
05.07.2020 02:23
2 4,860
Добрый вечер, мне нужно привести ∀yQ(x, y) → R(x, x) к предварительной нормальной форме. У меня...
03.07.2020 18:35
3 1,834
Привести формулу ¬((y⇒¬x)⇔x) к ДНФ или КНФ методом равносильных преобразований
03.07.2020 09:44
1 2,833
Дано высказывание – «Если солнце светит и небо голубое, то это хорошо». Надо записать...
02.07.2020 18:51
1 540
Приведите формулу ¬((y⇒¬x)⇔y) к к.н.ф. или д.н.ф методом равносильных преобразований.
02.07.2020 15:50
1 3,489
нашел сервисы для составления таблиц но плохо понял материал в принципе ,подкиньте хотя бы по...
02.07.2020 14:17
3 996
Здравствуйте. помогите пожалуйста составить с.д.н.ф. для формулы, столбец значений в таблице...
02.07.2020 13:56
1 729
Здравствуйте! Помогите с заданием! Ничего не понимаю. Построить интерпретацию формулы логики...
02.07.2020 01:15
3 626
Здравствуйте! У меня есть такое задание. Не могу понять, правильно ли делаю. Подскажите, кто...
01.07.2020 18:21
1 1,226
Доброе утро! Задали вот такое задание, не могу разобраться, помогите пожалуйста. Дана логическая...
30.06.2020 19:45
1 719
Добрый день, мне нужна помощь с зачетом по мат логике. По факту, зачет получен, но в итоговом тесте...
28.06.2020 13:57
2 1,669
Помогите найти предельную точку множества {7,14,21...}, если она существует.
27.06.2020 02:17
0 511
"Придумайте вероятностный алгоритм, который по заданному графу с вероятностью 99 процентов находит...
24.06.2020 12:02
1 423
Определить номера наборов аргументов, на которых функция равна 1 Помогите пожалуйста,заранее...
24.06.2020 08:52
3 6,068
Здравствуйте!!! Помогите пожалуйста с заданием с переводом на формальный 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 422
Доказать примитивную рекурсивность функции с использованием оператора суперпозиции и примитивной...
23.06.2020 00:46
3 834
Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В...
22.06.2020 21:12
5 4,723
Здравствуйте! Правильно ли я формализовал предложение с помощью языка логики предикатов: 1. Если...
22.06.2020 16:26
1 2,791
Здравствуйте! Не могу нигде найти что за "метод последовательных преобразований". Задание звучит...
22.06.2020 15:49
3 1,960
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна,...
21.06.2020 19:58
7 6,050
20.06.2020 20:41
1 1,017
Здравствуйте! Я видела, что этот вопрос на разных примерах поднимался уже не один раз. Читала и...
20.06.2020 15:01
1 557
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,302
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,118
Дана функция 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,890
Задание: Найти функцию f(x,y) , полученную из функций h(x,y,z) и g(x) по схеме примитивной...
19.06.2020 13:58
1 816
Задано бинарное отношение p = {<1, 1>, <1, a>, <a, 1>, <a, 4>, <4, a>}. Найти D(р), R(р), р,...
19.06.2020 13:02
0 460
Ребят, помогите пожалуйста на зачете! Есть Сигнатура: Ч(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 424
Помогите решить задания на скриншотах, желательно с объяснением, спасибо
11.06.2020 20:55
1 383
Помогите решить задания на скриншотах, желательно с объяснением, спасибо Построить таблицу...
11.06.2020 19:59
0 551
Задать вопрос
IndentationError
0 7661
Mr. Docker
0 6292
EggHead
0 7827
EggHead
0 8546
EggHead
0 4832
Javaican
0 2380
EggHead
0 4423
Codd
0 8939
Новая тема
Новые блоги и статьи
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого
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