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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,152,941 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,927
Обычные темы
 
     
 
Задать вопрос
{A^B,C^D} или {A U B, C U D}
sergey1993
01.06.2012 15:46
1 471
решал решал.. в конце получается P={не R,B,C} как довести до FALSE
sergey1993
31.05.2012 23:16
3 917
Для заданной легенды запишите с использованием 5-6 различных букв (пропорциональных термов) клаузу,...
sergey1993
31.05.2012 20:54
0 628
Помогите найти симметрическую разность множества А A = {n | n=2k, k≥1 & k≤4 } B = {n | for n=1 to...
sranger
31.05.2012 17:59
0 630
Необходимы примеры использования машины произвольного доступа (МПД). Киньте пожалуйста ссылочку,...
skovord2011
31.05.2012 17:56
0 960
Задача: Отношение эквивалентности на ℝ задано следующим образом: x~y ⇔ (∃q∈ℚ)(q≠0&x=qy) Какова...
Дарья Романова
31.05.2012 17:27
0 1,454
Проверьте эквивалентность следующих пар формул. путем приведения их к СДНФ с помощью элементарных...
chunas
31.05.2012 14:32
0 713
Помогите решить 3 и 5 задание, все решил кроме ПНФ. Завтра уже сдавать, Пнф не понимаю. выручите...
luk_as
30.05.2012 15:29
6 2,289
Добрый вечер форумчани, прошу у вас помощи. Решить задачу 5. Если не можете, то помогите советом,...
vnaumenko
30.05.2012 14:44
0 881
Добрый вечер форумчани, прошу у вас помощи. Решить задачу 4. Если не можете, то помогите советом,...
vnaumenko
30.05.2012 14:44
0 551
помогите пожалуста, нужно доказать что функция примитивно-рекурсивная! max(x1,x2,...,xn)
koshka1
30.05.2012 14:10
0 618
Привет. Как можно проверить себя на правильность нахождения ДНФ и КНФ способом простых...
Flashded
30.05.2012 00:43
0 440
1е: 2е: если можно, то второе доделать и сделать соответствие по формулам. заранее благодарен
Banzay
29.05.2012 23:50
2 588
собственно, вот задание: помогите решить, пожалуйста. буду очень благодарен
Banzay
29.05.2012 23:32
2 394
Помогите, пожалуйста, решить тождество методом резолюций. Заранее спасибо
WarDen
29.05.2012 21:33
15 4,665
Проверьте, пожалуйста, правильно ли составил таблицу истинности и принадлежность к T0 и Т1. Так...
fullgream
29.05.2012 20:22
5 6,930
Оцените умным взглядом кто-нибудь!!!! Какую мощность имеет множество все а) конечных б)...
Шпилька
29.05.2012 18:50
0 504
Помогите упростить формулу
nansy
28.05.2012 18:52
0 432
Помогите, пожалуйста, решить КР по матану.. завтра нужно сдавать... Выручайте.. очень нужно,...
serg9393
28.05.2012 17:59
2 502
Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности...
DjNekromant
27.05.2012 23:23
1 790
Народ помогите! Для заданной ФАЛ: • минимизировать с помощью законов алгебры Буля; • проверить...
maximaal
27.05.2012 11:54
4 627
Требования в логике быть истинным и иметь познавательную ценность противоречивы, но только в первом...
bulygin69
25.05.2012 11:09
0 385
Определить общезначимый ли предикат. (Задание в вложенном файле). Можно не само решение задачи, а...
Александр94_94
24.05.2012 22:26
2 483
Уважаемые спецы, помогите пожалуйста решить задание:
sasha19901
24.05.2012 18:23
1 531
Здравствуйте. Помогите пожалуйста доказать. 1) Что объединение счётного колличества счётных будет...
Fylhtq1997
24.05.2012 15:51
0 418
нужно доказать выводимость формулы при помощи теоремы дедукции A\wedge B\rightarrow A\vee B...
люб@ша
24.05.2012 14:32
0 1,417
Помогите пожалуйста доказать равенство множеств. Несколько заданий сделал, а на этом запнулся....
Rufox
24.05.2012 09:32
3 1,660
2.Доказать следующие утверждения средствами ФС1: Если Смит был убийцей, то Джонс лжет. Если Джонс...
zippa06
24.05.2012 03:19
2 1,612
Не получается найти МКНФ и МДНф,методом проверки,вроде таблицу правильно написал а ответ не...
Сергей(студент)
24.05.2012 02:42
2 1,675
3.Доказать утверждения средствами ФС2: Таможенники возвращают всех, кто въехал в страну без...
zippa06
23.05.2012 18:16
0 437
Обьясните плз как строить круги по фукции ? базовые я знаю как строить типа: обьединение...
DatIK
23.05.2012 13:35
7 3,698
Командир осажденой крепости послал три сообщения: а)Если нам удастся получить продовольствие, то...
Владимир_ВМ
23.05.2012 10:13
4 654
Помогите найти множество истинности предиката x2+y2=5
Igorek92
23.05.2012 03:58
1 805
Помогите пожалуйста... 8-)
mihtar
23.05.2012 03:48
1 1,624
1) доказать истинность заключения методом дедукции и нарисовать граф дедуктивного вывода; 2)...
Dam1an
23.05.2012 02:21
0 2,200
1. Нужно было привести функцию к ДНФ, после преобразований получилось что-то такое, что при...
Vlada
23.05.2012 00:32
5 2,854
Прошу помочь провести минимизацию формул по таблице истинности: X1|X2|X3|F 0 | 0 | 0 |...
Адренс Аксидор
22.05.2012 19:57
0 1,351
Прошу вашей помощи в построении формы ФАЛ
vladis222
21.05.2012 22:45
5 523
Для булевой функции найти методом преобразования минимальную ДНФ. По таблице истинности...
Студенткааа
21.05.2012 19:58
0 1,359
Как его правильно упростить?
Adrika
21.05.2012 19:04
1 852
Уважаемые спецы, помогите пожалуйста решить задание:
sasha19901
21.05.2012 10:27
0 765
Уважаемые спецы, помогите пожалуйста решить задание:
sasha19901
21.05.2012 10:27
0 607
Какая будет СКНФ у функции, которая на всех наборах принимает значение 1?
Riderik
21.05.2012 00:52
1 345
Пусть P(x,y,z) это xy=z, E(x,y)это x=y, G(x,y) это x>y. Надо найти логическую запись предложения ...
magrif
20.05.2012 23:46
2 500
Здравствуйте! У меня вопрос: такой, как доказать, что дополнение множества геделевых номеров Tk*...
Rinat93
20.05.2012 17:56
0 305
Помогите найти СДНФ и СКНФ при помощи равносильных преобразований и если можно, поделитесь хорошим...
T2skler
20.05.2012 14:39
1 3,224
Объясните пожалуйста мне идиоту что значит эта связь) А*={u│u= γ(C(x1)) & γ(C ( ̅u)) ϵ A}, C(x1)...
lexeyko
20.05.2012 14:25
0 285
Доказать верность конкретизацией \exists x(P(x)\wedge Q(x)) \Rightarrow (\exists xP(x) \wedge...
magrif
18.05.2012 16:35
0 431
Найти форму в \wedge и \neg \exist x \forall y P(x,y) Решал: пусть x={0,1}, y={0,1}. \exist x...
magrif
18.05.2012 16:10
0 334
Построить таблицу истинности булевой функции, построить СДНФ, СКНФ, найти минимальную ДНФ. ...
Alexandra555
17.05.2012 21:07
0 1,814
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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