Гашков С. Б. - все книги автора. Издательство Лань

В первой части дается введение в теорию алгоритмов (часто называемую также теорией вычислимых функций или просто теорией вычислимости). Намечаются разные варианты её построения, основанные на использовании теории рекурсивных функций, машин Тьюринга, Поста и Минского, бесконечного абака, алгорифмов Маркова и экзотического языка Фрактран, предложенного Конвеем. Приводятся классические примеры алгоритмически неразрешимых проблем. Во второй части излагаются основы теории NP-полных задач. Доказывается NP-полнота ряда классических комбинаторных проблем переборного характера, таких как проблема выполнимости логических формул, проблемы коммивояжера, упаковки рюкзака, размена монет, поиска минимального покрытия и максимальной клики и др. Рассматриваются точные и приближенные алгоритмы для решения этих задач.
В конце каждой части приводится список задач, дополняющих ее содержание. К некоторым из них даны указания к решению.
В основу книги положен семестровый курс, читавшийся автором на факультете математики и компьютерных наук Бакинского филиала МГУ им. М. В. Ломоносова.

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