Логика естественных рассуждений
Кулик Б.А.
В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений. В основу книги положен авторский курс лекций по логике естественных рассуждений, предназначенный для студентов гуманитарных и технических специальностей. Для широкого круга читателей, интересующихся логикой, преподавателей и специалистов.
Կատեգորիաներ:
Տարի:
2001
Հրատարակչություն:
Невский диалект
Լեզու:
russian
Էջեր:
128
ISBN 10:
5794000805
ISBN 13:
9785794000801
Ֆայլ:
DJVU, 1.75 MB
IPFS:
,
russian, 2001