Типы данных и множества: основы теории