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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,916 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,927
Обычные темы
 
     
 
Задать вопрос
По мотивам собственных рассуждений... В классической логике рассматриваются лишь те...
Ellipsoid
01.05.2016 14:26
0 116
Найти СкДНФ для функций четырех переменных, представленной в СДНФ. Найти МДНФ методом Куайна или...
lena0106
30.04.2016 16:26
0 238
Для каждой функции от четырех переменных x, y, z, t составить СДНФ с применением теоремы о...
lena0106
30.04.2016 16:22
0 174
Используя теорему Поста, проверить полноту системы булевых функций
aleksanya15
29.04.2016 18:01
2 1,055
(¬X v Y)(X v¬Y v ¬Z) не могу понять что получится HELP!
polinaVa
29.04.2016 00:11
1 268
помогите
maksdm
28.04.2016 19:06
1 206
Насколько верно это, сделано как в примере от Elipsoid: Доказать, что формула не является...
peterpg
28.04.2016 18:59
5 222
\inline (B\supset \exist x A(x))\equiv \forall(B \supset A(x)) Привет, не могли бы помочь? ...
BonaBerry
28.04.2016 17:13
12 1,059
1. (P->Q)->((Q->R)->(P->R)) 2. Иван и Марья любят друг друга. 3. Если книга, которую я читаю,...
Mur_mur
27.04.2016 18:13
4 872
Помогите пожалуйста построить таблицу истинности и найти двойную формулу, ДНФ, КНФ у выражения:...
barracuda1991
27.04.2016 16:10
5 849
(A→B)&(B→A) |- (B→A)
natascha
26.04.2016 14:18
3 208
Найти МДНФ с помощью карт карно
Maksimuso
26.04.2016 12:22
3 418
Обьясните пожалуйста как нужно решать вот такие примеры!
andre66
26.04.2016 08:49
3 757
Для диаграмм вейча доопределить функцию для получения наименьшей мкнф
Maksimuso
26.04.2016 06:40
1 227
1)Есть ли в заданной формуле фиктивные переменные, докажите 2) Глубина формулы.
maksdm
26.04.2016 04:15
3 485
Взяли два разных числа A и B, оба от 1 до 13. Пете сказали остаток от деления A на B, а Васе —...
zeeo
25.04.2016 19:42
0 238
Есть данные, всего 3 ряда, значение 1, значение 2 и значение еще некоторое значение 3. Значения 1 и...
Potato_peeler
25.04.2016 19:36
0 135
Здравствуйте ! Помогите пожалуйста разобраться с вопросом ! Требуется найти ошибку в...
alts1981
25.04.2016 18:39
14 251
F = {(x,y) | x = мама y} D = {(x,y) | x = сын y} вот что нужно решить : Помогите...
Dimon228
25.04.2016 17:20
7 414
Упрощенную формулу представить в ДНФ \tilde{y}\vee z \vee x \vee \tilde{z}\wedge \tilde{x}
leva
24.04.2016 22:52
3 222
Найдите область определения и область значения бинарного отношения P. Является ли оно рефлексивным,...
123456м
24.04.2016 20:49
1 404
Верно ли понимаю : Если два предиката(литерала) не унифицируемы, то они их возможно рассматривать...
Qazan
23.04.2016 23:36
4 292
Подскажите, как быть с такими гипотезами, что то торможу, как аксиомы применить к такому, похоже...
peterpg
23.04.2016 23:22
7 306
Выразить с помощью символов (используя знаки операций пересечения, объединения и дополнения)...
Intenseua
22.04.2016 09:03
2 299
Прошу выручить) Желательно расписать всё подробно, а не только ответ. Спасибо!
Pitbul2424
22.04.2016 08:52
2 190
"Выясните равносильны ли следующие предикаты,если их последовательность рассматривать сначала над...
Nasus
20.04.2016 11:51
2 1,088
∀x(Р(x)&∃(y)Q(y))
fursa1997
20.04.2016 11:26
3 156
помогите составить таблицу
Asly
20.04.2016 05:44
1 208
Задача. Дана формула 3-SAT в общем виде. Представим, что мы научились делать с ней следующие...
polyfactorial
19.04.2016 19:30
6 423
Здравствуйте! Необходимо сократить ДНФ используя правило Блейка: xyz\vee \bar{x}yz\vee...
invisnik
19.04.2016 05:23
1 415
помогите пожалуйста )
Asly
19.04.2016 05:13
4 440
Используя совершенную дизъюнктивную нормальную форму, найдите формулу алгебры высказываний от...
Asly
19.04.2016 00:25
7 368
Доброго времени суток форумчане, помогите упростить 2 множества
Imp3l
18.04.2016 05:22
2 256
Доброго времени суток форумчане, помогите упростить 2 множества
Imp3l
18.04.2016 05:16
1 199
Помогите доказать тождество, пожалуйста!!!!
Нюрка
17.04.2016 22:59
1 141
Здравствуйте,помогите решить пожалуйста,не понимаю как ПОВТОРНОЕ нарушение Правил форума, пункты...
Настя999
17.04.2016 22:52
1 211
Здравствуйте,помогите пожалуйста ОЧЕРЕДНОЕ нарушение Правил форума, пункт 5.18. Запрещено...
Sofronych
17.04.2016 17:50
1 258
Представить максимально компактными аналитическими выражениями множество
Sofronych
14.04.2016 05:06
4 1,025
Дана система функций А = (S пересечение М) U (L\М), выяснить, полна ли система А.
lamoz_z
14.04.2016 00:28
2 967
Собственно само задание на картинке. У самого постоянно разные решения)))
vertolet
13.04.2016 13:54
3 173
Здравствуйте! Помогите пожалуйста!!! Минимизировать функцию ДНф и КНф методом Квайна СДНФ: ...
smert0406
12.04.2016 15:55
0 148
Запишите с использованием 4-6 различных букв клаузу, отвечающую тексту легенды, для чего...
Yeskela
12.04.2016 02:59
1 361
помогите пожалуйста) 3. Используя двухместные предикаты P (x, y) – “мужчина (x) и женщина (y)...
privetyaelf
11.04.2016 20:04
1 179
Помогите получить или подскажите материал с примером.
Viktor10
10.04.2016 17:02
0 137
Помогите перейти от скнф к сднф: (x∪y∪z)(x∪y∪z')(x∪y'∪z), '-инверсия
Stepa290
10.04.2016 11:58
1 211
http://www.cyberforum.ru/cgi-bin/latex.cgi?%28A%5Cbigcup%20B%29-%28A%5Cbigcap%20B%29%20%3D%20A%2BB...
RusMath
09.04.2016 17:52
7 366
Логическую функцию трех переменных f(x,y,z) представить булевой формулой в виде СДНФ и СКНФ.
freed7
08.04.2016 15:10
2 324
Проверить принадлежит ли функция к классам ToUT1,T1\To T1-это когда ну нулевом и на посл наборе...
Kristina_S
07.04.2016 20:36
1 233
Доказать существование вывода в аксиоматической теории L: (m) ├ ┐( A &B ) ≡ ( ┐ A v ┐B ) (n) ├ (...
vadimiz12rus
07.04.2016 00:16
0 307
ссылка удалена Не могу понять как вставить изображение, чтобы без перехода по ссылке можно было...
Gubila_2000
06.04.2016 16:15
1 187
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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