MIPT-MaTh-25-Lect-sn1

Basics of Mathematical Logic at MIPT. In this lecture: functions and their values; composition; injections, surjections, and bijections.