В книге А.В.Ганичева "Теория логического вывода" рассматриваются вопросы, связанные с теорией логического вывода: историа, аксиоматический метод Д.Гильберта, теория логического вывода на основе исчисления высказываний, методы логического вывода по нечеткой информации.
Предназначено данное издание преимущественно для студентов направления "Информатика и вычислительна техника" и других специальностей математических факультетов. Кроме того, пособие может быть полезно для аспирантов, магистрантов, преподавателей, специалистов смежные областей деятельности.
В работе рассматриваются различные аспекты логического вывода (в общем виде), касающиеся истории науки, исследования в её приложении к различным дисциплинам и так далее. Автор затрагивает такие теоретические вопросы, особенности их решения и применения в целом, таким образом информация будет полезна и интересна любому человеку, желающему расширить свой кругозор и узнать что-то новое в области математики и информатики в частности. Прекрасно подойдёт для всех интересующихся научными аспектами данных направлений, включая студентов, исследователей и продвинутых пользователей.
Электронная Книга «Теория логического вывода» написана автором А. В. Ганичева в году.
Минимальный возраст читателя: 0
Язык: Русский
ISBN: 978-5-8114-7284-0
Описание книги от А. В. Ганичева
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
