В книге А.В.Ганичева "Теория логического вывода" рассматриваются вопросы, связанные с теорией логического вывода: историа, аксиоматический метод Д.Гильберта, теория логического вывода на основе исчисления высказываний, методы логического вывода по нечеткой информации.
Предназначено данное издание преимущественно для студентов направления "Информатика и вычислительна техника" и других специальностей математических факультетов. Кроме того, пособие может быть полезно для аспирантов, магистрантов, преподавателей, специалистов смежные областей деятельности.
В работе рассматриваются различные аспекты логического вывода (в общем виде), касающиеся истории науки, исследования в её приложении к различным дисциплинам и так далее. Автор затрагивает такие теоретические вопросы, особенности их решения и применения в целом, таким образом информация будет полезна и интересна любому человеку, желающему расширить свой кругозор и узнать что-то новое в области математики и информатики в частности. Прекрасно подойдёт для всех интересующихся научными аспектами данных направлений, включая студентов, исследователей и продвинутых пользователей.
#учебники и пособия для вузов