Т. А. Сливина математическая логика и теория алгоритмов

Федеральное агентство по образованию
Сибирский государственный аэрокосмический университет
имени академика М. Ф. Решетнева
Т. А. Сливина


МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ


Допущено Учебно-методическим объединением вузов
по университетскому политехническому образованию
в качестве учебного пособия для студентов высших учебных
заведений, обучающихся по направлению 230100 «Информатика
и вычислительная техника», специальности 230102 «Автоматизированные системы обработки информации и управления»

Красноярск 2009

УДК 510
ББК 22.174
С 47

Рецензенты:

доктор физико-математических наук, профессор В.М. Осипов;
(Красноярский институт цветных металлов и золота
Сибирского федерального университета);
доктор технических наук, профессор В.В. Матюшев
(Красноярский государственный аграрный университет);
кандидат технических наук, доцент В.А. Крищенко
(Московский государственный технический
университет им. Н.Э. Баумана)


Сливина, Т. А.
С 47 Математическая логика и теория алгоритмов: учебное пособие / Т. А. Сливина; СибГАУ. – Красноярск, 2009. – 104 с.

В учебном пособии рассмотрено исчисление высказываний, вопросы, связанные с логикой высказываний и предикатов, а также теорией алгоритмов. Приведено много примеров, вопросов и упражнений для закрепления материала. Представленные в пособии теоремы сопровождаются доказательствами.

Предназначено для студентов специальностей: 090105 «Комплексное обеспечение информационной безопасности автоматизированных систем», 230102 – «Автоматизированные системы обработки информации и управления».


УДК 510
ББК 22.174

© Сибирский государственный аэрокосмический

университет имени академика М. Ф. Решетнева, 2009
© Т. А. Сливина, 2009

ОГЛАВЛЕНИЕ

Предисловие 5