断言迹集合
_
assertion trace set
пословный:
断言 | 迹 | 集合 | |
1) след, отпечаток
2) следы (напр., деятельности), черты, признаки; остатки; памятники
3) идти по следам, преследовать
|
1) собирать, сосредоточивать; собираться, сосредоточиваться; накапливаться; составной, сложный, собирательный, общий
2) соединение; состав, смесь; соединённый; совместный
3) мат. совокупность, множество
|