MIPT-ML-20-Sem-13

Математическая логика в МФТИ. Семинар № 13. Темы: следствия принципа Дирихле и их применение -- китайская теорема об остатках; различные формы рекурсии.