Математическая логика и теория алгоритмов: учебное пособие