10.05.03_1к_2с_2022/2023_Математическая логика и теория алгоритмов