MIPT-ML-20-Lect-04

Мат. логика в МФТИ. Темы: упорядоченная пара множеств, декартово произведение, декартова степень, наборы множеств, бинарное отношение -- его поле, области определения и значений, диаграмма бинарного отношения.