Для автоматизации устного счета, рекомендую Нефедову Узорову, есть у них такие тоненькие сборнички "3000 примеров по математике (и тип примеров, там разные есть и в том числе счет до 20)" серия называется "Как научиться быстро считать" У нас тоже Петерсон, соглашусь для закрепления очень мало дается заданийЗадачи все по тем же авторам закрепляем зелененький такой сборник "2518 задач по математике"