Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам втoporo курса отделения компьютерных наук Омского государственноrо университета в 2002 rоду.