Автором учебного пособия, посвященного изложению математической логики и теории алгоритмов, является профессор Омского государственного университета, доктор физико-математических наук в области геометрии и топологии. Лекции, которые он читает студентам второго курса факультета компьютерных наук, составляют основу книги. Читатель познакомится с классической логикой, методом резолюций, формальными исчислениями, формальной арифметикой, принципами логического программирования, нечеткой логикой и нечеткой арифметикой, модальными, временными и алгоритмическими логиками. Приводены семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даны представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Рекомендовано для студентов, обучающихся по специальностям «Компьютерная безопасность» и «Вычислительные машины, комплексы, системы и сети».

9,634 просмотров всего, 1 просмотров сегодня