KUMON - не обязательно для отстающих (я видела 10-летнего китайца, занимавшегося по Кумону калкулюсом). Но - базируется на drills, далеко не всякому ребенку нужно (и безопасно) такое давать.
Из доступных в Штатах учебников Singapore Math - пожалуй, самый разумный, нацелен на понимание, а не на зубрежку. Но drills и стандартных упражнений там все-таки многовато (азия-с!), и до до Петерсон, по-моему, ему далеко. То есть если с языковой точки зрения все будет нормально - лучше бы взяться за Петерсон. Ну или вообще сосредоточиться на "олимпиадном" типе задачек, на занимательных книжках и вебсайтах... Например, вот в этом
ливжурнале - много ссылок на ресурсы для младших школьников.
Если все-таки хочется дублировать школьную программу, присмотритесь к
EPGY - там для начальных классов много тем про множества и прочие штуки, которые в стандартных программах не проходят. Ну, и программа у них нацелена на gifted детей, так что заведомо материал дается "со смыслом", а не как "bag of facts"/ Там дорого, но оно в общем-то того стоит... Есть еще [img=http://cty.jhu.edu/ctyonline/courses.html]CTY[/img] - раньше они использовали EPGY-ные диски для младших классов; сейчас не знаю. Пожалуй, поступить в EPGY из Англии будет проще.
В принципе - если особо выходить за пределы школьной программы ни к чему, и с деньгами не очень свободно, - можно еще попробовать систему
ALEKS - там лекций нет, просто текстовые объяснения каждой темы и задачи (так что может показаться более "сухо"). Но сама система построена на теории "knowledge spaces" и позволяет обойтись без "спиральности" и бесконечного повторения, а дает студенту на выбор те темы, к изучению которых он уже готов.