MIPT-ML-20-Sem-12

Мат. логика в МФТИ для ПМФ. Семинар № 12. Темы: полная решетка подмножеств; задание (полу)решетки бинарной операцией; отношения эквивалентности и ядра функций.