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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,586,168 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,127
Обычные темы
Задать вопрос
До красной линии и после все понятно. Какая операция / правило может там применяться? У меня есть...
30.12.2020 14:18
5 3,211
Помогите пожалуйста . Перевелся в другой универ, но тут требуют решить задания по дискретке. А я в...
30.12.2020 11:02
3 1,227
Надо найти {P}^{-1} для P=\begin{cases} (x, y)| x^2 - y \g 0}\end{cases}.
30.12.2020 09:25
3 563
Воспользовавшись законами алгебры множеств максимально упростить заданное алгебраическое выражение...
29.12.2020 14:25
2 1,724
Выяснить, какими свойствами (рефлексивность, симметричность, антисимметричность, транзитивность)...
29.12.2020 14:07
1 2,231
A = 30 B = 12 Функция f(x) получена операцией примитивной рекурсии из константы C и функции...
29.12.2020 11:23
1 927
Доказать равенство: A\(B ∪ C)=A\B)∩(A\C)
29.12.2020 01:10
3 951
28.12.2020 20:18
4 1,016
Помогите пожалуйста, буду очень признателен :) Нужно эквивалентными преобразованиями получить...
27.12.2020 20:04
1 1,859
В качестве задания необходимо построить нормально вычислимые функции 1 вариант f(x,y) = x*y...
27.12.2020 17:02
0 500
Найдите мощность множества всех счётных подмножеств действительных чисел.
26.12.2020 23:29
4 2,322
Написать программу, вычисляющую функцию f(n) = 0 , n>0, и f(n) не определена, когда n=0. Найти...
26.12.2020 19:03
1 910
Приветствую! Пусть f:A→B, g:B→C, h:C→D и композиции g◦f, h◦g - биективные функции. Докажите,...
26.12.2020 15:01
1 2,962
Помогите, пожалуйста, доказать, что для любой функции f и произвольных A и B выполняется f(A \cap ...
26.12.2020 14:42
3 2,583
Помогите, пожалуйста, доказать, что A \cup B = (A \div B) \cup (A \cap B).
26.12.2020 11:15
4 1,549
Не могу разобраться как доказать или опровергнуть, что та или иная функция, или отображение, из...
26.12.2020 04:16
1 1,862
Используя теорему Поста, исследуйте на полноту систему булевых функций {↔,∨,0}. {\leftrightarrow...
25.12.2020 20:03
3 765
Задано универсальное множество U={1,2,3,4,5,6,7 } и в нем подмножества
25.12.2020 15:31
0 5,906
Мороз и солнце - день чудесный, что не значит, что если чудесный день, то мороз и солнце.
25.12.2020 14:53
0 785
Если он едет, то он поезд, но это не значит, что если он стоит, то он не поезд.
25.12.2020 14:27
1 877
На одной из кафедр университета работают S человек, среди которых T=5 человек не знают ни одного...
25.12.2020 14:18
1 2,447
Доброго времени суток. Столкнулся со следующей проблемой: Необходимо представить функцию f (x, y) =...
25.12.2020 12:25
2 1,686
Любое число делится на единицу
24.12.2020 19:47
1 749
Определить принадлежность к классу NP. Если ли в графе эйлеров цикл?
24.12.2020 07:26
1 474
День добрый помогите решить, пожалуйста, погуглил, как то поделал но всё не то получается ...
23.12.2020 17:26
0 712
23.12.2020 10:52
0 934
для следующих булевых функций найдите представляющий их полином жегалкина
23.12.2020 10:28
0 1,259
Добрый вечер, форум! Необходима ваша помощь. Не знаю как построить вывод формулы в АТЧ. ...
23.12.2020 00:07
0 497
Получить приведенную и предваренную нормальные формы для следующих предикатных формул(картинка в...
22.12.2020 20:42
16 2,198
Доказать общезначимость формулы A и выяснить тип формулы B. Первая формула А Вторая формула Б
22.12.2020 19:23
1 666
Я пытался использовать теорему L7(├ (¬A→¬B) → (B→A) ⇔ ¬A→¬B├ B→A), но в конечном итоге приходил в...
22.12.2020 19:08
2 730
Добрый вечер, товарищи форумчане. Помогите построить вывод формулы. Во вложениях находится...
22.12.2020 19:04
1 2,066
Помогите, пожалуйста Запишите суждение с помощью логических символов: Все люди рождаются...
22.12.2020 18:38
0 1,252
Выясните, является ли предложение высказыванием или предикатом: ∃х((х^3-2)>4)→(х>3). Определите...
22.12.2020 15:02
2 1,066
Используя предикаты: Т(х)=u<=>x – точка Пр(х)=u<=>x – прямая П(х,у)=u<=>х лежит на y Записать в...
22.12.2020 14:33
9 775
Помогите пожалуйста решить 3 и 4 задание Правила форума :rtfm: 4.7. Как можно более полно...
21.12.2020 20:36
1 388
Дискретная математика Ребят, помогите преобразовать в КНФ, очень срочно, заранее спасибо)
21.12.2020 17:19
1 452
Получить приведенную и предваренную нормальные формы для следующих предикатных формул: a)∀y...
21.12.2020 17:05
19 3,099
Подобрать элементарные предикаты и записать следующее высказывание «через точку плоскости можно...
21.12.2020 14:54
0 518
Не знаю куда обратиться, думаю вы сможете помочь
21.12.2020 11:28
1 548
Не смог разобраться с предикатами. Не понимаю теорию. Буду очень рад помощи(сам продолжаю...
20.12.2020 17:11
1 542
1) На множестве А задано бинарное отношение
20.12.2020 15:31
0 807
Выясните, самодвойственна ли следующая булева функция. f(x,y,z)=((x\vee y\vee z)\rightarrow...
20.12.2020 00:02
4 2,961
Здравствуйте. Помогите пожалуйста решить задачу: Найдите минимальные ДНФ неизвестных функций X(A,...
19.12.2020 20:03
3 1,596
Проверить, является ли функция функционально полной с помощью: -Сведения ее к заведомо...
19.12.2020 18:35
1 1,422
Помогите:help: 1)Ввести предикаты, задающие свойства и отношения, и константы, используемые в...
19.12.2020 17:34
3 1,014
Выяснить взаимное расположение множеств D, Е, F, если А, В, X - произвольные подмножества...
19.12.2020 15:41
0 1,992
1. Существуют ли множества А, В, X такие, что выполняется набор условий A? 2. Существуют ли...
19.12.2020 15:13
1 3,069
Всем привет, мне нужно сделать эти два задания, буду очень благодарен если поможете :) Подобрать...
19.12.2020 07:46
6 2,992
Дан фрагмент таблицы истинности для выражения F: ...
18.12.2020 22:23
1 579
Задать вопрос
IndentationError
0 7650
Mr. Docker
0 6274
EggHead
0 7812
EggHead
0 8509
EggHead
0 4826
Javaican
0 2377
EggHead
0 4414
Codd
0 8889
Новая тема
Новые блоги и статьи
Запрет дублирования строк в табличной части
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
хоп хоп хоп хидахоп, а я кладую))
Как у меня протекала болезнь
zorxor 27.08.2026
Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru