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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,031 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
A\Delta B=(A\Delta C)\Delta (B\Delta C)
Альберт123
12.05.2016 11:04
4 776
Добрый вечер, можете сказать как нужно вывести в исчислении высказываний этот пример (A\supset...
PoM4uK
11.05.2016 17:32
4 386
1. Докажите, что множество минимальных по числу состояний машин Тьюринга(т.е. таких, что...
knn
11.05.2016 01:01
0 91
2. Докажите, что существуют перечислимые A и B такие, что A\B={k|сущ-ет a из А,сущ-ет b из B a=kb}...
knn
11.05.2016 01:01
0 83
Постройте диаграммы Гессе для следующих ЧУ-множеств (A, \preceq), где A = {a,b,c,d} \preceq =...
daniilorain
10.05.2016 21:47
8 179
Допустим дано следующее : P(x, x) \vee \overline{P(x, f(x))} верно ли, что я не могу применить...
Qazan
10.05.2016 21:25
7 967
Добрый день. У меня назрел вопрос. Нигде в интернете ответ не был найден. Как, с точки зрения...
FlashRoot
10.05.2016 18:42
1 126
Подскажите пожалуйста, чем отличается моноид от свободного моноида? И, желательно, с примером, если...
Knjagskij
10.05.2016 16:03
2 199
Записать в подходящей сигнатуре аксиомы: а) группы; б) абелевой группы; в) упорядоченной...
Regina90
09.05.2016 22:01
2 250
Есть множество A = {a,b,c,d,e}. Как описать наименьшее рефлексивное отношение на множестве A?...
daniilorain
09.05.2016 21:23
6 808
Записать формулу с двумя свободными переменными x и y, истинную в модели L тогда и только тогда,...
Regina90
09.05.2016 21:23
5 273
1. Доопределить функции f(x,y,z), g(x,y,z), h(x,y,z) так,чтобы f∈M,g∈L,h∈S.Если построение...
miposhka
09.05.2016 19:37
6 939
Упростить выражение \bar{x}\bar{y}z\bar{t}\vee \bar{x}y\bar{z}\bar{t }\vee \bar{x}yzt \vee...
lena0106
09.05.2016 18:10
0 108
Приветствую. Мне дали задание минимизировать функцию в базисе ДНФ двумя способами. Первым я...
Gigoh
09.05.2016 16:00
0 215
Пусть M – частично упорядоченное множество и Q^2 (x,y)=истинно ⇔x≤y. Записать, что а) x есть...
Regina90
09.05.2016 08:51
0 141
Пусть M – множество точек, прямых и плоскостей 3-мерного евклидова пространства со следующими...
Regina90
09.05.2016 08:13
0 359
1 Все поэты - романтики (F1) 2 все поэты, склонные к романтике, погружаются в иллюзии (F2) ...
externo
08.05.2016 23:51
2 137
Готовимся к экзамену и совсем запутались. Задание вроде простое, а в правильности решения и ответа...
Maryia
08.05.2016 23:28
2 867
Преобразовать формулу к предварённой нормальной форме, затем к сколемовской стандартной форме: ...
Gubila_2000
07.05.2016 22:47
5 886
(∀xР(x)v∀xQ(x))<->(∀x(P(x)vQ(x)))
Gubila_2000
07.05.2016 15:59
5 155
Помню стало быть в 2007 было модно не только быть эмо но и делать логические задачки давече нашел...
NS-17_R-18
04.05.2016 23:22
6 411
Для функций, f(1,2,5,7)=1, f(0,3,4,5,7)=1, f(1,2,4,5,8,12,13)=1 построить таблицы истинности,...
Mike909
04.05.2016 22:12
0 160
F(0,0,0)=F(1,1,0)=1;
abush
04.05.2016 21:58
1 470
Задача Доказать правило удаления квантора общности ∀xA(x) ├ A(y) . Формула A( y) получается из...
peterpg
04.05.2016 09:51
2 255
По мотивам собственных рассуждений... В классической логике рассматриваются лишь те...
Ellipsoid
01.05.2016 14:26
0 112
Найти СкДНФ для функций четырех переменных, представленной в СДНФ. Найти МДНФ методом Куайна или...
lena0106
30.04.2016 16:26
0 227
Для каждой функции от четырех переменных x, y, z, t составить СДНФ с применением теоремы о...
lena0106
30.04.2016 16:22
0 165
Используя теорему Поста, проверить полноту системы булевых функций
aleksanya15
29.04.2016 18:01
2 1,008
(¬X v Y)(X v¬Y v ¬Z) не могу понять что получится HELP!
polinaVa
29.04.2016 00:11
1 232
помогите
maksdm
28.04.2016 19:06
1 190
Насколько верно это, сделано как в примере от Elipsoid: Доказать, что формула не является...
peterpg
28.04.2016 18:59
5 205
\inline (B\supset \exist x A(x))\equiv \forall(B \supset A(x)) Привет, не могли бы помочь? ...
BonaBerry
28.04.2016 17:13
12 994
1. (P->Q)->((Q->R)->(P->R)) 2. Иван и Марья любят друг друга. 3. Если книга, которую я читаю,...
Mur_mur
27.04.2016 18:13
4 852
Помогите пожалуйста построить таблицу истинности и найти двойную формулу, ДНФ, КНФ у выражения:...
barracuda1991
27.04.2016 16:10
5 840
(A→B)&(B→A) |- (B→A)
natascha
26.04.2016 14:18
3 185
Найти МДНФ с помощью карт карно
Maksimuso
26.04.2016 12:22
3 403
Обьясните пожалуйста как нужно решать вот такие примеры!
andre66
26.04.2016 08:49
3 756
Для диаграмм вейча доопределить функцию для получения наименьшей мкнф
Maksimuso
26.04.2016 06:40
1 224
1)Есть ли в заданной формуле фиктивные переменные, докажите 2) Глубина формулы.
maksdm
26.04.2016 04:15
3 427
Взяли два разных числа A и B, оба от 1 до 13. Пете сказали остаток от деления A на B, а Васе —...
zeeo
25.04.2016 19:42
0 225
Есть данные, всего 3 ряда, значение 1, значение 2 и значение еще некоторое значение 3. Значения 1 и...
Potato_peeler
25.04.2016 19:36
0 132
Здравствуйте ! Помогите пожалуйста разобраться с вопросом ! Требуется найти ошибку в...
alts1981
25.04.2016 18:39
14 238
F = {(x,y) | x = мама y} D = {(x,y) | x = сын y} вот что нужно решить : Помогите...
Dimon228
25.04.2016 17:20
7 385
Упрощенную формулу представить в ДНФ \tilde{y}\vee z \vee x \vee \tilde{z}\wedge \tilde{x}
leva
24.04.2016 22:52
3 208
Найдите область определения и область значения бинарного отношения P. Является ли оно рефлексивным,...
123456м
24.04.2016 20:49
1 339
Верно ли понимаю : Если два предиката(литерала) не унифицируемы, то они их возможно рассматривать...
Qazan
23.04.2016 23:36
4 257
Подскажите, как быть с такими гипотезами, что то торможу, как аксиомы применить к такому, похоже...
peterpg
23.04.2016 23:22
7 291
Выразить с помощью символов (используя знаки операций пересечения, объединения и дополнения)...
Intenseua
22.04.2016 09:03
2 280
Прошу выручить) Желательно расписать всё подробно, а не только ответ. Спасибо!
Pitbul2424
22.04.2016 08:52
2 178
"Выясните равносильны ли следующие предикаты,если их последовательность рассматривать сначала над...
Nasus
20.04.2016 11:51
2 1,016
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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