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