MIPT-ML-24-Sem-sn2

Математическая логика в МФТИ для ИВТ. Семинар: отношения эквивалентности; счетные и конечные множества.