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