MIPT-ML-20-Sem-31

Математическая логика в МФТИ для ПМФ. Семинар № 31. Темы: m-сводимость; разные задачи со сведениями; машины Тьюринга.