В 7 классе предмет официально называется Математический практикум. Неофициально спецмат.Темы примерно такие: Рассуждения от противного, Принцип Дирихле, Делимость, Комбинаторика, Биекция, Математическая логика, математическая индукция, графы и т.д.Начала матана (теория множеств) появляется в 8 классе.