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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,101 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,925
Обычные темы
 
     
 
Задать вопрос
Здравствуйте. Сегодня на лекции проходили ДНФ и КНФ и все, что с ними связано. Препод в качестве...
Vadim_Osadchi
20.06.2018 22:51
0 90
Есть функция f = ( 011010101 ). Задание: определить условия переключения булевой функции. Я...
teremok_teremok
20.06.2018 21:22
0 109
(А∆G)∩Ḡ=A\B
Виктор Козлович
20.06.2018 02:28
3 106
Следующее утверждение для произвольных множество докажите или опровергните (A∪B)∩C=A∪(B∩С) Я...
Здорова на
19.06.2018 19:22
2 170
Подскажите пжлст как решить такую задачу: Какова максимально возможная длина функции, сокращенной...
Dark_Cat
19.06.2018 18:26
2 81
Распишите решение пожалуйста (!A||B||C)&(B||C&D)&(!D||B||!C) & - конъюнкция ( логическое "И"...
Aleksandr Rediska
19.06.2018 03:55
3 110
необходимо доказать клаузу А->(BvC),B->(D->A),C->(B->A),A->(B->C)=>A∩B∩C;A∩B∩D
ybgvuvtb
16.06.2018 11:43
2 143
Доказать тождественную истинность или ложность формулы, пожалуйста
Aleksandr Rediska
16.06.2018 01:22
5 781
Доказать клаузы методом Вонга Help:wall:
Hamster_77
14.06.2018 23:43
3 150
Переведите с естественного языка на язык логики предикатов Зайцы не всегда глупее лис.
M1X3R
14.06.2018 21:37
3 151
Является ли данная формула тавтологией? ((P ⊃Q) & (R ⊃Q) & (T ⊃ (P ∨ R)) & ¬T) ⊃ Q?
M1X3R
14.06.2018 17:36
1 699
Помогите подробно расписать, пожалуйста Показать истинность или ложность субъективного...
kats
14.06.2018 09:19
2 189
https://yadi.sk/i/mu410iRS3XqRxQ Есть тип задач которые не могу понять, иожет кто знает как их...
XIRURG_
14.06.2018 00:45
2 705
Написать программу, которая находит матрицу бинарного отношения p C AxB, заданного на двух числовых...
Xansis
13.06.2018 23:36
0 124
Здравствуйте, помогите, подробно расписать, пожалуйста Показать истинность или ложность данного...
kats
13.06.2018 21:07
1 101
f(0,0,0)=f(0,0,1)=f(1,1,0)=0
Ветя
13.06.2018 17:26
2 737
Сижу второй час, ни черта не понимаю (0011 0011 1100 1111)
Ветя
13.06.2018 16:12
1 175
Объясните как решать это и помогите решить пожалуйста) Показать истинность или ложность данных...
DeWMax
13.06.2018 01:09
3 113
(A->B)->(C->D),(D->F)->E=>AvE
Novichchok
12.06.2018 22:06
3 174
Всем привет. Помогите, пожалуйста, сообразить. Есть система аксиом(отношение порядка): C_1:...
PaskalisT
10.06.2018 13:44
1 98
Преобразовать данную формулу так, чтобы она содержала только операции тесного отрицания, дизъюнкции...
NineFerrium
09.06.2018 10:52
4 738
Каким образом доказывать подобного рода ?
genstiller
08.06.2018 11:25
4 729
Показать, что множества X=(1;3) и Y= равномощны, по теореме Кантора-Бернштейна. Добавлено через...
Phero
08.06.2018 00:46
1 91
Поиск не принес успеха :( https://i.imgur.com/KVMHqCU.png
verccety
07.06.2018 22:57
3 98
Не каждый дурак сможет удалить нужные файлы, но ни один умный человек не станет этого делать
WizzyEgo
07.06.2018 17:34
1 66
Есть формула у которой нужно проверить выполняемость условия. (x->y)+ Не(y) = x&y Строю таблицу...
demamon
07.06.2018 17:24
1 102
На множестве A= {1, 2, 3, ... 20 } заданы предикаты: A(x): x- не делится на 5; B(x): x- число...
danilAnisimov
07.06.2018 15:54
1 117
Разработать программное обеспечение, которое проверяет: истинность выражения A x B
JamesSs
07.06.2018 09:45
2 120
Является ли полной заданная система функций? Образует ли она базис?
cyberlohh
05.06.2018 23:44
4 735
"Ни один параллелограмм не является ромбом."
BATMAN956
05.06.2018 22:26
1 854
Когда мы приводим формулу к ПНФ напрмер эту \exist xP(x)^\exist xQ(x) (1) то для того...
MyNameO1eg
05.06.2018 22:21
5 746
Помогите привести к ДНФ, а дальше я сам. (x1∨x2x3)⊕¬(x1→x2)
Psychodel
05.06.2018 12:37
2 703
1. Кошки бывают только белые и серые 2. Так как 60 делится на 2 и на 3, то 60 делится на некоторые...
Здорова на
05.06.2018 00:03
1 151
докажите, что отношение есть отношение эквивалентности на множестве вещественных чисел. Найдите...
Здорова на
04.06.2018 23:55
1 133
Здравствуйте. Задача: Записать предложение сигнатуры {{{f}^{1}}}, такое что <M, f> ⊨ φ тогда и...
Воваааааа
04.06.2018 23:42
2 108
Всем привет. Помогите с вопросом. В билете вопрос: Является ли набор всех «больших» чисел...
hardprogram
04.06.2018 22:37
1 117
((p\supset q)&(q\supset p)&(p v r)&\dashv r)\supset p
Здорова на
04.06.2018 22:34
4 121
задача на булеву геометрию Дано: A=*0*1***011***00*0101*0*0*10*01 ...
Yzik1999
03.06.2018 18:40
0 71
Здравствуйте, вот задача, помогите пожалуйста: Доказать секвенцию: Ф∨Ψ, Ψ∨Ω, Ω∨Ф ⊢ ((Ф&Ψ) &...
Воваааааа
03.06.2018 16:45
2 765
в прикрепленном файле 3 задачи. условие сверху:даны две грани и два набора. Запрещено размещать...
Yzik1999
03.06.2018 00:10
0 81
Привести к предваренной нормальной форме (ПНФ): P(x,y)\rightarrow E(y)\left ,где Е -...
1335
02.06.2018 16:09
2 106
Есть кто знает мат.логику? Задано универсальное множество U = {1, 2, 3, 4, 5, 6, 7, 8} и...
SANTA000
02.06.2018 15:10
1 105
(X → Y) ⊢ ((X v Y) → Y)
Geraq
01.06.2018 23:44
1 116
Доказать клаузы методами: Квайна, редукции, резолюций Кто может напишите хотя бы одну
flwlss4q
30.05.2018 18:47
1 174
На конференции собрались школьники 9, 10, 11 классов. В президиум приглашаются 10 человек....
яНачинающая
30.05.2018 10:16
2 121
Упростите (A и B - множества) A*B-A
I313-15
29.05.2018 00:50
3 115
Задача заключается в следующем (на фото ниже) :
яНачинающая
28.05.2018 19:49
0 82
добрый день, задача состоит в следующем : Необходимо определить, какими основными свойствами...
яНачинающая
28.05.2018 19:21
1 97
Здравствуйте, очень нужна помощь в решении данной задачи: Показать, что аппликация комбинаторов не...
Artey
28.05.2018 01:28
5 152
Нужно привести пример классов A и B, таких что \cup\neq \cup\subset Даже не знаю с чего...
Lorentinka
27.05.2018 23:27
3 738
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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