MIPT-ML-20-Lect-06

Мат. логика в МФТИ. Темы: частичные функции и функции; их значения; критерий равенства (частичных) функций; ограничение функции на множество; инъекции, сюръекции и биекции; критерий биективности отношения; равномощность множеств; множества \N^2 и \N равномощны; характеристическая функция подмножества; равномощность множеств 2^A и степени множества A; тождества в смысле равномощности; каррирование.