Лекции / Нов верстка / Титул_Кожухов

Министерство образования и науки Российской Федерации

Московский государственный институт электронной техники

(технический университет)

______________________________________________________________

И.Б. Кожухов

Математическая логика и теория алгоритмов

Учебное пособие

Утверждено редакционно-издательским советом института

Москва 2004

ББК 22.12я73

К58

УДК [510.5:510.6] (075.8)

Рецензенты: докт. физ.-мат. наук, проф. В.А. Артамонов;

канд. физ.-мат. наук В.А. Гринблат

Кожухов И.Б.

К58        Математическая логика и теория алгоритмов: Учебное пособие. - М.: МИЭТ, 2004. - 148 с.

ISBN 5-7256-0368-7

Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алгоритмов (машины Тьюринга и вычислительные функции), а также основания теории множеств. Рассматриваются вопросы полноты и непротиворечивости аксиоматических систем, алгоритмической разрешимости или неразрешимости математических задач и т.д. Имеется большое число упражнений, часть из которых снабжена решением. От читателя требуется знание операций над высказываниями и теории булевых функций, а также умение обращаться с основными алгебраическими системами: группами, кольцами, полями.

Предназначено для студентов технических вузов.

ISBN 5-7256-0368-7  МИЭТ, 2004

Учебное пособие

Кожухов Игорь Борисович

Математическая логика и теория алгоритмов

Редактор Е.Г. Кузнецова. Технический редактор Е.Н. Романова. Корректор Л.Г. Лосякова

Подписано в печать с оригинал-макета . Формат 60x84 1/16. Печать офсетная. Бумага офсетная. Гарнитура Times New Roman. Усл. печ. л. 8,6. Уч.-изд. л. 7,4. Тираж 150 экз. Заказ .

Отпечатано в типографии ИПК МИЭТ.

124498, Москва, Зеленоград, проезд 4806, д. 5, МИЭТ.