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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,145,729 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,905
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Найти декартово произведение АхВ и ВхА:
Николай1903
27.12.2013 22:22
4 827
Подскажите плс, как перейти от СКНФ к КНФ в данном случае: (x- v y v z-)*(x v y- v z) Я...
Жекон
27.12.2013 19:30
2 818
Всем привет. Прошу у вас помощи, так как больше не у кого. Дали задания. Вот скриншот:...
Nicolayka
27.12.2013 16:32
4 483
если не трудно, спасибо.
soalex29
27.12.2013 06:03
1 353
Требуется упростить множество, как ни делаю выходит только хуже !A\B∩(C\B\A)
яРома
27.12.2013 01:46
0 214
В общем, спасайте. требуется решить 3 примера алгебры множеств. В благодарность, тому, кто...
methodZ
26.12.2013 23:39
0 257
Задание простое но не знаю как делать. Образовать все подмножества данного множества.
Николай1903
26.12.2013 20:44
3 838
Здравствуйте! Есть две эквивалентные формулы (\forall xU(x)\rightarrow V)\vdash \exist...
Игорь2013
26.12.2013 17:53
4 528
Проверить правильность каждого из следующих рассуждений тремя способами: построением...
it_intel
26.12.2013 16:48
0 258
(x+1)((!x+1)) 0+x+!x+1 x+!x+1 !x+!x вот что получается, и знаю что-либо не правильно, либо не...
Jurlique
26.12.2013 16:43
2 360
С помощью ДНФ и КНФ (без построения таблицы истинности) установить тип формулы (в случае выполнимой...
it_intel
26.12.2013 16:40
3 703
(А \ B) \C = A \ (B \ C) Подскажите пожалуйста от чего отталкиваться при доказательстве? Или где...
Niaren
26.12.2013 10:40
2 615
упростить логическую функцию по законам и правилам преобразования логических выражений; указать ...
Godzil123
26.12.2013 08:55
8 462
1) Упростить логическую функцию и построить переключательную схему 2) Построить логическую схему...
Godzil123
26.12.2013 04:41
1 1,065
Здравствуйте. Помогите пожалуйста разложить функцию по переменной x. Функция выглядит так: f(x,...
203
26.12.2013 00:45
4 336
1) Найти двумя способами полином Жегалкина функций, заданной векторно. Найти СДНФ. Найти СКНФ. f...
tcdhbhh
26.12.2013 00:23
0 776
1)Докажите, что р – линейный порядок на A тогда и только тогда, когда р∪р^-1 = A^2 2)Придумайте...
Ksenia007
25.12.2013 23:29
1 410
Выразить все основные логические операции через импликацию и отрицание!
Grengo
25.12.2013 22:08
0 219
Здравствуйте. Срочно нуждаюсь в вашей помощи, уважаемые пользователи! Помогите вычислить:
habb
25.12.2013 20:40
23 1,069
2. Визначте, чи є формула ДНФ, КНФ, СДНФ і СКНФ.
assm
25.12.2013 20:16
2 218
Составить ркс f(1,1,1)=f(0,1,0)=f(1,0,0)=1 Срочно,пожалуйста помогите!!!!!!
lizatta05
25.12.2013 20:09
5 930
помогите пожалуйста,не получается((( способ раскрытия: 1. отрицание 2. штрих Шеффера 3. стрелка...
Глория
25.12.2013 19:56
1 596
Здравствуйте! Подскажите пожалуйста, как доказать тождество, используя свойства операций над...
some_name
25.12.2013 16:36
2 1,053
(a&b \rightarrow b&c) \rightarrow ((a \rightarrow b) \rightarrow (c \rightarrow b))
lizatta05
25.12.2013 12:10
3 811
Расставить порядок действий логической функции; для указанных логических переменных определить...
Godzil123
25.12.2013 12:05
5 943
\exists x (A(x) \rightarrow (B(x)\rightarrow C(x))) \; \rightarrow \; (\forall x B(x) \rightarrow...
firefox1234
25.12.2013 01:40
0 274
Помогите, пожалуйста, вывести эту формулу в исчислении предикатов! \exists x \forall y \forall z...
firefox1234
25.12.2013 00:43
0 185
Здравствуйте! Помогите, пожалуйста, сделать такое задание :gsorry: S и R - бинарные отношения...
_Tanechka_
24.12.2013 23:50
0 175
Хелп, как решать?) Правила, 5.16. Запрещено создавать темы с множеством вопросов во всех...
Keng
24.12.2013 20:09
0 185
Определить, равносильны ли следующие формулы? Является ли третья формула общезначимой? (если не...
Impulsl
24.12.2013 07:07
1 522
Доказать, используя свойства операций над множествами, что для произвольных множеств выполняются...
magnum5555
24.12.2013 00:52
0 213
Помогите пожалуйста с задачкой. С помощью эквивалентных преобразований построить КНФ данной...
Impulsl
24.12.2013 00:13
0 271
Как записать данное выражение использую только конъюнкцию,дизъюнкцию и отрицание? A\equiv (B\equiv...
Максим1488
23.12.2013 21:21
16 529
Здравствуйте! Помогите в решении! Надо доказать выводимость. (P\vee Q)\wedge R\vdash P\wedge...
Игорь2013
23.12.2013 18:45
1 708
Трендец имени первой сессии подкрался незаметно.Я понимаю,что,возможно,многим мои вопросы покажутся...
Ферзь
23.12.2013 18:24
2 1,238
http://www.cyberforum.ru/attachment.php?attachmentid=345772&stc=1&d=1387707019 Помогите пожалуйста...
n1ce3696
23.12.2013 17:28
9 1,029
Помогите пожалуйста упростить через карту карно..никак не могу понять, как это сделать...
Юля_программист
23.12.2013 16:42
2 316
Множество М задается следующей порождающей процедурой 1)10\inМ;2)если a\inM, то 2а\inM;3) если...
dmasta92
23.12.2013 15:35
13 736
Доказать, что класс всех одномерных векторных пространств над полем R не является аксиоматизируемым...
Foxa
23.12.2013 14:59
0 286
Здравствуйте форумчане! Прошу помощи вот в чём. Правильно ли я решил данное задание, если нет, то...
Rurouni
23.12.2013 14:57
2 428
(\bar{b}(\bar{a}+\bar{c})\rightarrow b)(\bar{a}+b\rightarrow \bar{c})
andreyrussian
23.12.2013 11:58
1 1,044
Докажите выводимость в исчислении высказываний следующей формулы. При выводе можно пользоваться...
TheSN
22.12.2013 18:33
5 799
Является ли данная формула общезначимой? Докажите. \forall x ( A(x) \rightarrow (B(x)...
TheSN
22.12.2013 18:21
2 354
Здравствуйте. Помогите, пожалуйста, с задачей: "Найти наиболее общий унификатор для вводимой...
vorobiov19
22.12.2013 18:05
1 462
Является ли данная формула общезначимой? Докажите. \forall x \exists y \forall z P(x, y, z)...
TheSN
22.12.2013 16:42
1 2,089
Функция, заданная СДНФ , имеет столбец значений?
dmasta92
22.12.2013 16:20
7 405
Помогите записать следующие определения на языку логики предикатов а) монотонной...
fReekufa
22.12.2013 15:10
1 1,878
Зная уравнение сднф,как построить столбец значений истинности?
dmasta92
22.12.2013 13:09
2 337
В школе разбили окно. Подозревают: Лешу, Диму, Толю, Мишу. Лёша утверждает: Я не виноват. Я...
supra7sky
21.12.2013 20:26
2 1,300
Здравствуйте,помогите пожалуйста решить вот такое задание. Аналитическим способом, т.е. на...
Haifisch
21.12.2013 19:00
2 266
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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