Логика и множества: основы и примеры