Читать онлайн «Математическая логика. Дискретные функции. Теория алгоритмов»

М. М. ГЛУХОВ, А. Б. ШИШКОВ МАТЕМАТИЧЕСКАЯ ЛОГИКА ДИСКРЕТНЫЕ ФУНКЦИИ ТЕОРИЯ АЛГОРИТМОВ РЕКОМЕНДОВАНО УМО вузов России по образованию в области информационной безопасности в качестве учебного пособия для студентов вузов, обучающихся по направлению подготовки (специальности) 090301 — «Компьютерная безопасность» и 090303 — «Информационная безопасность автоматизированных систем» САНКТПЕТЕРБУРГ•МОСКВА•КРАСНОДАР 2012 ББК 22. 176я73 Г 55 Глухов М. М. , Шишков А. Б. Г 55 Математическая логика. Дискретные функции. Теория алгоритмов: Учебное пособие. — СПб. : Изда тельство «Лань», 2012. — 416 с. : ил. — (Учебники для вузов. Специальная литература). ISBN 9785811413447 Учебное пособие содержит полное изложение материала учеб ных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стан дарта высшего профессионального образования по специальностям и направлениям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным специальностям. Пособие состоит из трех взаимосвязанных частей, представ ляющих основы математической логики, теории дискретных функ ций и теории алгоритмов. Предназначено для студентов вузов, обучающихся по специаль ностям и направлениям в области информационной безопасности, а также для аспирантов и студентов вузов других технических спе циальностей и направлений, изучающих дискретную математику. ББК 22. 176я73 Рецензенты: В. Б. АЛЕКСЕЕВ — доктор физикоматематических наук, профес сор, зав. кафедрой математической кибернетики факультета ВМК Московского государственного университета им. М. И. Ломоносова; В. П. ЗЯЗИН — кандидат физикоматематических наук, профес сор кафедры информационной безопасности Московского государ ственного технического университета радиотехники, электроники и автоматики. Обложка Е. А. ВЛАСОВА Охраняется законом РФ об авторском праве. Воспроизведение всей книги или любой ее части запрещается без письменного разрешения издателя. Любые попытки нарушения закона будут преследоваться в судебном порядке. © Издательство «Лань», 2012 © М. М. Глухов, А. Б. Шишков, 2012 © Издательство «Лань», художественное оформление, 2012  ПРЕДИСЛОВИЕ Данное учебное пособие состоит из трех взаимосвязан- ных частей, составляющих соответственно основы математи- ческой логики, дискретных функций и теории алгоритмов. По- собие содержит систематическое изложение учебного матери- ала по математической логике, теории алгоритмов и дискрет- ным функциям, изучаемого в цикле математических дисци- плин по различным специальностям в области информацион- ной безопасности.