Математическая логика

Список источников >Математика >Алгебра >Математическая логика >

Логика естественных рассуждений

Автор: Кулик Б.А.
Год: 2001
Издание:

Страниц: [не указано]
ISBN: [не указан]
В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке.Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений.В основу книги положен авторский курс лекций по логике естественных рассуждений, предназначенный для студентов гуманитарных и технических специальностей. Для широкого круга читателей, интересующихся логикой, преподавателей и специалистов.
Добавлено: 2009-08-09 01:26:36

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы