Terms containing time logic

Subject	English	Russian
progr.	alternating-time temporal logic	логика альтернированного времени (ssn)
progr.	branching-time logic	логика ветвящегося времени (ssn)
progr.	Combinational logic circuits, described earlier, have the property that the output of a logic block is only a function of the current input values, assuming that enough time has elapsed for the logic gates to settle	как обсуждалось ранее, комбинационные логические схемы обладают следующим свойством: выход логического блока является функцией только текущих входных значений, при этом предполагается, что прошло достаточно времени для установления режима логического элемента (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn)
progr.	linear-time logic	логика линейного времени (ssn)
progr.	linear time logic	логика линейного времени (ssn)
IT	one record at a time logic	логика "одна запись в каждый данный момент" (способ обработки набора данных, при котором записи обрабатываются в порядке их считывания независимо одна от другой)
tech.	one-shot time logic	логическая схема с реле времени на один импульс
progr.	real-time temporal logic	темпоральная логика реального времени (ssn)
tech.	single-pulse time logic	логическая схема с реле времени на один импульс
tech.	time delay engine cooldown logic card	логическая карта временной задержки на остывание двигателя
comp.	time logic	временная логика