Аналитико-табличная формализация систем временной логикидиссертация