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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,123,025 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
Рейтинг темы: голосов - 29, средняя оценка - 4.93 OldFedor
26.03.2015 15:25
2 5,832
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Для функций, 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 153
F(0,0,0)=F(1,1,0)=1;
abush
04.05.2016 21:58
1 464
Задача Доказать правило удаления квантора общности ∀xA(x) ├ A(y) . Формула A(...
peterpg
04.05.2016 09:51
2 250
По мотивам собственных рассуждений... В классической логике рассматриваются...
Ellipsoid
01.05.2016 14:26
0 104
Найти СкДНФ для функций четырех переменных, представленной в СДНФ. Найти МДНФ...
lena0106
30.04.2016 16:26
0 222
Для каждой функции от четырех переменных x, y, z, t составить СДНФ с...
lena0106
30.04.2016 16:22
0 161
Используя теорему Поста, проверить полноту системы булевых функций
aleksanya15
29.04.2016 18:01
2 500
(¬X v Y)(X v¬Y v ¬Z) не могу понять что получится HELP!
polinaVa
29.04.2016 00:11
1 225
помогите
maksdm
28.04.2016 19:06
1 186
Насколько верно это, сделано как в примере от Elipsoid: Доказать, что формула...
peterpg
28.04.2016 18:59
5 200
\inline (B\supset \exist x A(x))\equiv \forall(B \supset A(x)) Привет, не...
BonaBerry
28.04.2016 17:13
12 465
1. (P->Q)->((Q->R)->(P->R)) 2. Иван и Марья любят друг друга. 3. Если книга,...
Mur_mur
27.04.2016 18:13
4 248
Помогите пожалуйста построить таблицу истинности и найти двойную формулу, ДНФ,...
barracuda1991
27.04.2016 16:10
5 233
(A→B)&(B→A) |- (B→A)
natascha
26.04.2016 14:18
3 178
Найти МДНФ с помощью карт карно
Maksimuso
26.04.2016 12:22
3 396
Обьясните пожалуйста как нужно решать вот такие примеры!
andre66
26.04.2016 08:49
3 153
Для диаграмм вейча доопределить функцию для получения наименьшей мкнф
Maksimuso
26.04.2016 06:40
1 215
1)Есть ли в заданной формуле фиктивные переменные, докажите 2) Глубина формулы.
maksdm
26.04.2016 04:15
3 413
Взяли два разных числа A и B, оба от 1 до 13. Пете сказали остаток от деления A...
zeeo
25.04.2016 19:42
0 219
Есть данные, всего 3 ряда, значение 1, значение 2 и значение еще некоторое...
Potato_peeler
25.04.2016 19:36
0 128
Здравствуйте ! Помогите пожалуйста разобраться с вопросом ! Требуется...
alts1981
25.04.2016 18:39
14 232
F = {(x,y) | x = мама y} D = {(x,y) | x = сын y} вот что нужно решить : ...
Dimon228
25.04.2016 17:20
7 371
Упрощенную формулу представить в ДНФ \tilde{y}\vee z \vee x \vee...
leva
24.04.2016 22:52
3 199
Найдите область определения и область значения бинарного отношения P. Является...
123456м
24.04.2016 20:49
1 324
Верно ли понимаю : Если два предиката(литерала) не унифицируемы, то они их...
Qazan
23.04.2016 23:36
4 249
Подскажите, как быть с такими гипотезами, что то торможу, как аксиомы применить...
peterpg
23.04.2016 23:22
7 283
Выразить с помощью символов (используя знаки операций пересечения, объединения...
Intenseua
22.04.2016 09:03
2 271
Прошу выручить) Желательно расписать всё подробно, а не только ответ. Спасибо!
Pitbul2424
22.04.2016 08:52
2 175
"Выясните равносильны ли следующие предикаты,если их последовательность...
Nasus
20.04.2016 11:51
2 495
∀x(Р(x)&∃(y)Q(y))
fursa1997
20.04.2016 11:26
3 141
помогите составить таблицу
Asly
20.04.2016 05:44
1 181
Задача. Дана формула 3-SAT в общем виде. Представим, что мы научились делать...
polyfactorial
19.04.2016 19:30
6 398
Здравствуйте! Необходимо сократить ДНФ используя правило Блейка: xyz\vee...
invisnik
19.04.2016 05:23
1 303
помогите пожалуйста )
Asly
19.04.2016 05:13
4 356
Используя совершенную дизъюнктивную нормальную форму, найдите формулу алгебры...
Asly
19.04.2016 00:25
7 293
Доброго времени суток форумчане, помогите упростить 2 множества
Imp3l
18.04.2016 05:22
2 241
Доброго времени суток форумчане, помогите упростить 2 множества
Imp3l
18.04.2016 05:16
1 188
Помогите доказать тождество, пожалуйста!!!!
Нюрка
17.04.2016 22:59
1 129
Здравствуйте,помогите решить пожалуйста,не понимаю как ПОВТОРНОЕ нарушение...
Настя999
17.04.2016 22:52
1 203
Здравствуйте,помогите пожалуйста ОЧЕРЕДНОЕ нарушение Правил форума, пункт...
Sofronych
17.04.2016 17:50
1 214
Представить максимально компактными аналитическими выражениями множество
Sofronych
14.04.2016 05:06
4 433
Дана система функций А = (S пересечение М) U (L\М), выяснить, полна ли система...
lamoz_z
14.04.2016 00:28
2 430
Собственно само задание на картинке. У самого постоянно разные решения)))
vertolet
13.04.2016 13:54
3 168
Здравствуйте! Помогите пожалуйста!!! Минимизировать функцию ДНф и КНф методом...
smert0406
12.04.2016 15:55
0 143
Запишите с использованием 4-6 различных букв клаузу, отвечающую тексту легенды,...
Yeskela
12.04.2016 02:59
1 321
помогите пожалуйста) 3. Используя двухместные предикаты P (x, y) – “мужчина...
privetyaelf
11.04.2016 20:04
1 169
Помогите получить или подскажите материал с примером.
Viktor10
10.04.2016 17:02
0 131
Помогите перейти от скнф к сднф: (x∪y∪z)(x∪y∪z')(x∪y'∪z), '-инверсия
Stepa290
10.04.2016 11:58
1 203
http://www.cyberforum.ru/cgi-bin/latex.cgi?%28A%5Cbigcup%20B%29-%28A%5Cbigcap%20...
RusMath
09.04.2016 17:52
7 341
Логическую функцию трех переменных f(x,y,z) представить булевой формулой в виде...
freed7
08.04.2016 15:10
2 299
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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