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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
Просмотров: 3,159,450 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,956
Обычные темы
 
     
 
Задать вопрос
На вход алгоритма Хаффмана подается n частот кодируемых символов. Какова наибольшая длина кодов...
Jarto
27.12.2013 23:07
2 694
Найти декартово произведение АхВ и ВхА:
Николай1903
27.12.2013 22:22
4 851
Подскажите плс, как перейти от СКНФ к КНФ в данном случае: (x- v y v z-)*(x v y- v z) Я...
Жекон
27.12.2013 19:30
2 876
Всем привет. Прошу у вас помощи, так как больше не у кого. Дали задания. Вот скриншот:...
Nicolayka
27.12.2013 16:32
4 485
если не трудно, спасибо.
soalex29
27.12.2013 06:03
1 354
Требуется упростить множество, как ни делаю выходит только хуже !A\B∩(C\B\A)
яРома
27.12.2013 01:46
0 214
В общем, спасайте. требуется решить 3 примера алгебры множеств. В благодарность, тому, кто...
methodZ
26.12.2013 23:39
0 258
Задание простое но не знаю как делать. Образовать все подмножества данного множества.
Николай1903
26.12.2013 20:44
3 844
Здравствуйте! Есть две эквивалентные формулы (\forall xU(x)\rightarrow V)\vdash \exist...
Игорь2013
26.12.2013 17:53
4 581
Проверить правильность каждого из следующих рассуждений тремя способами: построением...
it_intel
26.12.2013 16:48
0 259
(x+1)((!x+1)) 0+x+!x+1 x+!x+1 !x+!x вот что получается, и знаю что-либо не правильно, либо не...
Jurlique
26.12.2013 16:43
2 362
С помощью ДНФ и КНФ (без построения таблицы истинности) установить тип формулы (в случае выполнимой...
it_intel
26.12.2013 16:40
3 715
(А \ B) \C = A \ (B \ C) Подскажите пожалуйста от чего отталкиваться при доказательстве? Или где...
Niaren
26.12.2013 10:40
2 618
упростить логическую функцию по законам и правилам преобразования логических выражений; указать ...
Godzil123
26.12.2013 08:55
8 465
1) Упростить логическую функцию и построить переключательную схему 2) Построить логическую схему...
Godzil123
26.12.2013 04:41
1 1,094
Здравствуйте. Помогите пожалуйста разложить функцию по переменной x. Функция выглядит так: f(x,...
203
26.12.2013 00:45
4 352
1) Найти двумя способами полином Жегалкина функций, заданной векторно. Найти СДНФ. Найти СКНФ. f...
tcdhbhh
26.12.2013 00:23
0 783
1)Докажите, что р – линейный порядок на A тогда и только тогда, когда р∪р^-1 = A^2 2)Придумайте...
Ksenia007
25.12.2013 23:29
1 412
Выразить все основные логические операции через импликацию и отрицание!
Grengo
25.12.2013 22:08
0 219
Здравствуйте. Срочно нуждаюсь в вашей помощи, уважаемые пользователи! Помогите вычислить:
habb
25.12.2013 20:40
23 1,116
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 959
помогите пожалуйста,не получается((( способ раскрытия: 1. отрицание 2. штрих Шеффера 3. стрелка...
Глория
25.12.2013 19:56
1 603
Здравствуйте! Подскажите пожалуйста, как доказать тождество, используя свойства операций над...
some_name
25.12.2013 16:36
2 1,058
(a&b \rightarrow b&c) \rightarrow ((a \rightarrow b) \rightarrow (c \rightarrow b))
lizatta05
25.12.2013 12:10
3 817
Расставить порядок действий логической функции; для указанных логических переменных определить...
Godzil123
25.12.2013 12:05
5 962
\exists x (A(x) \rightarrow (B(x)\rightarrow C(x))) \; \rightarrow \; (\forall x B(x) \rightarrow...
firefox1234
25.12.2013 01:40
0 283
Помогите, пожалуйста, вывести эту формулу в исчислении предикатов! \exists x \forall y \forall z...
firefox1234
25.12.2013 00:43
0 188
Здравствуйте! Помогите, пожалуйста, сделать такое задание :gsorry: S и R - бинарные отношения...
_Tanechka_
24.12.2013 23:50
0 176
Хелп, как решать?) Правила, 5.16. Запрещено создавать темы с множеством вопросов во всех...
Keng
24.12.2013 20:09
0 186
Определить, равносильны ли следующие формулы? Является ли третья формула общезначимой? (если не...
Impulsl
24.12.2013 07:07
1 528
Доказать, используя свойства операций над множествами, что для произвольных множеств выполняются...
magnum5555
24.12.2013 00:52
0 214
Помогите пожалуйста с задачкой. С помощью эквивалентных преобразований построить КНФ данной...
Impulsl
24.12.2013 00:13
0 273
Как записать данное выражение использую только конъюнкцию,дизъюнкцию и отрицание? 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 725
Трендец имени первой сессии подкрался незаметно.Я понимаю,что,возможно,многим мои вопросы покажутся...
Ферзь
23.12.2013 18:24
2 1,244
http://www.cyberforum.ru/attachment.php?attachmentid=345772&stc=1&d=1387707019 Помогите пожалуйста...
n1ce3696
23.12.2013 17:28
9 1,042
Помогите пожалуйста упростить через карту карно..никак не могу понять, как это сделать...
Юля_программист
23.12.2013 16:42
2 331
Множество М задается следующей порождающей процедурой 1)10\inМ;2)если a\inM, то 2а\inM;3) если...
dmasta92
23.12.2013 15:35
13 744
Доказать, что класс всех одномерных векторных пространств над полем R не является аксиоматизируемым...
Foxa
23.12.2013 14:59
0 301
Здравствуйте форумчане! Прошу помощи вот в чём. Правильно ли я решил данное задание, если нет, то...
Rurouni
23.12.2013 14:57
2 436
(\bar{b}(\bar{a}+\bar{c})\rightarrow b)(\bar{a}+b\rightarrow \bar{c})
andreyrussian
23.12.2013 11:58
1 1,066
Докажите выводимость в исчислении высказываний следующей формулы. При выводе можно пользоваться...
TheSN
22.12.2013 18:33
5 812
Является ли данная формула общезначимой? Докажите. \forall x ( A(x) \rightarrow (B(x)...
TheSN
22.12.2013 18:21
2 364
Здравствуйте. Помогите, пожалуйста, с задачей: "Найти наиболее общий унификатор для вводимой...
vorobiov19
22.12.2013 18:05
1 488
Является ли данная формула общезначимой? Докажите. \forall x \exists y \forall z P(x, y, z)...
TheSN
22.12.2013 16:42
1 2,168
Функция, заданная СДНФ , имеет столбец значений?
dmasta92
22.12.2013 16:20
7 406
Помогите записать следующие определения на языку логики предикатов а) монотонной...
fReekufa
22.12.2013 15:10
1 2,000
Зная уравнение сднф,как построить столбец значений истинности?
dmasta92
22.12.2013 13:09
2 340
В школе разбили окно. Подозревают: Лешу, Диму, Толю, Мишу. Лёша утверждает: Я не виноват. Я...
supra7sky
21.12.2013 20:26
2 1,399
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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