English | Russian |
frame-numbering system | система индексации кадров (при электронном видеомонтаже) |
Godel numbering of a formal system | нумерация Гёделя для формальных систем (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе) |