Abstract (ukr):
У статті запропоновано математичний апарат для формалізованого опису просторово-
часового положення (ПЧП) космічних апаратів (КА), які функціонують в орбітальному польоті, з
метою їх автоматизованого вибору для оперативного і достовірного вирішення певних цільових
завдань. В основу опису покладено окремі поняття теорії орбітального руху КА, математичний
апарат теорії множин та алгебри логіки, а також статистичні дані щодо щільності розподілу
КА у навколоземному космічному просторі за окремими орбітальними параметрами.