Корректность частичная
Корректность частичная (partial correctness) — демонстрация корректности, указывающая на то, что выходные условия утверждения программы логически следуют из входных утверждений и шагов обработки последних. [ГОСТ
Корректность частичная (partial correctness) — демонстрация корректности, указывающая на то, что выходные условия утверждения программы логически следуют из входных утверждений и шагов обработки последних. [ГОСТ
Частота регенерации (refresh rate) — количество воспроизведений изображения, выполняемых за 1 с. [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь] [ГОСТ 27459-87. Системы обработки информации.
Сеть цифровая с комплексными услугами (ISDN, integrated services digital network) — сеть, которая предусматривает сквозные цифровые соединения между оконечными устройствами и обеспечивает предоставление пользователям широкого
Цифра переноса (carry digit) — однозначное число, которое генерируется, когда сумма или произведение в каком-либо цифровом разряде превышает наибольшее число, которое может быть представлено в
Цифра заема (borrow digit) — однозначное число, которое генерируется, когда разность в каком-либо цифровом разряде оказывается арифметически отрицательной и которое переносится для обработки в другую
Вызов циркулярный (conference call) — телеконференцсвязь, при которой участники соединяются посредством телефонных каналов, позволяющий вести интерактивный диалог и, возможно, использовать факс. [ГОСТ 33707-2016. (ISO/IEC 2382:2015)
Цилиндр (cylinder) — совокупность всех дорожек в блоке магнитных дисков, при этом все эти дорожки доступны для всех магнитных головок комба в определенной позиции. [ГОСТ
Переход циклический (wraparound) — функция, которая позволяет автоматически перемещать текст, введенный в конце строки, в начало следующей строки. Примечание. Термины, применяемые при обработке текста (in
Перенос циклический (end-around carry) — перемещение цифры переноса из самого старшего значащего цифрового разряда в самый младший значащий цифровой разряд. [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные
Цикл с проверкой в теле (in-test loop) — схема управления циклом, в которой проверка производится в теле цикла. Пример. Оператор exit в языке Ада. [ГОСТ