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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,583,631 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,124
Обычные темы
Задать вопрос
Задано три алгоритма n1,n2,n3 , фиксированное слово R и входное слово Р. Построить новые алгоритмы...
19.05.2022 23:06
0 379
Помогите пожалуйста перейти от СКНФ к СДНФ, не понимаю каким образом это делается, через двойное...
19.05.2022 16:11
4 815
|-(AvB)&(AvC)→Av(B&C); |-(AvB→C)→(A→C)v(B→C); Помогите пожалуйста
19.05.2022 14:28
1 440
Помогите пожалуйста, всё никак не доходит информация.. Нужно записать для каждой формулы...
18.05.2022 14:46
1 459
Решить уравнение: ((x→1)∧x)<=>1≡0
17.05.2022 19:09
3 374
Свести формулы логики предикатов к опереженной нормальной форме.
16.05.2022 14:56
1 648
Привести к ПНФ
16.05.2022 14:52
1 358
Здравствуйте! Помогите, пожалуйста, сделать следующее задание по теме множества: Нужно найти ...
16.05.2022 01:02
26 1,226
Здравствуйте! Помогите, пожалуйста, сделать задание: Опишите множество, которое соответствует...
15.05.2022 23:29
8 939
Здравствуйте, помогите решить такое задание, пожалуйста: На диаграмме Венна трех множеств A, B и...
15.05.2022 23:10
12 990
Здравствуйте! Решал задачку, получился такой ответ: Тупиковые ДНФ:...
13.05.2022 16:17
1 1,008
Здравствуйте, можете помочь с заданием. Задание прикрепил
13.05.2022 14:57
0 250
Здравствуйте. Имеется логическое выражение: (X V Y) & !(Y ~ Z) & W Дана исходная таблица,...
13.05.2022 11:41
0 892
(¬x∧¬ y)∨(x↔z) 2.Используя СДН-форму, найдите формулу, принимающую значение 1 на наборах значений...
13.05.2022 00:45
1 1,234
Очень нужно решить задачи прикреплённые в скриншоте
12.05.2022 19:23
2 400
Ф = (x1(x3~x1))↓((-x1)∨(x2|x1)) U = -((x1x1x2)→(x3x1)) Заранее спасибо
11.05.2022 13:30
0 999
Задание: Получается истина? Просто я попробовал сделать, и получилось так.
11.05.2022 07:11
1 426
Подберите элементарные предикаты и запишите формулой следующие высказывания и определения:...
09.05.2022 22:08
15 962
Помогите пожалуйста, не могу провести проверку эквивалентности приведением формул к СДНФ или СКНФ с...
07.05.2022 18:28
4 2,554
Имеем бесконечное множество натуральных чисел. Возник вопрос: сколько бесконечных множеств можно...
07.05.2022 10:47
17 1,904
f = !x1!x3+x2>x4, где ! - отрицание, + - сумма по модулю 2, > стрелка Пирса Разложил функцию по...
05.05.2022 20:36
0 296
Помогите пожалуйста срочно. Верно ли равенство. A *(B \cap C\cup D)=(A * B) \cap (A * C) \cup (A...
04.05.2022 20:59
17 742
(A&B)~(¯(¯A v¯B))
04.05.2022 17:14
1 288
Добрый день. Помогите, пожалуйста, найти все тупиковые днф. Совсем не понимаю, как это сделать
03.05.2022 20:46
1 423
Необходимо решить такую задачу: Разработать программу, которая: а) считывает формальное...
03.05.2022 07:55
5 1,085
Определить множество (если это возможно), на котором данное отношение является: а) функциональным;...
02.05.2022 23:03
5 478
Изобразить отношение графически: где R - множество действительных чисел есть такой график ,что...
02.05.2022 16:58
4 532
Доказать аналитическим путем справедливость выражения, затем проверить с помощью таблиц истинности.
01.05.2022 20:01
3 1,206
Добрый лень, подскажите, пожалуйста, как найти тут тупиковые ДНФ?
29.04.2022 18:58
1 1,031
Задание:
28.04.2022 21:45
1 610
1) G, G → H ⊢ F → H; Аксиомы: (A1) F->(G->F), (A2) ((F->(G->H))->((F->G)->(F->H)), (A3)...
28.04.2022 21:40
3 547
Задание:
28.04.2022 21:37
3 689
А×(B ∪ C)=(A×B) ∪(A×C)
28.04.2022 13:02
2 372
Доказать, что принцип полной индукции является теоремой формальной арифметики. Дать неформальное...
27.04.2022 22:34
1 400
Найти матрицу отношения где M : {1, 2,3} :
25.04.2022 19:41
3 798
пожалуйста подскажите как решить
25.04.2022 16:01
14 549
Доказать что АхВ=ВхА тогда и только тогда когда А=В
25.04.2022 11:23
1 451
День добрый! Книга V Зачем были манёвры c: "«живые существа» в качестве Вселенной" ? Что...
22.04.2022 01:03
1 379
Привет. Можно ли строить причинно-следственные связи от прилагательных, насколько это корректно?
19.04.2022 17:57
2 505
Здравствуйте. Нужна помощь. Задание: докажите, что следующие формулы являются тавтологиями или...
17.04.2022 20:27
1 790
Я понимаю что сначала надо превратить во вторую картинку, а дальше у меня ступор, намекните...
16.04.2022 01:51
8 922
На множестве А задано отношение R: x делится на y без остатка. Построить матрицу и граф отношения...
14.04.2022 13:36
1 441
Всем доброго дня! При написании программного обеспечения возникла необходимость в определении...
12.04.2022 20:59
6 502
Привести булеву функцию f к минимальной дизъюнктивной нормальной форме с методом...
11.04.2022 21:08
1 395
09.04.2022 11:54
2 622
Недавно размещал на форуме тему по приведению к КНФ, вроде решил и всё правильно, но после сдачи...
08.04.2022 21:49
1 372
Если давление понижается, то газ не сжимается, если же газ сжимается, то взрыва не избежать, при...
06.04.2022 15:02
1 329
Пишет: Доказать, но я не понимаю что именно там писать, как-то пропустил момент, когда такое учили,...
06.04.2022 10:35
9 1,298
Задано бинарное отношение P  Z^2; найти его область определения и область значений. Проверить по...
05.04.2022 21:49
3 604
Получил дизъюнкты: (¬ A(y)∨B(y) ∨ A(x) ∨C(f2(x)) (¬ A(y)∨B(y) ∨ A(x) ∨ ¬B(y)) (¬ A(y) ...
04.04.2022 23:42
8 1,849
Задать вопрос
IndentationError
0 7624
Mr. Docker
0 6253
EggHead
0 7786
EggHead
0 8463
EggHead
0 4806
Javaican
0 2355
EggHead
0 4396
Codd
0 8860
Новая тема
Новые блоги и статьи
Скрипты 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
хоп хоп хоп хидахоп, а я кладую))
Как у меня протекала болезнь
zorxor 27.08.2026
Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .
Нашел вот забавное видео о измерениях. Лучшее что я видел на эту тему
kumehtar 26.08.2026
ILETXiw9bMQ Основная суть и тезисы по измерениям: 0D (Нулевое измерение): точка, не имеющая длины, ширины, высоты или объема. Объект не может перемещаться в 0D. 1D (Первое измерение):. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru