Б.А. Кулик. Логика естественных рассуждений

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

Издательство: Невский Диалект
Год: 2001
Формат: PDF
Страниц: 130
Язык: русский

 

Скачать книгу (20,3 МБ):