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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,587,449 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,127
Обычные темы
Задать вопрос
Привет! Я решаю задачи на составление булевых схем, встретилась такая: Составьте схему для...
06.11.2020 15:12
9 1,516
На одной из кафедр университета работают S человек, среди которых Т человек не знают ни одного...
05.11.2020 10:24
1 1,104
Здравствуйте! Подскажите, пожалуйста, как можно получить вывод этой формулы, сколько сижу, ничего...
04.11.2020 20:13
8 698
Добрый вечер, кибернетики! Помогите, пожалуйста, с хитромудрой задачкой: Пускай дано частично...
04.11.2020 19:31
7 1,685
Упростить этот вид множества, используя законы алгебры множеств, так чтобы в конце множества...
04.11.2020 02:20
1 1,577
"Сколько существует различных отношений эквивалентности на n-элементном множестве, которые...
03.11.2020 19:16
3 4,014
Пжалуйста помогите решить
01.11.2020 13:05
1 782
Здравствуйте, имеется следующая задача: Преобразовать выражение (a∧b∧c)vd в СКНФ, однако...
30.10.2020 23:06
1 867
Есть одно выражение: x1x2x3\/¬x1¬x2x3\/x1x2¬x3\/¬x1¬x2¬x3 Минимизирую с помощью аналитического...
30.10.2020 17:42
9 940
На первый курс поступили 75 студентов. Из них 49 изучают английский язык, 40 — немецкий, 25 —...
29.10.2020 12:42
5 2,194
Определить множество (если это возможно), на которой данное отношение являются: а) функциональным;...
28.10.2020 17:59
2 1,182
Проводится чемпионат школы по гимнастике. Болельщики обсуждают ход борьбы и делают предположения о...
28.10.2020 11:34
6 2,846
Доказать теоремы, пользуясь только правилами вывода:
27.10.2020 00:15
1 535
Применяя метатеорему дедукции и дополнительные правила вывода, доказать:
27.10.2020 00:14
1 549
По заданной сокращенной ДНФ D построить все тупиковые, кратчайшие и минимальные ДНФ: D = ¯z ¯w ∨...
26.10.2020 13:37
1 2,258
производя равносильные преобразования докажите следующие формулы являются тавтологии...
26.10.2020 12:42
1 993
Доказать,что (A⋃B)⋃C = A⋃(B⋃C) Мой вариант(представленный во вложениях) подразумевает описание...
26.10.2020 10:42
2 1,733
Проверьте пожалуйста, правильно ли я преобразовал текстовые высказывания в логические, ато метод...
25.10.2020 22:46
8 2,975
Преобразовать функцию, чтобы я смог построить логическую схему в базисе И-НЕ, помогите пожалуйста:...
24.10.2020 20:57
3 2,348
Как определить является ли формула выполнимой, логически общезначимой, истинной, ложной,...
24.10.2020 20:53
9 8,641
Почему в алгоритме Брилхарта Морриса в данном примере h = 6? Почему именно на 19, факторная база...
24.10.2020 20:15
0 488
доказать, что
24.10.2020 17:08
1 1,102
Добрый вечер. В прикрепленном ниже изображении я решил одну задачку из математической логики, на...
23.10.2020 14:27
7 3,230
помогите решить
23.10.2020 11:27
8 1,335
23.10.2020 01:46
4 994
17 вариант. Необходимо решить первое задание с ПНФ и второе задание по 2 рисунку(справа)
23.10.2020 01:05
3 574
(А ↔ B) ∨ ¬(A → (B ∨ C))
22.10.2020 14:43
6 1,003
помогите доказать , что
21.10.2020 22:44
1 1,600
((K ∨ L) → (L ∧ M ∧ N))
21.10.2020 18:12
4 1,711
Используя законы алгебры-логики, пошагово преобразовать заданную функцию в ДНФ (дизъюнктивную...
21.10.2020 17:46
0 1,402
Есть такое выражение: -Смотреть телевизор и одновременно готовиться к экзаменам нельзя. Как...
21.10.2020 16:16
3 2,155
Задайте аналитически множество, изображенное на диаграмме Эйлера-Венна
21.10.2020 13:37
2 1,484
Задайте аналитически множество, изображенное на диаграмме Эйлера-Венна
21.10.2020 13:25
1 1,850
Доказать (или опровергнуть) следующие тождества, используя или отношение принадлежности, или...
21.10.2020 12:41
0 1,012
Я сломался на булевых функциях Исследуйте на полноту систему F . Если она неполна, то добавьте...
20.10.2020 16:47
1 745
Не совсем понятно, что нужно деалть на 3-ем шаге алгоритма Бриллхарта Моррисона? и на втором тоже...
20.10.2020 14:53
0 518
Правильно ли это выражение 4 ≡ 4 (mod 11)? Немножко запутался, что должно выйти, когда у нас число...
20.10.2020 00:30
2 408
Чем является U в данной теореме? И как она называется? (название не приведено, только сказано...
19.10.2020 18:25
15 3,916
можно ли сказать, что x ≡ 20 (mod 11) тоже самое, что и x ≡ 9 (mod 11)?
19.10.2020 16:46
3 1,901
Здравствуйте уважаемые форумчане. Нужна срочная помощь с заданиями
19.10.2020 13:45
5 457
Добрый день. Пытался разобраться самостоятельно, но только запутался, поэтому хочу...
18.10.2020 22:28
13 1,446
18.10.2020 17:56
4 2,483
помогите решить
17.10.2020 14:30
2 2,209
Упростить вид множества, заданной с помощью операций, применяя законы алгебры множеств (в ответ...
16.10.2020 23:02
7 649
Упростить вид множества, заданной с помощью операций, применяя законы алгебры множеств (в ответ...
16.10.2020 13:44
0 388
Упростить вид множества, заданной с помощью операций, применяя законы алгебры множеств (в ответ...
16.10.2020 11:54
3 608
Множество изображено на диаграмме. Записать ее с помощью операций.
16.10.2020 10:35
8 1,594
Упростить вид множества, заданной с помощью операций, применяя законы алгебры множеств (в ответ...
16.10.2020 10:09
5 634
помогите решить Упростить вид множества, заданной с помощью операций, применяя законы алгебры...
15.10.2020 23:17
5 1,176
На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы...
15.10.2020 09:28
3 3,365
Задать вопрос
IndentationError
0 7658
Mr. Docker
0 6280
EggHead
0 7822
EggHead
0 8529
EggHead
0 4829
Javaican
0 2380
EggHead
0 4417
Codd
0 8918
Новая тема
Новые блоги и статьи
Мобильное приложение 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, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .
мат медиц модель 30. презентация проекта
anaschu 27.08.2026
хоп хоп хоп хидахоп, а я кладую))
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru