Отправляет 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:
Московский хостер
Профессиональный платный хостинг на базе Windows 2008

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

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

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

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

Номер выпуска:163
Дата выхода:26.01.2010, 23:00
Администратор рассылки:Alexey G. Gladenyuk, Управляющий
Подписчиков / экспертов:114 / 45
Вопросов / ответов:1 / 1

Вопрос № 176188: Здравствуйте эксперты, есть такая задачка: Проверить аргумент методом резолюций. Получить все следствия из данных посылок. " Галя и Борис – ровесники или Галя старше Бориса. Если Галя и Борис - ровесники, то Оля и Борис ...

Вопрос № 176188:

Здравствуйте эксперты, есть такая задачка:
Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
" Галя и Борис – ровесники или Галя старше Бориса. Если Галя и Борис - ровесники, то Оля и Борис разного возраста, Если Галя старше Бориса, то Борис старше Коли. Следовательно, Оля и Борис – разного возраста или Борис старше Коли"
Расскажите пожалуйста про метод резолюций, и что за следствия с посылками. Заранее спасибо.

Отправлен: 21.01.2010, 20:01
Вопрос задал: Tribak, Студент
Всего ответов: 1
Страница вопроса »

Отвечает Гаряка Асмик, Практикант :
Здравствуйте, Tribak.

В основе метода резолюций лежит идея "доказательства от противного".
Если из отрицания S можно вывести противоречие, значит S истинно.
Галя и Борис – ровесники - предложение A
Галя старше Бориса - предложение B
Оля и Борис разного возраста C
Борис старше Коли - предложение D
Правило резолюции: пусть С1 и С2 - два предложения, и пусть С1=P∨C1', a C2=-P∨C2'. Тогда из C1, C2 выводим C1'∨C2'.

Имеем
A ∨ B
A→C
B→D

Сначала нужно преобразовать в предложения исходные формулы
A ∨ B
A→C=-A∨C
B→D=-B∨D

A ∨ B, -A∨C, -B∨D
Из первого и второго выводится B∨C
Из выведенного и третьего выводится С∨D.

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

Ответ отправил: Гаряка Асмик, Практикант
Ответ отправлен: 22.01.2010, 11:29

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

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

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

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

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

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

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

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