Отправляет 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


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


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

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

Статистика

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

RFpro.ru: Дискретная математика


Хостинг портала RFpro.ru:
Московский хостер
Профессиональный платный хостинг на базе Windows 2008

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

Чемпионы рейтинга экспертов в этой рассылке

Гордиенко Андрей Владимирович
Статус: Профессор
Рейтинг: 4489
∙ повысить рейтинг » 		Гаряка Асмик
Статус: Бакалавр
Рейтинг: 1827
∙ повысить рейтинг » 		_Ayl_
Статус: Студент
Рейтинг: 1570
∙ повысить рейтинг »

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

Номер выпуска:168
Дата выхода:11.02.2010, 17:30
Администратор рассылки:Alexey G. Gladenyuk, Управляющий
Подписчиков / экспертов:106 / 46
Вопросов / ответов:1 / 1

Вопрос № 176534: Задание №1 Для его выполнения необходимо в тексте выделить простые предложения, обозначив их как атомы и затем представить каждое утверждение в виде формулы. Далее доказать теорему, основанную на резолюции путем построения противоречия или опр...

Вопрос № 176534:

Задание №1

Для его выполнения необходимо в тексте выделить простые предложения, обозначив их как атомы и затем представить каждое утверждение в виде формулы. Далее доказать теорему, основанную на резолюции путем построения противоречия или опровержения.


Задача.

Если 9 марта будет тепло, то Джон поедет в Сан-франциско или в Лас-Вегас. Кейт поедет туда же, куда и Джон. Если Мери поедет в Лас-Вегас, то и Джон поедет в Лас-Вегас. Если Мери не поедет в Лас-Вегас, то Джон поедет в Сан-Франциско. Если 8 марта будет холодно, то 9 марта будет тепло. Если 8 марта будет холодно, то Мери не поедет в Лас-Вегас. 8 марта будет холодно.
Вопрос: поедет ли Кейт в Сан-Франциско?



Отправлен: 06.02.2010, 17:08
Вопрос задал: allxmiss, Посетитель
Всего ответов: 1
Страница вопроса »

Отвечает Гаряка Асмик, Бакалавр :
Здравствуйте, allxmiss.

A- 8 марта будет холодно.
B- Мери не поедет в Лас-Вегас.
С помощью modus ponens выводим, что Мери не поедет в Лас-Вегас
A, A->B ≡B

Если Мери не поедет в Лас-Вегас, то Джон поедет в Сан-Франциско.
С помощью modus ponens выводим, что Джон поедет в Сан-Франциско
Кейт поедет туда же, куда и Джон. Обычная логика подсказывает, что Кейт поедет в Сан-Франциско. Докажем это методом противоречия.

D – Джон поедет в Лас-Вегас
E - Кейт поедет в Сан-Франциско
F - Кейт поедет поедет в Лас-Вегас

1. C - Джон поедет в Сан-Франциско.
Кейт поедет туда же, куда и Джон. Как это можно записать в виде конъюнктивных утверждений?
Если Джон поедет в Сан-Франциско, Кейт поедет в Сан-Фрациско
Если Джон поедет в Лас-Вегас, Кейт поедет в Лас-Вегас
C→E, D→F
Воспользуемся преобразованиями
2 ~C ∨ E
3 ~D ∨ F
Отрицание теоремы, которую надо доказать –
4. ~E
Из 2 и 4 выв одится
~C
Из доказанного и 1 выводится nil

-----
Я ни от чего, ни от кого не завишу.

Ответ отправил: Гаряка Асмик, Бакалавр
Ответ отправлен: 06.02.2010, 21:13
Номер ответа: 259277

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

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

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

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

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

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

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

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