MIPT-ML-20-Sem-14

Математическая логика в МФТИ для ПМФ. Семинар № 14. Темы: различные формы рекурсии; применение к рекуррентной последовательности; объединение и разность бесконечного и конечного или счетного множества; принцип зависимого выбора следует из аксиомы выбора.