Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов» приведены примеры решения типовых задач представлены задачи различной сложности для решения на практических занятиях и самостоятельной работы. Предназначено для студентов направления 09.03.02 «Информационные системы и технологии» а также других направлений (09.03.04 «Программная инженерия» 27.03.03 «Системный анализ и управление» 27.03.04 «Управление в технических системах»).