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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
Показов: 432,650 Посмотреть объявление Объявление: Поддержите наш форум!
23.08.2020 mik-a-el (Администратор)
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Показов: 4,202,062 Посмотреть объявление Объявление: Правила форума
20.11.2006 mik-a-el (Администратор)
  Рейтинг Тема / Автор Обновлено Ответов Показов
Важные темы
OldFedor
27.03.2022 11:20
3 9,324
Обычные темы
 
     
 
Задать вопрос
Упростить выражение для f (x, y, z) = (x ↓ y) ∼ (y → z) ∨ (z → y) . Проверить правильность...
Probiotik
17.12.2018 21:54
0 844
На плоскости задано бесконечное множество попарно не пересекающихся кругов. Верно ли, что оно...
dasdada
17.12.2018 14:46
9 4,701
Запишите высказывание на языке алгебры предикатов Для каждого действительного x существует такой...
Сэлти
16.12.2018 19:58
1 3,523
Здравствуйте! Задача состоит в том,что мне нужно будет рассказать об одном из видом неклассических...
Kristina_S
16.12.2018 16:43
5 1,892
Добрый день. Помогите разобраться с задачей. К слову, я даже не совсем понимаю из формулировки...
Сэлти
16.12.2018 16:40
2 2,101
Такая функция E, что: ∀F (F E = F) Очевидно, что левой единицей E' (E' F = F) будет...
asianirish
16.12.2018 15:18
0 551
Установить взаимно однозначное соответствие (написать какая может быть функция) между множествами:...
plktre
16.12.2018 13:52
2 4,101
Изобразить многочлен Жегалкина функции, заданной формулой
sashablue847
14.12.2018 21:27
1 1,242
На курсовую по матлогике дали задание, можете расшифровать языком на уровне общеобразовательной...
Keegdach
14.12.2018 13:27
1 528
Проверить, есть ли заданные функции линейными, монотонными, самодвойственными, сохраняют 0 и / или...
sashablue847
13.12.2018 21:05
0 388
Доказать теорему в многочисленные высказываний L. Прежде, заменить операции, отличающиеся от...
sashablue847
13.12.2018 20:00
7 1,149
Найти значение истинности формулы логики первого порядка на всех интерпретациях для множества D =...
sashablue847
13.12.2018 19:31
3 2,397
Доказать тождества теории множеств с помощью алгебраических преобразований.
sashablue847
13.12.2018 18:16
3 1,397
Упростить формулу, используя аксиомы и теоремы булевой алгебры.
sashablue847
13.12.2018 16:36
1 1,520
Доказать тождество теории множеств модельным путем.
sashablue847
13.12.2018 15:54
6 2,901
Автобус останавливается на всех остановках. Данное суждение записать в виде формулы логики...
katvmr
13.12.2018 15:50
1 2,401
Методом резолюций доказать теорему (y→¬x)→(x→¬y)
ProW1zardXXX
13.12.2018 06:16
2 820
Привести это уравнение c помощью равносильных преобразований (xVz~¬(¬yV¬z))→y¬zV(¬x→¬y)...
Limoronokuno
12.12.2018 14:36
1 1,534
Господа, помогите, пожалуйста, построить вывод (исчисление высказываний): ̚ А ˄ В...
Notrum666
12.12.2018 13:01
13 5,059
Логическую функцию ( прикрепленное фото - 11 вариант ) представить координатным способом, найти для...
4tunada
11.12.2018 18:01
0 855
Доказать тождества теории множеств с помощью алгебраических преобразований.
sashablue847
11.12.2018 17:10
1 1,507
Построить таблицы истинности и определить ранг формул 1) – 3
shadowraze13
11.12.2018 16:37
0 346
Добрый день. До этого у меня было такое задание: Выяснить, какими из свойств: рефлексивность,...
Fedor373
11.12.2018 12:26
18 5,012
Здравствуйте. Подскажите, пожалуйста, какое-нибудь отношение на бесконечном множестве, которое...
eganator
11.12.2018 12:22
2 2,489
Доказать или опровергнуть справедливость следующих правил вывода, установив доказуемость...
Wein
10.12.2018 21:31
7 1,843
Здравствуйте. У меня вопрос. Как можно определить, является ли формула ¬((¬R → ¬(P →...
Anaryn
09.12.2018 18:10
1 5,421
:wall: Нуждаюсь в помощи=)
shadowraze13
09.12.2018 17:48
1 494
Доброго времени суток! Исходная формула - первая, конечная - вторая. Как привести исходную к...
escence
09.12.2018 17:39
1 1,417
Составьте электронную схему дешифратора, переводящую двоичный код в десятичные цифры.
Vasilevss
09.12.2018 16:51
0 708
Задание № 3 Введите предикаты на соответствующих областях и запишите при их помощи следующие...
Egor0976
09.12.2018 13:11
0 1,830
Добрый вечер! Вообще тема суждений и отношений между ними достаточно простая, но есть несколько...
janealexis
08.12.2018 17:50
4 3,379
Нужно привести пример симметричного, транзитивного и не рефлексивного отношения! Спасибо за помощь)
Али19
08.12.2018 11:46
1 858
Помогите построить, ничего не выходит
Adamdon
07.12.2018 21:58
7 2,611
Правильно ли я перевел формулу на обычный язык, и выполнил ли я полностью это задание
Ivan2117
07.12.2018 16:59
7 797
Какими свойствами обладает бинарное отношение
Ivan2117
07.12.2018 12:59
1 1,080
-Найти результаты действий -Ввести необходимые элементарные высказывания и записать логической...
Лидия_3
07.12.2018 06:27
0 997
Найти число отношений порядка на множестве {a,b,c}, не являющихся линейными порядками. Не нашел...
Sonnyforsun
06.12.2018 22:37
4 4,753
Здравствуйте, есть такое задание. Какими свойствами обладает данное отношение Ф=(А, G), где А -...
Fedor373
06.12.2018 22:17
2 4,090
я правильно сделал задание( вот это А/В тоже самое что А\В, в задании просто перепутано, или это...
Ivan2117
06.12.2018 21:57
3 1,287
Не получается упростить логическую функцию СКНФ ...
Фазли
06.12.2018 16:42
10 2,302
Нужна помощь, не получается 1 и 2 задание.
Tumkas
06.12.2018 09:22
0 503
Не получается правильно сократить! Нужно сократить следующие выражения: СДНФ: F =...
Mihacrasavchik
06.12.2018 06:59
2 754
Докажите что объединение и декартово произведение конечного множества счетных множеств счетно
plktre
06.12.2018 01:26
1 1,242
Общезначима ли формула?
cxccxcgdfgds
05.12.2018 22:55
1 953
Множество А и в перечислимо.Докажите,что их пересечение перечислимо
plktre
05.12.2018 18:43
1 2,110
Докажите,что в круге есть точка с рациональными координатами
plktre
05.12.2018 13:56
2 1,524
Рассмотрим множество Zn вычетов по модулю n. Пусть нашлись такие целые числа a, b, c, что a · b = c...
plktre
05.12.2018 11:22
1 592
Пусть |A| = 2. Сколько на множестве A существует а) всего бинарных отношений? б) отношений...
plktre
04.12.2018 20:26
0 1,229
Необходимо максимально упростить, используя законы Буля: ...
Natalya42r
04.12.2018 11:23
1 750
Ниже приведена легенда. Запишите с использованием 4—6 различных букв клаузу, отвечающую тексту или...
Wein
03.12.2018 16:03
0 601
Задать вопрос
       
 
Новая тема
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru