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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,595,022 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,130
Обычные темы
Задать вопрос
Помогите, пожалуйста, решить)) Постройте наиболее простую РКС по заданным условиям работы.
19.02.2020 16:28
1 1,049
упростите ркс
19.02.2020 16:23
1 1,335
Постройте наиболее простую РКС по заданным условиям работы.
19.02.2020 12:18
5 4,262
Здравствуйте, помогите пожалуйста! Доказать равносильность. Правила форума, пункт 5.5. Запрещено...
18.02.2020 15:40
12 2,026
Нарисуйте комбинационную схему, состоящую из как можно меньшего количества логических элементов NOR...
16.02.2020 19:07
5 2,609
{9}^{n+2}+2-18n-27 делится на 18, nЄ{N}^{0}.
15.02.2020 14:28
5 1,945
Упростите следующие релейно-контактные схемы:
14.02.2020 14:23
3 3,255
Насколько мне известно, верность метода математической индукции равносильна одной из аксиом теории...
14.02.2020 11:58
4 482
Даны множества A И B. Изобразить и записать с указанием характеристического свойства результат...
14.02.2020 00:26
0 2,043
Упростите выражения, используя законы алгебры множеств \bar{(A\bigcap B )\bigcap (\bar{A}\bigcup...
11.02.2020 02:28
3 4,442
Изобразить с помощью диаграммы Эйлера-Венна.:)
10.02.2020 20:44
20 6,290
Все студенты первого курса КГТУ специальности «ИС» изучают три языка программирования. В этом году...
10.02.2020 11:59
2 4,547
Подскажите, какой смысл у этого обозначения: R⊃0
10.02.2020 06:44
9 773
Как показать, что из первого утверждения следует второе?
05.02.2020 14:47
3 709
(!x!y)∨(x↔z)
04.02.2020 22:12
1 2,484
Здравствуйте, необходимо перевести две данные функции к логическим базисам ИЛИ-НЕ/И-НЕ. Буду...
01.02.2020 22:20
1 1,048
Здравствуйте, у меня существует некоторого рода затруднение с первым шагом решения по методу...
01.02.2020 05:24
1 703
1)t1p1t2="треугольник t1 равен треугольнику t2", A=T="множество всех треугольников на плоскости";...
31.01.2020 13:28
3 835
Очень прошу вас помочь разобраться в доказательстве клауз этими методами. Хочется понять именно...
28.01.2020 22:47
1 3,431
Добрый день, может ли кто-нибудь объяснить, как решаются данные задачи?
27.01.2020 13:15
0 495
Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение...
26.01.2020 21:47
3 1,986
Помогите упростить выражение по дискретной математике,а то мне не до конца понятен алгоритм...
26.01.2020 17:35
0 961
дано отношение R на множестве А=(3,5,8,9,12,15) XRY - {x делит 2y} является ли оно отношением...
25.01.2020 13:19
3 6,520
Доказать примитивную рекурсивность функции x^2
24.01.2020 21:59
1 1,298
Помогите, пожалуйста, решить (Х1->Х2)->Х2 |- (Х2->Х1)->Х1 Очень нужно
24.01.2020 00:53
0 822
Форму привет, математика прекрасна. И так вопрос, сидел я такой почитывал книжку по...
23.01.2020 14:31
17 4,216
https://sun9-19.userapi.com/c200724/v200724688/410aa/xeOnyX6-4wM.jpg Доказать общезначимость...
19.01.2020 20:46
2 1,491
Здравствуйте, помогите пожалуйста разобраться сколько же в этом высказывании посылок? Правильно ли...
18.01.2020 22:03
3 4,526
Доброго времени суток. Приводила выражение к ДНФ и застопорилась на одном моменте, решила...
17.01.2020 11:26
3 1,363
Препод дал материал для контрольных работ впервые столкнулся с этим и вообще не могу разобраться...
17.01.2020 09:34
1 743
Здравствуйте. Подскажите пожалуйста, как работает закон дистрибутивности при 4 переменных. Ну,...
16.01.2020 18:22
2 3,806
Здравствуйте, помогите пожалуйста, разобраться: Пусть А, В, С подмножества некоторого множества х,...
15.01.2020 16:23
6 1,644
ссылка удалена https://www.cyberforum.ru/administration/announcement3.html 5.18. Запрещено...
15.01.2020 15:27
0 494
¬(A→ ¬(A & B)) → (A ∨ C);
15.01.2020 09:35
7 3,601
Товарищи, прошу помочь в решении данной задачи. Всем заранее спасибо! Задача Посчитайте число...
14.01.2020 02:13
3 1,270
Здравствуйте, помогите, пожалуйста, построить счетное множество на прямой, такое, что u(A') >0
14.01.2020 00:16
1 1,195
Помогите пожалуйста с решением
13.01.2020 13:10
0 466
Помогите пожалуйста с решением! Правила форума :rtfm: 5.18. Запрещено размещать задания и...
13.01.2020 12:27
0 452
Приветствую, :friends: Можете помочь найти СДНФ для формулы? (x\rightarrow y)\oplus (x\otimes...
13.01.2020 05:19
2 982
12.01.2020 11:29
1 2,046
Доказать, что A = B тогда и только тогда, когда A \Delta B = \phi (пустое множество). Правильно...
12.01.2020 08:04
1 2,144
Доказать, что A\subseteq B тогда и только тогда, если A\bar{B} = \phi
12.01.2020 07:44
1 750
Есть какое-то утверждение. Доказали, что оно верно для n=1 и n=k+2, можно ли утверждать, что...
09.01.2020 14:16
5 1,689
Упростить условия: (CD⊆A∪B; BC⊆A∪D; AC⊆B⊗ ¯D; C⊆¯B⊗¯D С чего хотя бы начать?
08.01.2020 21:15
10 1,091
Записать на языке логики предикатов: Существует А и В такие, что их среднегармоничекого больше их...
08.01.2020 14:00
1 764
Записать предложения в виде соотношений формул логики предикатов. Методом резолюций выяснить будет ...
06.01.2020 18:02
0 554
Формулу скинул во вложении Заранее спасибо!))
06.01.2020 17:57
0 1,920
Составьте программу нахождения совершенной конъюнктивной нормальной формы (с.к.н.ф.) на любом...
06.01.2020 17:43
0 1,948
Все D суть В, ни одно А не есть не С, также ни одно В не есть С. Заранее спасибо!)
06.01.2020 17:37
0 889
Методом резолюций выясните, истинно ли приведённое утверждение. Решите эту задачу, используя два ...
06.01.2020 17:34
0 1,706
Задать вопрос
IndentationError
0 7718
Mr. Docker
0 6339
EggHead
0 7883
EggHead
0 8635
EggHead
0 4873
Javaican
0 2415
EggHead
0 4485
Codd
0 8990
Новая тема
Новые блоги и статьи
Nekobox - outbounds[0].transport: unknown transport type: raw
damix 01.10.2026
Фикс ошибки Правым кликом по серверу -> отладочная информация -> edit Заменить "net": "raw", на "net": "tcp", Нажать кнопку reload.
Программный домашний кинотеатр
russiannick 27.09.2026
Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого
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) активировать флаг. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru