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

Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году. Для студентов, обучающихся по специальностям 075200 - «Компьютерная безопасность» и по специальности 220100 - «Вычислительные машины, комплексы, системы и сети».