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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Декабрь 2009   →
 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

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

_Ayl_
Статус: Студент
Рейтинг: 1443
∙ повысить рейтинг » 		Lang21
Статус: Профессионал
Рейтинг: 283
∙ повысить рейтинг » 		Galinab222
Статус: 5-й класс
Рейтинг: 198
∙ повысить рейтинг »

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

Номер выпуска:148
Дата выхода:04.12.2009, 18:00
Администратор рассылки:Alexey G. Gladenyuk, Управляющий
Подписчиков / экспертов:109 / 41
Вопросов / ответов:1 / 1

Вопрос № 174679: Здравствуйте, эксперты! Помогите доказать выводимость формулы в ИВ через аксиомы. (A→B)→((¬А→С)→(¬В→С)) Аксиомы ИВ: A1: (A→(В→A)) A2: ((A→(В→C))&#...

Вопрос № 174679:

Здравствуйте, эксперты!

Помогите доказать выводимость формулы в ИВ через аксиомы.

(A→B)→((¬А→С)→(¬В→С))

Аксиомы ИВ:
A1: (A→(В→A))
A2: ((A→(В→C))→((A→В)→(A→C)))
A3: ((¬В→¬A)→((¬В→A)→В))

Спасибо!

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

Отвечает Kvitenol, 5-й класс :
Здравствуйте, Степан Иванов.
Математическая логика, учебник
Учебник, часть 3
3. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
http://djvu-student.narod.ru/02-matematicheskaya-logika/metodichka/metoda_matlogika_i_teor_algoritm_g3.html

Лекция 4: АКСИОМАТИЧЕСКАЯ СИСТЕМА ЛОГИЧЕСКОГО ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ
http://arent.blog.net.ua/2009/11/26/lektsiya-4/

О.А. Солодухин. Учебник по логике
http://sophia.nau.edu.ua/library/textbook/log_sol.html

Математическая логика
Методические указания по курсу лекций
Вуз Санкт-Петербургский государственный электротехнический университет
http://www.studfiles.ru/dir/cat14/subj266/file3194/view4507/page2.html

ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ_ОПРЕДЕЛЕНИЕ_СПОСОБЫ ЗАДАНИЯ_ПРИМЕРЫ
http://files.powt.ru/incoming/roman/tmp/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B0%D1%8F%20%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0/%D0%94%D0%98%D0%A1%D0%9A%D0%A0%D0%95~1/ALL.TXT

Ответ отправил: Kvitenol, 5-й класс
Ответ отправлен: 04.12.2009, 10:11

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

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

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

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

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

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

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

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