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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,764 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,927
Обычные темы
 
     
 
Задать вопрос
(A \cup B) \cap (C \cup D) A \cap \bar{B} \cup C \cap \bar{D} \ if \ C \subset D\ ,\ A \subset...
alex 86
13.06.2012 18:19
11 901
1. Найти формулу, эквивалентную данной, имеющий m логических операций. 2. С помощью...
Slowpok
13.06.2012 00:10
15 7,677
доказать следующее равенства двумя способами: путем логических рассуждений и с помощью дограмм ...
bacar-113
12.06.2012 22:10
3 763
Построить с помощью диаграмм Венна \left(\left(A\wedge B \right) \bigcap \left(B\bigcap C \right)...
Slowpok
12.06.2012 20:05
8 3,132
не могу понять как решить 2 задачи, для начала хотелось бы разобраться как найти СДНФ и СКНФ в...
Mix@siK
12.06.2012 19:34
31 10,540
Задача: Исходная функция задана в СНДФ числовым способом. Минимизировать методом...
смысол
12.06.2012 18:52
0 1,086
1:Найти все функции, зависящие от 3-х аргументов сохраняющие константу 1, а на наборах, содержащих...
paxak93
12.06.2012 15:35
1 459
Найти область определения, область значений отношения. P \subset R^2, (x,y)\in P \Leftrightarrow...
Maksimyshka
12.06.2012 12:34
5 4,995
Завтра сдать надо! помогите плз срочно!
creos
12.06.2012 09:19
1 1,154
Из предиката {x}^{2}-5x=\left|x-3 \right| с помощью кванторов построить всевозможные высказывания и...
Менчендайзер
11.06.2012 23:01
0 1,104
Представить функцию в виде таблицы, разбив множество переменных на множества { x2, x5} и { x1, x3,...
paxak93
11.06.2012 20:40
0 442
Аларик
11.06.2012 19:44
0 301
2:Найти СДНФ функции f=(01010111) например f=(x V y)V z -я понимаю как делать:) а вот с числами...
paxak93
11.06.2012 19:12
0 649
помогите пожалуйста решить задачки
Slowpok
10.06.2012 23:47
15 1,676
A={1,5,6,8},B={3,2,7},C={1,7,10} a)(a,b)\epsilon {w}_{1}\Leftrightarrow (a-b):.4...
.::Женя::.
10.06.2012 23:11
2 525
Здравствуйте! Можете посоветовать какой-нибудь учебник, пособие или статьи в интернете, где...
grumpy13
10.06.2012 19:45
0 351
Найти: 1)AvB 2)B\bigcap (AvC) 3)(A\bigcap B)/(CvB) Построим с помошью уравнения (A\Delta...
.::Женя::.
10.06.2012 18:14
2 377
а) x y ; б) (xy v xy v z) xz ;
.::Женя::.
10.06.2012 11:24
1 392
A=(x,y)\in {R}^{2}\mid x<y
pipec-kapec
10.06.2012 02:24
14 5,781
Как ее решить:Множества А={3n, n Є N} и В= {4n, n Є N}. Найти объединение, пересечение и...
Alish06
09.06.2012 19:19
0 1,568
Вот сама задача. Решать за меня её не надо, я хочу понять сам как решаются такие задачи. Я...
Mix@siK
09.06.2012 18:41
11 1,137
В гост 8.585-2001 много ошибок в коэффициентах полиномов. Из за этого не могу решить некоторые...
asd192
08.06.2012 16:31
3 550
блин как найти скнф любым способом х|х
LaSkReN
08.06.2012 13:19
1 338
Помогите пожалуйста найти сднф (x<->y)|z
kojakin
08.06.2012 12:20
3 740
и если не сложно тоже на задачу х|у
LaSkReN
08.06.2012 12:07
0 270
1) Доказать с помощью таблиц истинности тождественную истинность формул: (y→z)→((x v y)→(x v z))...
pipec-kapec
08.06.2012 02:03
11 6,910
Кто-нибудь помогите, может кто уже делал. Нужно составить логическую схему для элементов xyz, а для...
Шпилька
07.06.2012 22:01
9 1,264
Привет всем) решил задачу в контрольной своей, проверьте кто может правильно решил или нет. Если...
Mix@siK
07.06.2012 18:29
4 415
Добрый день, есть задание(\bar{x\wedge y}\rightarrow y)\vee (\bar{y\rightarrow\bar{x}}). Найти...
top4top
07.06.2012 17:22
2 1,190
С помощью формул и свойств доказать тождество P.s. очень срочно нужно, выручайте
Stranger31
07.06.2012 16:21
0 611
Помогите!!!))) перепечатывайте задания на форум
Vanek-klass
07.06.2012 11:45
0 264
Доброго времени суток. Суть такая: Необходимо доказать, что теория являтся теорией первого...
Taori
06.06.2012 21:53
0 429
Надо вывести десятую формулу из остальных.. (возможно 9 и 11). На картинке аксиомы..
AnZet
06.06.2012 20:29
0 3,110
1.Проверьте тождество и проиллистрируйте решение с помощью диаграм Эйлера-Венна 2.Исходя из...
Reisch Helena
06.06.2012 09:09
0 599
Помогите сделать задания, сам слабо понимаю как это делать, смог только по таблицам истинности...
Sergey_Sega
05.06.2012 18:10
1 713
Доказать выводимости формул с помощью теоремы дедукции a) б)
ilkulgan
05.06.2012 17:28
0 756
Добрый вечер ДРУЗЬЯ! Помогите привести формулу к днф Заранее премного благодарен!
1986
04.06.2012 22:40
0 388
Доказать, что множество Tr геделевых номеров всех формул теории S (формальной арифметики),...
ildar0722
04.06.2012 20:57
0 390
Помогите, пожалуйста! проверить двумя способами будут ли эквивалентны данные формулы 1 способ -...
klubni4ka
04.06.2012 14:11
0 817
Путём равносильных преобразований привести к СКНФ и СДНФ.
Stranger31
04.06.2012 14:10
0 984
Доказать что (A \ (A \ B)) \ (A пересекает B) = пустое множество,методом от противного?
Tony_Quick
03.06.2012 20:44
2 869
Спасибо огромное заранее Вариант помечен кругляшком
bboyostin
03.06.2012 17:20
0 589
Ребят,помогите пожалуйста построить схему: 1) Построить схему по заданной функции проводимости:
Даниил 173
03.06.2012 14:24
6 636
Здравствуйте! помогите, пожалуйста, решить задачу.. совсем не понимаю этот раздел математики....
klubni4ka
03.06.2012 13:23
0 782
(\bar{Y}\vee Z)\wedge (ZX\vee Y)
Tepliar
02.06.2012 15:21
7 3,042
Нужен хелп! Последнее задание для допуска к зачету, а я в этой теме полный дуб) Мне бы хоть...
Fаith
02.06.2012 13:31
0 881
Господа , прошу помощи : с помощью алгебры логики проверьте истинность соотношения для любых...
hppnd
01.06.2012 21:22
0 1,528
упростить таким образом, чтобы схема содержала: 1)только ф–ции «или–не» 2)только «и–не»...
miles_slade
01.06.2012 18:41
2 527
дана ДНФ: (x ∧ не(z)) ∨ (z ∧ не(x)) ∨ (x ∧ y) помогите получить из нее КНФ, ставлю двойное...
Dam1an
01.06.2012 18:36
10 2,999
Комитет состоит из 5 человек(включая председателя).Решение выносится большинством голосов.если...
яблоко
01.06.2012 16:25
0 1,799
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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