В книге в доступной форме представлено многообразие методов логического анализа: дедуктивные рассуждения, формирование и проверка корректности гипотез, логический анализ в условиях ограничений, абдуктивные заключения. В качестве теоретической основы используются предложенные автором математические системы - E-структуры и алгебра кортежей, позволяющие моделировать различные типы рассуждений и решать логические задачи без применения неклассических логик. В основе книги леит курс лекций, прочитанны...
Рейтинг LiveLib
0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой