| Subject | Russian | English |
| progr. | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| math., appl.math. | дискретное вмешательство случая | discrete interference of events |
| progr. | дискретный случай | discrete case (противопоставляется случаю непрерывного времени (continuous time case); см. напр., Control system design by Graham C. Goodwin et al. (2000) ssn) |
| progr. | случай дискретно-косинусного преобразования Фурье чётной функции, содержащего только косинусоидальные члены | DCT (сокр. от Discrete Cosine Transformation ssn) |
| progr. | случай дискретно-косинусного преобразования Фурье чётной функции, содержащего только косинусоидальные члены | Discrete Cosine Transformation (см. ГОСТ Р 54456-2011 ssn) |
