Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств