Математическая логика и теория алгоритмов (семинар)., 10.10.20