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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,427 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Переведите с естественного языка на язык логики предикатов Зайцы не всегда глупее лис.
M1X3R
14.06.2018 21:37
3 120
Является ли данная формула тавтологией? ((P ⊃Q) & (R ⊃Q) & (T ⊃ (P ∨ R)) & ¬T) ⊃ Q?
M1X3R
14.06.2018 17:36
1 672
Помогите подробно расписать, пожалуйста Показать истинность или ложность субъективного...
kats
14.06.2018 09:19
2 159
https://yadi.sk/i/mu410iRS3XqRxQ Есть тип задач которые не могу понять, иожет кто знает как их...
XIRURG_
14.06.2018 00:45
2 703
Написать программу, которая находит матрицу бинарного отношения p C AxB, заданного на двух числовых...
Xansis
13.06.2018 23:36
0 93
Здравствуйте, помогите, подробно расписать, пожалуйста Показать истинность или ложность данного...
kats
13.06.2018 21:07
1 90
f(0,0,0)=f(0,0,1)=f(1,1,0)=0
Ветя
13.06.2018 17:26
2 712
Сижу второй час, ни черта не понимаю (0011 0011 1100 1111)
Ветя
13.06.2018 16:12
1 111
Объясните как решать это и помогите решить пожалуйста) Показать истинность или ложность данных...
DeWMax
13.06.2018 01:09
3 91
(A->B)->(C->D),(D->F)->E=>AvE
Novichchok
12.06.2018 22:06
3 165
Всем привет. Помогите, пожалуйста, сообразить. Есть система аксиом(отношение порядка): C_1:...
PaskalisT
10.06.2018 13:44
1 91
Преобразовать данную формулу так, чтобы она содержала только операции тесного отрицания, дизъюнкции...
NineFerrium
09.06.2018 10:52
4 729
Каким образом доказывать подобного рода ?
genstiller
08.06.2018 11:25
4 722
Показать, что множества X=(1;3) и Y= равномощны, по теореме Кантора-Бернштейна. Добавлено через...
Phero
08.06.2018 00:46
1 78
Поиск не принес успеха :( https://i.imgur.com/KVMHqCU.png
verccety
07.06.2018 22:57
3 78
Не каждый дурак сможет удалить нужные файлы, но ни один умный человек не станет этого делать
WizzyEgo
07.06.2018 17:34
1 63
Есть формула у которой нужно проверить выполняемость условия. (x->y)+ Не(y) = x&y Строю таблицу...
demamon
07.06.2018 17:24
1 87
На множестве A= {1, 2, 3, ... 20 } заданы предикаты: A(x): x- не делится на 5; B(x): x- число...
danilAnisimov
07.06.2018 15:54
1 80
Разработать программное обеспечение, которое проверяет: истинность выражения A x B
JamesSs
07.06.2018 09:45
2 112
Является ли полной заданная система функций? Образует ли она базис?
cyberlohh
05.06.2018 23:44
4 683
"Ни один параллелограмм не является ромбом."
BATMAN956
05.06.2018 22:26
1 131
Когда мы приводим формулу к ПНФ напрмер эту \exist xP(x)^\exist xQ(x) (1) то для того...
MyNameO1eg
05.06.2018 22:21
5 713
Помогите привести к ДНФ, а дальше я сам. (x1∨x2x3)⊕¬(x1→x2)
Psychodel
05.06.2018 12:37
2 697
1. Кошки бывают только белые и серые 2. Так как 60 делится на 2 и на 3, то 60 делится на некоторые...
Здорова на
05.06.2018 00:03
1 108
докажите, что отношение есть отношение эквивалентности на множестве вещественных чисел. Найдите...
Здорова на
04.06.2018 23:55
1 90
Здравствуйте. Задача: Записать предложение сигнатуры {{{f}^{1}}}, такое что <M, f> ⊨ φ тогда и...
Воваааааа
04.06.2018 23:42
2 103
Всем привет. Помогите с вопросом. В билете вопрос: Является ли набор всех «больших» чисел...
hardprogram
04.06.2018 22:37
1 108
((p\supset q)&(q\supset p)&(p v r)&\dashv r)\supset p
Здорова на
04.06.2018 22:34
4 93
задача на булеву геометрию Дано: A=*0*1***011***00*0101*0*0*10*01 ...
Yzik1999
03.06.2018 18:40
0 68
Здравствуйте, вот задача, помогите пожалуйста: Доказать секвенцию: Ф∨Ψ, Ψ∨Ω, Ω∨Ф ⊢ ((Ф&Ψ) &...
Воваааааа
03.06.2018 16:45
2 733
в прикрепленном файле 3 задачи. условие сверху:даны две грани и два набора. Запрещено размещать...
Yzik1999
03.06.2018 00:10
0 79
Привести к предваренной нормальной форме (ПНФ): P(x,y)\rightarrow E(y)\left ,где Е -...
1335
02.06.2018 16:09
2 99
Есть кто знает мат.логику? Задано универсальное множество U = {1, 2, 3, 4, 5, 6, 7, 8} и...
SANTA000
02.06.2018 15:10
1 75
(X → Y) ⊢ ((X v Y) → Y)
Geraq
01.06.2018 23:44
1 81
Доказать клаузы методами: Квайна, редукции, резолюций Кто может напишите хотя бы одну
flwlss4q
30.05.2018 18:47
1 145
На конференции собрались школьники 9, 10, 11 классов. В президиум приглашаются 10 человек....
яНачинающая
30.05.2018 10:16
2 108
Упростите (A и B - множества) A*B-A
I313-15
29.05.2018 00:50
3 107
Задача заключается в следующем (на фото ниже) :
яНачинающая
28.05.2018 19:49
0 80
добрый день, задача состоит в следующем : Необходимо определить, какими основными свойствами...
яНачинающая
28.05.2018 19:21
1 78
Здравствуйте, очень нужна помощь в решении данной задачи: Показать, что аппликация комбинаторов не...
Artey
28.05.2018 01:28
5 150
Нужно привести пример классов A и B, таких что \cup\neq \cup\subset Даже не знаю с чего...
Lorentinka
27.05.2018 23:27
3 722
Доказать что {\bar{T}}_{0}{T}_{1}\subseteq S. Функция самодвойственна,если на противоположных...
Lorentinka
27.05.2018 22:22
1 664
Здравствуйте, подскажите пожалуйста, запутался я немного читая про сеть Фейстеля, а конкретно вот в...
Сергей28
27.05.2018 13:00
4 107
(X → Y) ⊢ ((X v Y) → Y)
Naotakka
27.05.2018 12:52
3 75
Для функции F(x,y,z,t) = ¬x ∨ t & y ∨ t & ¬z ∨ ¬t & x ∨ y ∨ t получить её СДНФ и СКНФ Используя...
NejdanX
27.05.2018 08:04
1 694
Ребята подскажите кто знает литературу для решения данного примера Вот он
vfhbf
26.05.2018 17:26
1 91
Доказать, что функции примитивно рекурсивные:
Medvedica8898
26.05.2018 14:12
11 136
Добрый день! Прошу подтолкнуть в нужном направлении Есть множество X=(-∞,-1) и Y= Надо узнать...
BReDD
26.05.2018 13:30
0 58
3)К какой схеме относится рассуждение: "Если при выполнение программы отклонение контролируемых...
NejdanX
25.05.2018 16:04
5 692
2)Функцию g(x,y) = ¬(x→y) представить в базисе {&, v, ¬} Правила форума: 5.16. Запрещено создавать...
NejdanX
25.05.2018 14:53
2 682
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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