Решебник по русской логике, Азбука математической логики, Лобанов В.И., 2002

Решебник по русской логике, Азбука математической логики, Лобанов В.И., 2002.

   Данное пособие является общедоступной иллюстрацией применения методов и алгоритмов Русской, истинно математической логики при решении логических задач. Все решения задач наглядны, легко проверяются с позиции математики и здравого смысла. Книга полезна школьникам и академикам, «физикам» и «лирикам», теоретикам и практикам. Книга доступна школьнику и полезна специалисту.




Сориты. Полисиллогизмы.
Сорит - это умозаключение из нескольких посылок, в котором каждая последующая посылка является заключением для двух предыдущих. В классической силлогистике для сорита выводится лишь одно заключение. Посылки в сорите являются общеутвердительными или общеотрицательными суждениями. На самом деле реально посылки могут быть как общего, так и частного характера. Полисиллогизм - это умозаключение с произвольным соотношением посылок и терминов. Таким образом сорит -частный и наиболее примитивный вид полисиллогизма. Заключений в сорите, как и в полисиллогизме, может быть огромное количество. Для двухаргументных (двуместных) заключений оно определяется как число сочетаний из числа посылок по 2, т.е. К = C(n.2) = n(n-1)/2, где К - число заключений от двух аргументов, n - число терминов в посылках. Количество абсолютно новых заключений меньше К на число исходных посылок. Если же рассматривать искомые заключения, как функции от трёх и более переменных, то К значительно возрастает. Однако при этом теряется прозрачность полученных результатов. Алгоритм «Осташков» для решения соритов и полисиллогизмов достаточно прост. Он является следствием из алгоритмов «ИЭИ» (синтез силлогизмов) и «Селигер» (решение логических уравнений).

ОГЛАВЛЕНИЕ.
ПРЕДИСЛОВИЕ.
1. СИНТЕЗ И МИНИМИЗАЦИЯ ЛОГИЧЕСКИХ ФУНКЦИЙ.
2. ЛОГИКА СУЖДЕНИЙ.
3. СИЛЛОГИСТИКА.
4. СОРИТЫ. ПОЛИСИЛЛОГИЗМЫ.
5. ЛОГИЧЕСКИЕ УРАВНЕНИЯ
6. ЗАДАЧИ Л. КЭРРОЛЛА.
СИЛЛОГИЗМЫ Л. КЭРРОЛЛА ДЛЯ САМОСТОЯТЕЛЬНОГО. РЕШЕНИЯ.
СОРИТЫ Л. КЭРРОЛЛА ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ.
7. ЗАДАЧИ П.С. ПОРЕЦКОГО.
КРАТКИЙ СПРАВОЧНИК ПО РУССКОЙ ЛОГИКЕ.
ЛИТЕРАТУРА.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Решебник по русской логике, Азбука математической логики, Лобанов В.И., 2002 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: учебник по математике :: математика :: Лобанов