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