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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,139,251 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,883
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Добрый день. Помогите доказать с помощью аксиоматики высказывание (A\rightarrow B)...
orangeNat
28.06.2018 16:46
5 165
Определите отношения по объему между понятиями и выразите эти отношения графически с помощью...
CraftLourens
28.06.2018 12:27
3 695
У меня тут возник небольшой спор с человеком. Я предполагаю, что эквивалентность множеств - это то...
Phorcys
27.06.2018 23:26
1 175
допустим есть булева функция задана вектором значений F(x)=(1101) объясните как понять сохраняет...
a_lar
27.06.2018 16:19
11 167
Так вопрос, есть множество: А={1,2,3,4}. И есть некое отношение R, этого множество. Вопрос состоит...
Goshaa
27.06.2018 07:56
1 89
Найти решение булевского уравнения. Как сделать?
Julia_1
26.06.2018 13:06
3 186
Дано множество А= {0 ,{1},{0}}. Найти булеан. Я не тупой, понимаю, как это делать) Но я путаюсь с...
Goshaa
26.06.2018 12:45
3 113
Есть операция счетного объединения множеств. Вопрос применима ли данная операция к элементам...
Qazan
24.06.2018 23:51
4 748
доказать методами: аксиоматическим (основываясь на системе аксиом Лукасевича) и методом...
flwlss4q
24.06.2018 20:35
2 124
Объясните пожалуйста взаимосвязь существенных и фиктивных переменных с задачей минимизации ДНФ. И...
EchoesArina
24.06.2018 00:18
0 75
Здравствуйте, имеется вот такое задание И честно многое не понятно, вот f1 я нашел МДНФ как...
grizzly5482
23.06.2018 19:02
0 93
определить сохраняет ли данная функция 0 или 1 (X∨(¬Y))∧Z
a_lar
23.06.2018 13:15
6 110
группа ученых состоит из 100 человек. из них 70 владеют английским, 50 немецким, 40 французким, 30...
a_lar
23.06.2018 13:10
3 726
Добрый день! Объясните пожалуйста, в чем проявляются достоинства и недостатки СКНФ И СДНФ, а так...
EchoesArina
22.06.2018 23:56
5 698
Помогите пожалуйста я не могу вообще понять как это решать и подробно, если не сложно На...
a_lar
21.06.2018 02:09
1 79
Здравствуйте. Сегодня на лекции проходили ДНФ и КНФ и все, что с ними связано. Препод в качестве...
Vadim_Osadchi
20.06.2018 22:51
0 86
Есть функция f = ( 011010101 ). Задание: определить условия переключения булевой функции. Я...
teremok_teremok
20.06.2018 21:22
0 106
(А∆G)∩Ḡ=A\B
Виктор Козлович
20.06.2018 02:28
3 102
Следующее утверждение для произвольных множество докажите или опровергните (A∪B)∩C=A∪(B∩С) Я...
Здорова на
19.06.2018 19:22
2 121
Подскажите пжлст как решить такую задачу: Какова максимально возможная длина функции, сокращенной...
Dark_Cat
19.06.2018 18:26
2 77
Распишите решение пожалуйста (!A||B||C)&(B||C&D)&(!D||B||!C) & - конъюнкция ( логическое "И"...
Aleksandr Rediska
19.06.2018 03:55
3 106
необходимо доказать клаузу А->(BvC),B->(D->A),C->(B->A),A->(B->C)=>A∩B∩C;A∩B∩D
ybgvuvtb
16.06.2018 11:43
2 129
Доказать тождественную истинность или ложность формулы, пожалуйста
Aleksandr Rediska
16.06.2018 01:22
5 749
Доказать клаузы методом Вонга Help:wall:
Hamster_77
14.06.2018 23:43
3 133
Переведите с естественного языка на язык логики предикатов Зайцы не всегда глупее лис.
M1X3R
14.06.2018 21:37
3 134
Является ли данная формула тавтологией? ((P ⊃Q) & (R ⊃Q) & (T ⊃ (P ∨ R)) & ¬T) ⊃ Q?
M1X3R
14.06.2018 17:36
1 675
Помогите подробно расписать, пожалуйста Показать истинность или ложность субъективного...
kats
14.06.2018 09:19
2 177
https://yadi.sk/i/mu410iRS3XqRxQ Есть тип задач которые не могу понять, иожет кто знает как их...
XIRURG_
14.06.2018 00:45
2 703
Написать программу, которая находит матрицу бинарного отношения p C AxB, заданного на двух числовых...
Xansis
13.06.2018 23:36
0 105
Здравствуйте, помогите, подробно расписать, пожалуйста Показать истинность или ложность данного...
kats
13.06.2018 21:07
1 91
f(0,0,0)=f(0,0,1)=f(1,1,0)=0
Ветя
13.06.2018 17:26
2 725
Сижу второй час, ни черта не понимаю (0011 0011 1100 1111)
Ветя
13.06.2018 16:12
1 130
Объясните как решать это и помогите решить пожалуйста) Показать истинность или ложность данных...
DeWMax
13.06.2018 01:09
3 102
(A->B)->(C->D),(D->F)->E=>AvE
Novichchok
12.06.2018 22:06
3 167
Всем привет. Помогите, пожалуйста, сообразить. Есть система аксиом(отношение порядка): C_1:...
PaskalisT
10.06.2018 13:44
1 93
Преобразовать данную формулу так, чтобы она содержала только операции тесного отрицания, дизъюнкции...
NineFerrium
09.06.2018 10:52
4 731
Каким образом доказывать подобного рода ?
genstiller
08.06.2018 11:25
4 725
Показать, что множества X=(1;3) и Y= равномощны, по теореме Кантора-Бернштейна. Добавлено через...
Phero
08.06.2018 00:46
1 83
Поиск не принес успеха :( https://i.imgur.com/KVMHqCU.png
verccety
07.06.2018 22:57
3 95
Не каждый дурак сможет удалить нужные файлы, но ни один умный человек не станет этого делать
WizzyEgo
07.06.2018 17:34
1 65
Есть формула у которой нужно проверить выполняемость условия. (x->y)+ Не(y) = x&y Строю таблицу...
demamon
07.06.2018 17:24
1 92
На множестве A= {1, 2, 3, ... 20 } заданы предикаты: A(x): x- не делится на 5; B(x): x- число...
danilAnisimov
07.06.2018 15:54
1 90
Разработать программное обеспечение, которое проверяет: истинность выражения A x B
JamesSs
07.06.2018 09:45
2 116
Является ли полной заданная система функций? Образует ли она базис?
cyberlohh
05.06.2018 23:44
4 695
"Ни один параллелограмм не является ромбом."
BATMAN956
05.06.2018 22:26
1 143
Когда мы приводим формулу к ПНФ напрмер эту \exist xP(x)^\exist xQ(x) (1) то для того...
MyNameO1eg
05.06.2018 22:21
5 727
Помогите привести к ДНФ, а дальше я сам. (x1∨x2x3)⊕¬(x1→x2)
Psychodel
05.06.2018 12:37
2 701
1. Кошки бывают только белые и серые 2. Так как 60 делится на 2 и на 3, то 60 делится на некоторые...
Здорова на
05.06.2018 00:03
1 134
докажите, что отношение есть отношение эквивалентности на множестве вещественных чисел. Найдите...
Здорова на
04.06.2018 23:55
1 117
Здравствуйте. Задача: Записать предложение сигнатуры {{{f}^{1}}}, такое что <M, f> ⊨ φ тогда и...
Воваааааа
04.06.2018 23:42
2 105
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск Темы без ответов

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru