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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,583,036 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,124
Обычные темы
Задать вопрос
Здравствуйте! Помогите доказать формулу на общезначимость: ∃x(p(x) ∧ (r→Q(x))) → (∀x(P(x) →...
09.01.2023 00:21
4 427
Привести к предваренной нормальной форме формулу
08.01.2023 02:25
2 284
Помогите разобраться правильно ли я решил или допустил ошибку. Записать на языке логики...
05.01.2023 17:44
2 603
Помогите пожалуйста для функции, заданной в виде таблицы истинности, получить СДНФ и СКНФ.
04.01.2023 23:23
2 374
(A ∸ B) ∸ A Никак не получается решить данное уравнение, помогите пожалуйста.
04.01.2023 23:20
2 527
a=d-eb c=aa+b If ((ba)>d) { c=23 } else c=0 .... Есть у кого какие мысли?
02.01.2023 23:47
0 471
Помогите пожалуйста выразить стрелку пирса через штрих шеффера, наоборот получилось, а это нет
02.01.2023 21:31
4 1,058
Упростите логическое выражение: (x^z^¬k) ∨ (¬x^y^Z) ∨ (x^y^¬Z^k)
28.12.2022 14:15
1 445
Здравствуйте!!!!!! помогите пожалуйста упростить выражение: (xz(-k))v((-x)yz)v(xy(-z)k))
28.12.2022 14:12
1 356
Нужно максимально упросить это выражение: Днф: x1x3¬x4∨¬x1x2x3∨x1x2¬x3x4
28.12.2022 14:10
1 346
������, ������ → С ⇒ ������ ∨ ������̅ P.S Нужно доказать, что то, что стоит после жирной...
26.12.2022 18:30
14 982
С помощью карты Карно найти минимальную ДНФ булевой функции трёх переменных, равной единице на...
26.12.2022 12:43
1 404
25.12.2022 22:48
6 747
Добрый день! Затрудняюсь с заданием: Построить бинарное отношение "иметь общий делитель отличный...
23.12.2022 19:12
2 826
Не могли бы вы подсказать как можно сделать эти примеры Правила форума, пункт 4.3. Создавайте темы...
22.12.2022 00:29
1 314
Записать в модели m = < l, e, ch, h, m, w> следующие утверждения: L- Множество людей E(x,y) <=>...
21.12.2022 21:06
7 781
Мат. Логика. Тема Счётные множества и континуум Пожалуйста объясните задачу: Докажите, что...
21.12.2022 20:59
5 274
Найдите ошибку в следующем рассуждении. Докажем методом математической индукции, что через любые n...
21.12.2022 20:42
1 665
Всем привет! Не могу разобраться. Нужно привести к пнф предикат
21.12.2022 11:58
10 416
А→((B→A)→C)⊢A→C Здравствуйте, объясните пожалуйста как решается данное задание.
20.12.2022 14:42
2 341
Здравствуйте, помогите пожалуйста решить выделенные задания..прошу. Правила форума, пункт 4.7. Как...
20.12.2022 13:45
1 243
«Если алгоритм X, то (алгоритм Y тогда и только тогда, когда алгоритм Z). Если алгоритм X, то...
19.12.2022 17:00
7 633
Необходимо доказать, что множество действительных чисел равномощно множеству положительных...
19.12.2022 12:23
2 639
Определить, количество самодвойственных функций из числа всех функций n переменных...
18.12.2022 19:19
5 11,751
F = V₁(304576)
16.12.2022 17:59
2 378
С помощью минимального количества функциональных элементов составьте схему с тремя входами A, B, C...
16.12.2022 16:12
6 1,041
(-A*(-B+D)+C)+-A
16.12.2022 15:53
2 410
помогите,пожалуйста
16.12.2022 03:13
1 820
https://www.cybеrforum.ru/сgi-bin/latex.cgi?%28%5Cforall%20xQ%28x%2Cy%29%2­9%5Crightarrow%20%5Cexists...
15.12.2022 23:22
1 178
Найти производную третьего порядка f(x1,x2,x3). Построить логическую схему.
15.12.2022 21:51
0 646
Здравствуйте! Столкнулся с такой проблемой, что не могу понять как построить вывод. Использовать...
15.12.2022 10:19
2 1,187
Здравствуйте форумчане, помогите решить, нужно упростить функцию. Попытался упростить но не...
12.12.2022 21:32
5 372
Заполнить произвольный массив размером N x N (N<10) по следующему правилу: 11111 10001 10001...
12.12.2022 20:42
3 515
Коллеги, доброго времени суток, разбираюсь с задачкой На координатной плоскости даны множества...
12.12.2022 14:59
3 745
Помогите пожалуйста, в мат.логике не силен от слова совсем. Определить, какие из данных формул...
11.12.2022 16:20
2 815
Только начал изучать СКНФ правильно ли я раскрыл скобки?
11.12.2022 01:20
5 925
Коллеги, доброго времени суток, помогите, пожалуйста разобраться, нужно привести формулу к...
10.12.2022 23:38
6 2,530
Кто в этом разбирается, помогите пожалуйста
10.12.2022 01:33
2 580
Если вокруг проводника образуется магнитное поле, то по нему проходит электрический ток; значит,...
08.12.2022 18:26
1 491
1) Для заданного предиката Q(x,y), определенного на множестве A рассмотреть все варианты...
08.12.2022 18:23
1 431
Упростить выражения: 1)(¬A∪B)∪(A∩(¬B∪C)) 2)(¬A∩B)∩(A∪(¬B∩C))
08.12.2022 18:09
1 372
М=(3, 6, 9, 12}. Это опечатка или ( что-то исключает?
06.12.2022 23:29
2 497
Как построить скнф из a * b?
06.12.2022 23:28
1 431
Здравствуйте! Помогите пожалуйста разобраться в одной задаче по матлогике. Буду рад, если кто...
05.12.2022 17:30
1 339
Найдите множества истинности предикатов Уравнение: М1 = М2 = Z, |x1 - x2| = 3
05.12.2022 01:59
2 926
Помогите пожалуйста построить вывод формулы (A ∨ A) → A
05.12.2022 01:55
2 350
Добрый день, в задании нужно найти ПНФ, но при решении возникают трудности: 1)Расстановка скобок в...
02.12.2022 13:39
5 684
Определите мощность множества^1: 1)симфонии Шопена; 2)оперы Глинки; 3)симфонии Бетховена;...
01.12.2022 11:46
1 1,508
Ввести предикат на соответствующей области и записать на языке логики предикатов с использованием...
30.11.2022 00:58
2 531
Добрый день, помогите с заданием. Нужно записать предикатную формулу через фразу: «Для каждого...
28.11.2022 15:31
5 629
Задать вопрос
IndentationError
0 7622
Mr. Docker
0 6248
EggHead
0 7782
EggHead
0 8449
EggHead
0 4799
Javaican
0 2352
EggHead
0 4393
Codd
0 8849
Новая тема
Новые блоги и статьи
Скрипты 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