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

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


Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Новая тема
Темы раздела : Мат. логика и множества Искать в этом разделе
Объявление
26.04.2016 tezaurismosis (Администратор)
Объявление
22.05.2012 mik-a-el (Администратор)
Объявление
Просмотров: 3,133,888 Посмотреть объявление Объявление: Правила форума
22.11.2007 mik-a-el (Администратор)
  Рейтинг Тема / Автор Последнее сообщение Ответов Просмотров
Важные темы
OldFedor
26.03.2015 15:25
2 5,855
Обычные темы
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
     
 
Задать вопрос
Народ помогите! Для заданной ФАЛ: • минимизировать с помощью законов алгебры Буля; • проверить...
maximaal
27.05.2012 11:54
4 612
Требования в логике быть истинным и иметь познавательную ценность противоречивы, но только в первом...
bulygin69
25.05.2012 11:09
0 382
Определить общезначимый ли предикат. (Задание в вложенном файле). Можно не само решение задачи, а...
Александр94_94
24.05.2012 22:26
2 478
Уважаемые спецы, помогите пожалуйста решить задание:
sasha19901
24.05.2012 18:23
1 526
Здравствуйте. Помогите пожалуйста доказать. 1) Что объединение счётного колличества счётных будет...
Fylhtq1997
24.05.2012 15:51
0 416
нужно доказать выводимость формулы при помощи теоремы дедукции A\wedge B\rightarrow A\vee B...
люб@ша
24.05.2012 14:32
0 1,405
Помогите пожалуйста доказать равенство множеств. Несколько заданий сделал, а на этом запнулся....
Rufox
24.05.2012 09:32
3 1,642
2.Доказать следующие утверждения средствами ФС1: Если Смит был убийцей, то Джонс лжет. Если Джонс...
zippa06
24.05.2012 03:19
2 1,556
Не получается найти МКНФ и МДНф,методом проверки,вроде таблицу правильно написал а ответ не...
Сергей(студент)
24.05.2012 02:42
2 1,626
3.Доказать утверждения средствами ФС2: Таможенники возвращают всех, кто въехал в страну без...
zippa06
23.05.2012 18:16
0 432
Обьясните плз как строить круги по фукции ? базовые я знаю как строить типа: обьединение...
DatIK
23.05.2012 13:35
7 3,637
Командир осажденой крепости послал три сообщения: а)Если нам удастся получить продовольствие, то...
Владимир_ВМ
23.05.2012 10:13
4 633
Помогите найти множество истинности предиката x2+y2=5
Igorek92
23.05.2012 03:58
1 796
Помогите пожалуйста... 8-)
mihtar
23.05.2012 03:48
1 1,577
1) доказать истинность заключения методом дедукции и нарисовать граф дедуктивного вывода; 2)...
Dam1an
23.05.2012 02:21
0 2,093
1. Нужно было привести функцию к ДНФ, после преобразований получилось что-то такое, что при...
Vlada
23.05.2012 00:32
5 2,839
Прошу помочь провести минимизацию формул по таблице истинности: X1|X2|X3|F 0 | 0 | 0 |...
Адренс Аксидор
22.05.2012 19:57
0 1,347
Прошу вашей помощи в построении формы ФАЛ
vladis222
21.05.2012 22:45
5 510
Для булевой функции найти методом преобразования минимальную ДНФ. По таблице истинности...
Студенткааа
21.05.2012 19:58
0 1,331
Как его правильно упростить?
Adrika
21.05.2012 19:04
1 840
Уважаемые спецы, помогите пожалуйста решить задание:
sasha19901
21.05.2012 10:27
0 759
Уважаемые спецы, помогите пожалуйста решить задание:
sasha19901
21.05.2012 10:27
0 604
Какая будет СКНФ у функции, которая на всех наборах принимает значение 1?
Riderik
21.05.2012 00:52
1 343
Пусть P(x,y,z) это xy=z, E(x,y)это x=y, G(x,y) это x>y. Надо найти логическую запись предложения ...
magrif
20.05.2012 23:46
2 496
Здравствуйте! У меня вопрос: такой, как доказать, что дополнение множества геделевых номеров Tk*...
Rinat93
20.05.2012 17:56
0 302
Помогите найти СДНФ и СКНФ при помощи равносильных преобразований и если можно, поделитесь хорошим...
T2skler
20.05.2012 14:39
1 3,165
Объясните пожалуйста мне идиоту что значит эта связь) А*={u│u= γ(C(x1)) & γ(C ( ̅u)) ϵ A}, C(x1)...
lexeyko
20.05.2012 14:25
0 277
Доказать верность конкретизацией \exists x(P(x)\wedge Q(x)) \Rightarrow (\exists xP(x) \wedge...
magrif
18.05.2012 16:35
0 426
Найти форму в \wedge и \neg \exist x \forall y P(x,y) Решал: пусть x={0,1}, y={0,1}. \exist x...
magrif
18.05.2012 16:10
0 329
Построить таблицу истинности булевой функции, построить СДНФ, СКНФ, найти минимальную ДНФ. ...
Alexandra555
17.05.2012 21:07
0 1,795
Доказать,что операция отрицания не может быть выражена через основаные операции(бинарные)над...
Skajenyy
17.05.2012 17:20
0 413
_ _ _________ (x V y-->(z-->yVyVx))&(xVx-->(x-->x))-->y
Skajenyy
17.05.2012 17:18
2 569
Доказать аксиоматически. Хотя бы помогите начать доказательство поставьте на верный путь
sergey1993
16.05.2012 21:44
0 411
((/С&/D)V(B&C))&(/AV/D)&(((/CV/B)&D)V(C&B)) V - дизъюнкция & - конъюнкция / - отрицание ...
vacarme
15.05.2012 23:42
1 1,062
Всем привет =) ну мастера помогите! не знаю даже как решать! Кому не сложно решите, буду очень...
Напосарам
15.05.2012 21:15
2 1,495
задали по компьютерной логике задание "1. Доказать тождественную истинность или тождественную ...
ZlobiiChack
15.05.2012 20:54
1 1,164
Картинка приложена
ashotick
15.05.2012 19:47
0 1,245
Собственно ниже \/
ashotick
15.05.2012 19:46
0 877
Картинка прикреплена
ashotick
15.05.2012 19:44
0 1,454
Картинка ниже \/
ashotick
15.05.2012 19:40
0 917
Собственно на картинке задача
ashotick
15.05.2012 19:37
0 1,816
привет, задали 2 задачки. не могу решить уже где-то дня 3. не понимаю просто. помогите...
Lory
15.05.2012 00:08
1 694
Люди, помогите пожалуйста решить задачу по компьютерной логике "2. Мальчик решил в воскресенье...
ZlobiiChack
14.05.2012 22:23
0 463
Есть вот такого рода выражение. С это тактовый сигнал , не обращайте внимания.. Минимизировал при...
neomax38
14.05.2012 15:52
3 936
является ли система S={f1,...,fn}: а) полной б) базисом (если "нет", дополнить до базиса) в)...
lisa343
14.05.2012 15:48
0 547
Найти сокращенную ДНФ булевой функции f(x1,x2,x3,x4), заданной вектором своих значений (методом...
lisa343
14.05.2012 15:29
0 1,020
Добрый вечер! Господа, объясните пожалуйста, как найти ДНФ. Вот скрин с учебника, я не могу понять...
top4top
14.05.2012 14:48
2 1,446
Помогите, пожалуйста! Упростить выражение используя минимум законов логических операций
lol123
13.05.2012 14:50
1 808
Если деталь обеспечена заготовкой, включена в план и для неё есть оснастка, которая может быть...
YuliaK
13.05.2012 09:57
3 1,129
Всем привет! Помогите плиз разобраться в решётках. Что является решёткой,а что нет, их виды. Может...
Jennea
13.05.2012 00:40
0 302
 
     
 
Новая тема
Опции раздела Искать в этом разделе
Искать в этом разделе :

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

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