Степанов И.Д. Математическая логика и теория алгоритмов, Лекция 11, 14.11.20