Представлены теоретические сведения и задания для организации практических занятий по курсу «Математические основы программирования». Кроме раздела математической логики, включающей алгебру высказываний и предикатов, пособие содержит разделы по конечным автоматам, числовым системам, анализу сложности алгоритмов и алгоритмическим стратегиям. Для подготовки студентов очной и заочной форм обучения по программе направления подготовки «Информационные системы и технологии».