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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,137,785 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,876
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Для функции, построить таблицы истинности, аналитическое выражение в КФ и ДФ и попытатся его...
tfhjhjv
13.05.2016 05:14
1 350
вот знаете что-то сижу сейчас и поймал себя на мысли, что кроме летающих крокодилов, разбитых шаров...
NS-17_R-18
12.05.2016 20:30
0 96
Не получается вывести секвенцию, подскажите пожалуйста
Jane_
12.05.2016 18:00
1 243
(A\Delta BC)\Delta (BC\Delta (A\Delta B))=B
Альберт123
12.05.2016 12:48
14 868
AC\Delta BC=(AC\Delta C)\Delta (BC\Delta C) Правила форума: 5.16. Запрещено создавать темы с...
Альберт123
12.05.2016 11:25
4 193
A\Delta B=(A\Delta C)\Delta (B\Delta C)
Альберт123
12.05.2016 11:04
4 777
Добрый вечер, можете сказать как нужно вывести в исчислении высказываний этот пример (A\supset...
PoM4uK
11.05.2016 17:32
4 396
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 84
Постройте диаграммы Гессе для следующих ЧУ-множеств (A, \preceq), где A = {a,b,c,d} \preceq =...
daniilorain
10.05.2016 21:47
8 181
Допустим дано следующее : P(x, x) \vee \overline{P(x, f(x))} верно ли, что я не могу применить...
Qazan
10.05.2016 21:25
7 977
Добрый день. У меня назрел вопрос. Нигде в интернете ответ не был найден. Как, с точки зрения...
FlashRoot
10.05.2016 18:42
1 127
Подскажите пожалуйста, чем отличается моноид от свободного моноида? И, желательно, с примером, если...
Knjagskij
10.05.2016 16:03
2 206
Записать в подходящей сигнатуре аксиомы: а) группы; б) абелевой группы; в) упорядоченной...
Regina90
09.05.2016 22:01
2 270
Есть множество A = {a,b,c,d,e}. Как описать наименьшее рефлексивное отношение на множестве A?...
daniilorain
09.05.2016 21:23
6 861
Записать формулу с двумя свободными переменными x и y, истинную в модели L тогда и только тогда,...
Regina90
09.05.2016 21:23
5 277
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 999
Упростить выражение \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 109
Приветствую. Мне дали задание минимизировать функцию в базисе ДНФ двумя способами. Первым я...
Gigoh
09.05.2016 16:00
0 217
Пусть 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 369
1 Все поэты - романтики (F1) 2 все поэты, склонные к романтике, погружаются в иллюзии (F2) ...
externo
08.05.2016 23:51
2 137
Готовимся к экзамену и совсем запутались. Задание вроде простое, а в правильности решения и ответа...
Maryia
08.05.2016 23:28
2 966
Преобразовать формулу к предварённой нормальной форме, затем к сколемовской стандартной форме: ...
Gubila_2000
07.05.2016 22:47
5 890
(∀xР(x)v∀xQ(x))<->(∀x(P(x)vQ(x)))
Gubila_2000
07.05.2016 15:59
5 159
Помню стало быть в 2007 было модно не только быть эмо но и делать логические задачки давече нашел...
NS-17_R-18
04.05.2016 23:22
6 427
Для функций, 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 167
F(0,0,0)=F(1,1,0)=1;
abush
04.05.2016 21:58
1 487
Задача Доказать правило удаления квантора общности ∀xA(x) ├ A(y) . Формула A( y) получается из...
peterpg
04.05.2016 09:51
2 261
По мотивам собственных рассуждений... В классической логике рассматриваются лишь те...
Ellipsoid
01.05.2016 14:26
0 114
Найти СкДНФ для функций четырех переменных, представленной в СДНФ. Найти МДНФ методом Куайна или...
lena0106
30.04.2016 16:26
0 228
Для каждой функции от четырех переменных x, y, z, t составить СДНФ с применением теоремы о...
lena0106
30.04.2016 16:22
0 170
Используя теорему Поста, проверить полноту системы булевых функций
aleksanya15
29.04.2016 18:01
2 1,011
(¬X v Y)(X v¬Y v ¬Z) не могу понять что получится HELP!
polinaVa
29.04.2016 00:11
1 246
помогите
maksdm
28.04.2016 19:06
1 195
Насколько верно это, сделано как в примере от Elipsoid: Доказать, что формула не является...
peterpg
28.04.2016 18:59
5 209
\inline (B\supset \exist x A(x))\equiv \forall(B \supset A(x)) Привет, не могли бы помочь? ...
BonaBerry
28.04.2016 17:13
12 1,009
1. (P->Q)->((Q->R)->(P->R)) 2. Иван и Марья любят друг друга. 3. Если книга, которую я читаю,...
Mur_mur
27.04.2016 18:13
4 862
Помогите пожалуйста построить таблицу истинности и найти двойную формулу, ДНФ, КНФ у выражения:...
barracuda1991
27.04.2016 16:10
5 845
(A→B)&(B→A) |- (B→A)
natascha
26.04.2016 14:18
3 200
Найти МДНФ с помощью карт карно
Maksimuso
26.04.2016 12:22
3 409
Обьясните пожалуйста как нужно решать вот такие примеры!
andre66
26.04.2016 08:49
3 756
Для диаграмм вейча доопределить функцию для получения наименьшей мкнф
Maksimuso
26.04.2016 06:40
1 225
1)Есть ли в заданной формуле фиктивные переменные, докажите 2) Глубина формулы.
maksdm
26.04.2016 04:15
3 449
Взяли два разных числа A и B, оба от 1 до 13. Пете сказали остаток от деления A на B, а Васе —...
zeeo
25.04.2016 19:42
0 232
Есть данные, всего 3 ряда, значение 1, значение 2 и значение еще некоторое значение 3. Значения 1 и...
Potato_peeler
25.04.2016 19:36
0 133
Здравствуйте ! Помогите пожалуйста разобраться с вопросом ! Требуется найти ошибку в...
alts1981
25.04.2016 18:39
14 242
F = {(x,y) | x = мама y} D = {(x,y) | x = сын y} вот что нужно решить : Помогите...
Dimon228
25.04.2016 17:20
7 399
Упрощенную формулу представить в ДНФ \tilde{y}\vee z \vee x \vee \tilde{z}\wedge \tilde{x}
leva
24.04.2016 22:52
3 212
Найдите область определения и область значения бинарного отношения P. Является ли оно рефлексивным,...
123456м
24.04.2016 20:49
1 371
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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