Реестровая запись: ЭЛ № ФС77-79395 от 02.11.2020 ISSN: 2782-1528 DOI 10.34660/c0727-6092-6372-a
Форма управления с промежуточной проверкой (Management form with intermediate verification ) — базовая операция типа, определяющая ветвление управления в программе без окончательного вычисления логических выражений
Язык формальный (formal language) — язык, представленный алфавитом с ограниченным набором графических знаков, порождающей или распознающей грамматиками и снабженный правилами понимания текстов и количественными ограничениями.
Программирование функциональное (functional programming) — планирование работы ВМ в единообразном виде суперпозиции функций. Данные для функциональной программы образуют поток для обработки. [Словарь понятий по информатике от
Тип фиксированный (fixed point type) — вещественный тип с заданной абсолютной погрешностью данных, которая определяется положительной дельтой — вещественным числом (размером интервала между двумя соседними
Операция унарная (unary operation) — операция над одним операндом (одноместная операция). Бывает префиксная (- А) и суффиксная (А!) У.о. [Словарь понятий по информатике от Т
Управление программным проектом (program project control) — метод информатики, включающий способы определения метрик и нормативов программирования, обнаружения узких мест (критических путей) разработок, планирования материальных, людских
Унификация (unification) – Приведение предметов к единообразию или к единым формам или нормам. В машинах логического вывода У. — это операция приведения исходного логического уравнения к
Алгоритм универсальный (universal algorithm) — алгоритм, который перерабатывает запись заданного алгоритма и исходных данных в результат применения заданного алгоритма к указанным исходным данным. [Словарь понятий
Универсальность (versatility) — свойство предмета, явления или процесса применяться в широком диапазоне условий. [Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа: http://
Умозаключение — форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение-заключение. [Словарь понятий по информатике от Т до