Отправляет email-рассылки с помощью сервиса Sendsay

RFpro.ru: Консультации по дискретной математике

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Декабрь 2010   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://rusfaq.ru/issues/8/19/525
Открыта: 17-04-2009

Автор
Калашников О.А.

Статистика

106 подписчиков
0 за неделю
←   Все выпуски   →

RFpro.ru: Консультации по дискретной математике


Хостинг портала RFpro.ru:
Московский хостер
Профессиональный ХОСТИНГ на базе Linux x64 и Windows x64

РАССЫЛКИ ПОРТАЛА RFPRO.RU

Лучшие эксперты данной рассылки

Гаряка Асмик
Статус: Профессор
Рейтинг: 6538
∙ повысить рейтинг » 		Абаянцев Юрий Леонидович aka Ayl
Статус: Профессионал
Рейтинг: 2279
∙ повысить рейтинг » 		Лиджи-Гаряев Владимир
Статус: Профессионал
Рейтинг: 1935
∙ повысить рейтинг »

/ НАУКА И ОБРАЗОВАНИЕ / Точные и естественные науки / Математика дискретная

Номер выпуска:224
Дата выхода:31.12.2010, 14:30
Администратор рассылки:Гаряка Асмик (Профессор)
Подписчиков / экспертов:63 / 60
Вопросов / ответов:1 / 1

Вопрос № 181621: Здравствуйте, уважаемые эксперты! Мне необходимо решить две контрольные по математической логике и теории алгоритмов. C удовольствием вышлю вам методички, задания, примеры решения контрольной №2, контрольную №1 я решила наполовину. Необход...

Вопрос № 181621:

Здравствуйте, уважаемые эксперты!
Мне необходимо решить две контрольные по математической логике и теории алгоритмов.
C удовольствием вышлю вам методички, задания, примеры решения контрольной №2, контрольную №1 я решила наполовину.
Необходимо решить 3, 6, 7, 8, 9 примеры в первой контрольной и все во второй.
Отдельно - задача № 6 в первой контрольной.
Первую строчку, а) я решила конструктивным методом, нужно еще одним из предложенных методов, в б) то же, что и в а). в) необходимо решить двумя способами.


Отправлен: 26.12.2010, 13:55
Вопрос задал: Семенюк Анастасия Андреевна (Посетитель)
Всего ответов: 1
Страница вопроса »

Отвечает Гаряка Асмик (Профессор) :
Здравствуйте, Семенюк Анастасия Андреевна!

Задание 2 Вы решили неправильно.
Укажите подмножества множества {{∅,2},{2}}
Ответ: {{∅,2},{2}}, {{∅}},{{2}}, ∅
Задание 3:
Если R - отношение эквивалентности, значит в него входят все пары (a,a)∈AxA
Следовательно, в множество AxA\R все эти пары не входят.
Следовательно, отношение AxA\R не является рефлексивным.
Следовательно, отношение AxA\R не является отношением эквивалентности.
Задание 5:
Согласно дистрибутивному закону,
P∧(Q∨R)=(P∧Q)∨(P∧R)
Значит, имеем выражение вида A->A, где A =P∧(Q∨R)
Подобное выражение всегда истинно.
∧
Задание 6:
а) аксиоматическим методом








Согласно клаузе Вонга, аргумент правильный, если в его правой и левой частях присутствует одинаковый терм. Здесь это C ∧ D
б) методом резолюций
A→(BVC),AVB,B→A,B→D⇒CVD
¬AV(BVC),AVB,¬BVA,¬BVD,¬C,¬D⇒0
¬AVBVC,¬BVD,A,¬C,¬D⇒0
A,D,¬AVC,¬C,¬D⇒0
Получили два противоположных дизъюнкта. Покрытие обеспечено, аргумент - правильный.

Задание 7:
В универсуме 0 и 1 найдите форму ∀x P(0,x).
P(0,0) ∧P(0,1)
Задание 8:
E(x,y) означает x=y
G(x,y)означает x>y
Не может случиться, что x=y и x>y
∀x∀y¬(E(x,y) ∧G(x,y))

Ответ отправил: Гаряка Асмик (Профессор)
Ответ отправлен: 27.12.2010, 22:13
Номер ответа: 265150
Армения, Ереван
Тел.: 37493385079
Адрес сайта: http://rus-kniga.biz/tv11073127-3155712.html
ICQ # 166073765
Mail.ru-агент: hasmikgaryaka@bk.ru
Абонент Skype: hasmik7

Вам помог ответ? Пожалуйста, поблагодарите эксперта за это!
Как сказать этому эксперту "спасибо"?
  • Отправить SMS #thank 265150 на номер 1151 (Россия) | Еще номера »
  • Отправить WebMoney:

    • Оценить выпуск »
    Нам очень важно Ваше мнение об этом выпуске рассылки!

    Задать вопрос экспертам этой рассылки »

    Скажите "спасибо" эксперту, который помог Вам!

    Отправьте СМС-сообщение с тестом #thank НОМЕР_ОТВЕТА
    на короткий номер 1151 (Россия)
    Номер ответа и конкретный текст СМС указан внизу каждого ответа.

    Полный список номеров »

    * Стоимость одного СМС-сообщения от 7.15 руб. и зависит от оператора сотовой связи. (полный список тарифов)
    ** При ошибочном вводе номера ответа или текста #thank услуга считается оказанной, денежные средства не возвращаются.
    *** Сумма выплаты эксперту-автору ответа расчитывается из суммы перечислений на портал от биллинговой компании.

    © 2001-2010, Портал RFPRO.RU, Россия
    Авторское право: ООО "Мастер-Эксперт Про"
    Автор: Калашников О.А. | Программирование: Гладенюк А.Г.
    Хостинг: Компания "Московский хостер"
    Версия системы: 2010.6.25 от 13.12.2010
    В избранное