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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,582,777 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
27.03.2022 11:20
3 10,124
Обычные темы
Задать вопрос
Привести к пренексной(предваренной) нормальной форме формулу:
29.09.2021 16:19
1 873
Выполнить операции над множествами, если множество бесконечное, то перечеслить 5 цифр. • (d|c)...
27.09.2021 23:17
1 456
Доказать тождество, пользуясь таблицей операций.
27.09.2021 14:24
5 1,668
получите аналитическую биекцию между множествами А=(9;10] и B=(-1;3]△(0;5]
27.09.2021 01:29
18 2,197
Докажите правильность следующих умозаключений, используя опровержение по методу резолюций. а)...
26.09.2021 15:25
1 1,150
Докажите, что B = (¬A ∩ B) ∪ (¬B ∩ A) ⇒ A = ∅. (Подсказка. Доказывайте от противного: предположите,...
25.09.2021 03:55
3 1,238
Из 62 студентов педагогику сдали 54 человек, математику – 49, философию – 50, педагогику и...
24.09.2021 17:27
1 1,067
Докажите истинность утверждения
23.09.2021 13:27
1 651
У меня возникли затруднения со следующей задачей из книги Куратовского Мостовского "Теория...
22.09.2021 12:40
0 1,273
Определить, какие из формул не являются ни противоречиям, ни тавтологиями. Также написать решения.
21.09.2021 21:35
6 1,289
Подскажите пожалуйста, как в этом примере происходит раскрытие скобок? Что на что умножается и как...
21.09.2021 12:14
3 3,713
Разностная сумма множеств (или сумма по модулю 2) определяется следующим равенством: (вл. 1)....
19.09.2021 16:56
1 376
Помогите составить клаузу по легенде. Ваня и Петя — братья-близнецы. Ваня с огромной скоростью...
15.09.2021 22:47
5 1,520
Опишите множество , которое соответствует закрашенной части диаграммы Венна
13.09.2021 01:20
3 1,615
y=\bar{{x}_{1}}*\bar{{x}_{2}}+\bar{{x}_{­1}}*{x}_{3}+\bar{{x}_{2}}*{x}_{3} Можно ли сократить...
13.09.2021 00:03
1 585
Только начал изучать мат логику и предстала вот такая задача: докажите, что множество бесконечных...
12.09.2021 21:41
5 5,587
Известно, что каждый ученик учит хотя бы один иностранный язык. Английский изучают 28 человек,...
09.09.2021 01:00
3 915
Нужно перевести в запись знаками :А при условии, что для В, а В влечёт С и А, но А не эквивалентно...
08.09.2021 18:56
8 1,559
Необходимо упростить формулу множеств.
04.09.2021 05:21
1 1,416
Включена ли формально теория матлогики в матанализ алгебру и тд , то есть вписаны ли все аксиомы и...
23.08.2021 22:18
3 1,212
Наверно глупый вопрос, но что-то я не понимаю как построить отрицание суждения А(не все медведи...
22.08.2021 20:30
5 1,503
Всем доброго времени суток Помогите, пожалуйста, с задачей. Вуз можно оценить по трем...
22.08.2021 20:13
0 491
Хотел спросить знает ли кто-нибудь как пользуясь только формальной логикой доказать принцип...
21.08.2021 14:24
7 1,916
Добрый день! Буду рада, если поможете в доказательстве клауз методом Вонга) Мне кажется, что я все...
05.08.2021 19:22
8 2,740
Добрый день! Не могу разобраться с заданием: установить доказуемость формулы: A∨A⟶A
30.07.2021 23:02
4 3,207
Доброго времени суток! Задание: Выяснить, равносильны ли приведенные формулы в трёхзначной...
30.07.2021 16:26
2 2,127
Modus ponens Доказать для исчисления высказываний: A→B↦(B→C)→(A→C) Я воспользовался...
30.07.2021 16:25
2 853
Здравствуйте! Я пишу калькулятор логических операций и запутался в их приоритетах. Есть...
29.07.2021 17:35
3 2,974
можете пожалуйста кое-что объяснить . Вот например есть утверждение все элементывсе S суть P...
27.07.2021 21:52
8 1,797
можете объяснить чем импликация отличается от выводимости и что именно подразумевается под знаком...
25.07.2021 01:02
2 1,542
Все 15 участников некоторого проекта программируют на двух или более из трех приведенных языков...
19.07.2021 00:30
5 2,043
Желательно поскорее
08.07.2021 01:28
3 2,751
Здравствуйте. Помогите, пожалуйста, составить словесное описание логических функций "Штрих Шеффера"...
04.07.2021 19:55
5 781
С помощью кругов Эйлера – Венна изобразить множество _. _ (B∩A)/C
03.07.2021 12:37
1 1,611
Привести данную формулу к СДНФ и СКНФ (путем равносильных преобразований и с помощью таблиц...
03.07.2021 11:27
1 1,081
Упростите выражение с помощью законов алгебры множеств
03.07.2021 11:26
1 512
Составьте таблицу истинности для формулы ( x V z)∧y-»z и укажите, является ли формула выполнимой,...
03.07.2021 11:25
1 450
Помогите упростить выражение с помощью законов алгебры множеств
03.07.2021 11:24
1 690
Задайте различными способами множество А, если А – множество всех отрицательных корней уравнения...
03.07.2021 10:25
1 573
Известно, что из 90 студентов увлекаются спортом − 17; музыкой – 25; живописью – 32; спортом и...
03.07.2021 10:23
0 768
Подскажите, пожалуйста, как решить эту задачу: Было выдвинуто 3 гипотезы: Х дешевле всего Y не...
01.07.2021 16:16
4 2,003
Здравствуйте. Помогите с заданием, мне нужно определить из приведённых отображений являются ли они...
29.06.2021 00:00
8 3,214
P = {"знак пустого множества", {знак пустого множества}, 0}. - какое тут кардинальное число?
28.06.2021 18:15
2 1,280
Здравствуйте. Вот такое задание U=R- универсальное множество, A - множество решений неравенства...
26.06.2021 18:26
1 1,062
Требуется с помощью теоремы контрапозиции и теоремы дедукции доказать теорему: У меня...
24.06.2021 20:09
6 2,354
Добрый день! Мне нужна помощь с задачкой по матлогике. Задача: (1) Ни один акробатический трюк,...
24.06.2021 01:12
2 727
На одной из кафедр университета работают 16 человек, среди которых 3 человека не знают ни одного...
22.06.2021 18:32
2 1,731
Найти СДНФ(А) и СКНФ(А) с помощью равносильных преобразований и таблицы истинности, если а) А≡...
22.06.2021 17:08
1 2,547
методом неопределенных коэффициентов представить полином Жегалкина
22.06.2021 16:59
2 1,464
Нужно преобразовать заданную в базис Шеффера и Пирса F=ABCD+B(ABC+CD) Помогите, пожалуйста...
22.06.2021 14:43
1 772
Задать вопрос
IndentationError
0 7612
Mr. Docker
0 6246
EggHead
0 7778
EggHead
0 8437
EggHead
0 4793
Javaican
0 2350
EggHead
0 4390
Codd
0 8844
Новая тема
Новые блоги и статьи
Скрипты 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