MIPT-ML-23-Lect-sn1

Математическая логика в МФТИ для ИВТ. Темы: принцип Дирихле и его следствия; мощность конечного множества; рекурсия в различных формах; подмножества счетного множества.