Предмет математическая логика и дискретная математика. есть примерный тип задач. Срок решения 1-2 часа.