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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,589,506 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,127
Обычные темы
Задать вопрос
Имеется система уравнений (вложение). Необходимо её решить. К упрощенному виду я смог привести, но...
09.12.2020 22:46
3 801
Формулу записать полностью на сайте не смог, прикрепил во вложении (png) Заранее спасибо!
09.12.2020 22:41
3 3,585
помогите Записать в символической форме высказывания? а)я перейду на следующий курс только в том...
09.12.2020 19:48
2 1,818
Здравствуйте , помогите написать Алгоритмы Маркова Буду благодарен за помощь, пытаюсь разобраться...
09.12.2020 19:25
1 806
На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы...
08.12.2020 15:51
0 794
Найти функцию полученную из функций g(x) = x и h(x,y,z) = x+y-z f(x,0) = g(x) = x f(x,1) =...
08.12.2020 13:03
1 583
(not(B)∩not(A∪C))∪not(not(A)∪B)∪not(B∪no­t(C))=not(B)
08.12.2020 12:21
3 2,145
Срочно, нужна помощь. Никак не могу понять язык предикатов. Задание 1. Подобрать элементарные...
08.12.2020 11:30
5 1,395
A B C подмножества в Х. Как доказать, что A \cap B \subseteq C \Leftrightarrow A \subseteq \bar{B}...
08.12.2020 06:41
6 3,490
¬((¬x1≡(x2≡1))∨x1(¬x3)) Спасибо))
07.12.2020 23:29
0 733
(¬x2⊕x3)∨((¬x1∨¬x2)→x1)
07.12.2020 09:59
1 3,632
Записать представленое предложения на языке логики предикатов: Если каждый математик мыслит...
07.12.2020 00:26
19 1,801
1) Сколько существует целых значений А, при которых формула ( (x > 6) ∧ (x*x ≤ A)) ∨ ((y*y ≥ A) ∧...
06.12.2020 17:56
6 3,744
06.12.2020 16:23
0 491
Найти функцию полученную из функции g(x) и h(x,y,z) по схеме примитивной рекурсии h(x,y,z)=x+z ...
06.12.2020 14:58
0 911
Укажите наибольшее целое значение А, при котором выражение (21y – 5x != – 99) ∨ (A < 2x – 7) ∨...
05.12.2020 17:53
1 6,523
Помогите составить формулу по РКС пожалуйста. Буду очень благодарен.
05.12.2020 16:57
6 2,037
Определите свойства отношения: «быть прямым потомком»,
05.12.2020 16:00
5 585
(∃x∀yA(x,y) → ¬(∀xB(x,y)) вот формула, как она будет выглядеть в предваренной форме?
04.12.2020 18:00
33 9,402
Пусть
04.12.2020 13:59
7 1,199
Введем выражение M&K, обозначающее поразрядную конъюнкцию M и K (логическое "И" между...
04.12.2020 00:01
0 1,266
Введем выражение M & K, обозначающее поразрядную коньюнкцию M и K. Определите наименьшее...
03.12.2020 22:26
1 1,182
(∃x∀yA(x,y) → ¬(∀xB(x,y)) Вот уравнение, как проверить его с помощью метода резолюции
03.12.2020 22:20
3 3,739
Муравей поднимет соломинку, если ее вес не превышает собственный вес муравья более, чем в 10 раз....
03.12.2020 20:33
3 1,159
Хомяк добрый, если хозяин его вкусно кормит. Хомяка вкусно кормят, только если у хозяина есть...
03.12.2020 20:27
3 1,215
Разложить логическую функцию четырех переменных f(x,y,z,c) : а) по одной переменной y ;б) по двум...
03.12.2020 20:06
1 1,053
На координатной плоскости даны множества A и B(A ограничено красным цветом, B - синим). Описать...
03.12.2020 19:30
3 2,264
Добрый день, помогите с задачей: Разбить высказывание на элементарные и записать в виде кванторной...
03.12.2020 12:26
1 1,252
Сколько различных решений имеет уравнение ((J V K V L) - !(M - N)) ∧ ((!J ∧ !K ∧ !L) - (!M V N)) ∧...
02.12.2020 20:53
5 3,720
Перевести на формальный язык, описав предварительно универсальное множество и необходимые...
02.12.2020 13:07
1 1,048
Записать на языке логики предикатов высказывание : "Через любые три точки проходит плоскость"
02.12.2020 12:58
1 740
Минимизировать функцию f(0,1,3,5,6,7,10,11,13,14,15)=1 методом Куайна, Куайна-Мак-Класки и картами...
02.12.2020 04:49
2 1,562
02.12.2020 00:26
11 3,587
1. Сколько раз нужно бросить игральную кость, чтобы какое-то число на ней выпало по крайней мере...
01.12.2020 11:46
1 3,985
Очень прошу помочь с этим заданием , не понимаю как делать (¬φ→ψ)|-(¬ψ→φ)
01.12.2020 00:44
3 1,119
Здравствуйте ! Задача на метод резолюций и составление формулы. Задача: Если студент сдаёт РГР...
01.12.2020 00:24
11 2,517
Здравствуйте! Подскажите, как восстановить логическую функцию F(x1,x2,x3) по заданной таблице...
30.11.2020 21:12
3 5,483
1. Выяснить, какими из свойств: рефлексивность, антирефлексивность, симметричность,...
30.11.2020 15:48
0 637
На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим). Описать...
30.11.2020 06:54
1 3,675
Всем привет! Задание такое Найти значение логического выражения, если x, y, z равно: x y z 0...
30.11.2020 06:45
1 1,506
На картинках будут представлены тестовые варианты. В понедельник 30.11.20 в 14:00 будет...
29.11.2020 17:59
1 678
Добрый день. Задание: построить блок-схему (логическую схему) по логической функции F(A,B)....
29.11.2020 15:43
0 906
(φ<--->ψ)|-(φ-->ψ) Помогите ,очень прошу!!!!!! С указаниями по которому правилу виведения
29.11.2020 00:21
1 627
Запишите формулой логики предикатов: «Если две прямые пересекаются, то любая третья пересекается...
28.11.2020 01:03
1 663
решил данный пример но мне сказали что здесь ошибка, кто то может показать где она? или решить по...
27.11.2020 19:30
3 599
Понятия не имею как записать такие символы, потому скину скриншотом: Максимально упростите...
25.11.2020 16:22
1 609
У меня не получаються абсолютно все задания с доказательствами. Поэтому прошу помочь. Да, я все...
25.11.2020 16:11
1 555
Применяя равносильные преобразования, приведите формулу к предваренной нормальной форме. В...
25.11.2020 13:52
4 3,621
2) P|(Q|R) \vdash (P|Q)|R
24.11.2020 19:46
3 1,129
Спроектировать клавишный пульт (смотри рисунок 3.4,б), работающий по такому алгоритму: выходной...
24.11.2020 17:55
2 1,516
Задать вопрос
IndentationError
0 7663
Mr. Docker
0 6292
EggHead
0 7830
EggHead
0 8552
EggHead
0 4836
Javaican
0 2383
EggHead
0 4432
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