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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,123,741 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,836
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Является ли тавтологией формула ((P ⊃Q) & (R ⊃Q) & (T ⊃ (P ∨ R)) & ¬T) ⊃ Q?
MichelangeloO_o
02.07.2018 23:42
4 88
Привести функцию к СДНФ
XsonikX
02.07.2018 13:45
1 63
Доброго времени суток форумчане у меня к вам назрел вопрос нечетных множеств...
Broooks
01.07.2018 00:26
3 113
Дан предикат, зависящий от двух переменных P(x,y)={{x}^{2}+2{ln}^{2}(y)\leq 2}...
Arktic
28.06.2018 23:43
1 43
Добрый день. Помогите доказать с помощью аксиоматики высказывание (A\rightarrow...
orangeNat
28.06.2018 16:46
5 132
Определите отношения по объему между понятиями и выразите эти отношения...
CraftLourens
28.06.2018 12:27
3 64
У меня тут возник небольшой спор с человеком. Я предполагаю, что...
Phorcys
27.06.2018 23:26
1 155
допустим есть булева функция задана вектором значений F(x)=(1101) объясните...
a_lar
27.06.2018 16:19
11 125
Так вопрос, есть множество: А={1,2,3,4}. И есть некое отношение R, этого...
Goshaa
27.06.2018 07:56
1 67
Найти решение булевского уравнения. Как сделать?
Julia_1
26.06.2018 13:06
3 125
Дано множество А= {0 ,{1},{0}}. Найти булеан. Я не тупой, понимаю, как это...
Goshaa
26.06.2018 12:45
3 63
Есть операция счетного объединения множеств. Вопрос применима ли данная...
Qazan
24.06.2018 23:51
4 70
доказать методами: аксиоматическим (основываясь на системе аксиом Лукасевича) и...
flwlss4q
24.06.2018 20:35
2 97
Объясните пожалуйста взаимосвязь существенных и фиктивных переменных с задачей...
EchoesArina
24.06.2018 00:18
0 56
Здравствуйте, имеется вот такое задание И честно многое не понятно, вот f1 я...
grizzly5482
23.06.2018 19:02
0 75
определить сохраняет ли данная функция 0 или 1 (X∨(¬Y))∧Z
a_lar
23.06.2018 13:15
6 91
группа ученых состоит из 100 человек. из них 70 владеют английским, 50...
a_lar
23.06.2018 13:10
3 88
Добрый день! Объясните пожалуйста, в чем проявляются достоинства и недостатки...
EchoesArina
22.06.2018 23:56
5 70
Помогите пожалуйста я не могу вообще понять как это решать и подробно, если не...
a_lar
21.06.2018 02:09
1 54
Здравствуйте. Сегодня на лекции проходили ДНФ и КНФ и все, что с ними связано....
Vadim_Osadchi
20.06.2018 22:51
0 69
Есть функция f = ( 011010101 ). Задание: определить условия переключения...
teremok_teremok
20.06.2018 21:22
0 76
(А∆G)∩Ḡ=A\B
Виктор Козлович
20.06.2018 02:28
3 74
Следующее утверждение для произвольных множество докажите или опровергните...
Здорова на
19.06.2018 19:22
2 68
Подскажите пжлст как решить такую задачу: Какова максимально возможная длина...
Dark_Cat
19.06.2018 18:26
2 57
Распишите решение пожалуйста (!A||B||C)&(B||C&D)&(!D||B||!C) & -...
Aleksandr Rediska
19.06.2018 03:55
3 86
необходимо доказать клаузу А->(BvC),B->(D->A),C->(B->A),A->(B->C)=>A∩B∩C;A∩B∩D
ybgvuvtb
16.06.2018 11:43
2 80
Доказать тождественную истинность или ложность формулы, пожалуйста
Aleksandr Rediska
16.06.2018 01:22
5 103
Доказать клаузы методом Вонга Help:wall:
Hamster_77
14.06.2018 23:43
3 97
Переведите с естественного языка на язык логики предикатов Зайцы не всегда...
M1X3R
14.06.2018 21:37
3 98
Является ли данная формула тавтологией? ((P ⊃Q) & (R ⊃Q) & (T ⊃ (P ∨ R)) &...
M1X3R
14.06.2018 17:36
1 53
Помогите подробно расписать, пожалуйста Показать истинность или ложность...
kats
14.06.2018 09:19
2 116
https://yadi.sk/i/mu410iRS3XqRxQ Есть тип задач которые не могу понять, иожет...
XIRURG_
14.06.2018 00:45
2 85
Написать программу, которая находит матрицу бинарного отношения p C AxB,...
Xansis
13.06.2018 23:36
0 74
Здравствуйте, помогите, подробно расписать, пожалуйста Показать истинность или...
kats
13.06.2018 21:07
1 59
f(0,0,0)=f(0,0,1)=f(1,1,0)=0
Ветя
13.06.2018 17:26
2 81
Сижу второй час, ни черта не понимаю (0011 0011 1100 1111)
Ветя
13.06.2018 16:12
1 73
(A->B)->(C->D),(D->F)->E=>AvE
Novichchok
12.06.2018 22:06
3 147
Всем привет. Помогите, пожалуйста, сообразить. Есть система аксиом(отношение...
PaskalisT
10.06.2018 13:44
1 76
Преобразовать данную формулу так, чтобы она содержала только операции тесного...
NineFerrium
09.06.2018 10:52
4 110
Каким образом доказывать подобного рода ?
genstiller
08.06.2018 11:25
4 107
Показать, что множества X=(1;3) и Y= равномощны, по теореме Кантора-Бернштейна....
Phero
08.06.2018 00:46
1 67
Поиск не принес успеха :( https://i.imgur.com/KVMHqCU.png
verccety
07.06.2018 22:57
3 69
Не каждый дурак сможет удалить нужные файлы, но ни один умный человек не станет...
WizzyEgo
07.06.2018 17:34
1 53
Есть формула у которой нужно проверить выполняемость условия. (x->y)+ Не(y) =...
demamon
07.06.2018 17:24
1 72
На множестве A= {1, 2, 3, ... 20 } заданы предикаты: A(x): x- не делится на 5;...
danilAnisimov
07.06.2018 15:54
1 70
Разработать программное обеспечение, которое проверяет: истинность выражения A...
JamesSs
07.06.2018 09:45
2 98
Является ли полной заданная система функций? Образует ли она базис?
cyberlohh
05.06.2018 23:44
4 73
"Ни один параллелограмм не является ромбом."
BATMAN956
05.06.2018 22:26
1 114
Когда мы приводим формулу к ПНФ напрмер эту \exist xP(x)^\exist xQ(x) ...
MyNameO1eg
05.06.2018 22:21
5 103
Помогите привести к ДНФ, а дальше я сам. (x1∨x2x3)⊕¬(x1→x2)
Psychodel
05.06.2018 12:37
2 86
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

Расширенный поиск

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