Математическая логика и теория алгоритмов вариант - 1 ТУСУР выполнено по методическому пособию Зюзьков В. М.