Математическая логика, теория алгоритмов и сложность вычислений. Лекция 12 (24.5.2022)