А задачи олимпиалы брать к школьному учебнику или к ОКА?
ОКА это что имеется ввиду? "Общий курс астрономии" Засова, Кононовича и Мороза? В нем, по-моему, задач как таковых нет.
Если в Вашем варианте школьного учебника есть задачи, то начать, конечно, лучше с них, т.к. они попроще. А затем уже можно попробовать более сложные - олимпиадные.
При этом олимпиадные задачи тоже имеют разный уровень сложности. Во-первых, для 9-х и более младших классов задачи, естественно, более простые, чем для 10-11-ых классов. Во-вторых, олимпиады имеют разный уровень организации: муниципальный, областной, всероссийский и т.д. вплоть до международного. Соответственно, вдоль всей этой цепочки происходит усложнение предлагаемых заданий.
У Воронцова-Вельяминова вроде самые вменяемые задачники.
Ну, там просто чисто классические советские задачи: "дано это и то то, посчитать вот это". Современные олимпиадные задания более разнообразные и творческие, там иногда и считать то особенного ничего не надо, надо просто немного мозгами раскинуть и уловить суть задания.
Буду искать где купить.
Воронцов-Вельяминов, думаю, уже оцифрован давно. Можно просто скачать с какого-нибудь сайта.