Учебно-методическое пособие по дисциплине «Математическая логика и теория алгоритмов» для студентов технических направлений и специальностей