корректность

  • 31Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …

    Википедия

  • 32РАЗНОСТНЫХ СХЕМ ТЕОРИЯ — раздел вычислительной математики, изучающий методы приближенного решения дифференциальных уравнений путем их замены конечноразностными уравнениями (р а з н о с т н ы м и с х е м а м и). Р. с. т. изучает способы построения разностных схем,… …

    Математическая энциклопедия

  • 33СМЕШАННАЯ И КРАЕВАЯ ЗАДАЧИ ДЛЯ ГИПЕРБОЛИЧЕСКИХ УРАВНЕНИЙ И СИСТЕМ — задачи отыскания решений уравнений и систем с частными производными гиперболич. типа, удовлетворяющих на границе области их задания (или ее части) определенным условиям (см. Краевые условия, Начальные условия). Краевая задача для гиперболич.… …

    Математическая энциклопедия

  • 34DSA — DSA, Digital Signature Algorithm Создатель: NIST Создан: 1991 год Опубликован: 1994 год Размер ключа: закрытый: 160 256 бит, открытый: 1024 3072 бит Размер подписи: два числа по 160 256 бит Эта статья включает описан …

    Википедия

  • 35Политкорректность — Часть серии статей о дискриминации Основные формы Расизм  · Сексизм  · Ксенофобия  · …

    Википедия

  • 36вежливость — См …

    Словарь синонимов

  • 37интегрированная информационная среда — 3.2.1. интегрированная информационная среда ; ИИС: Совокупность распределенных баз данных, содержащих сведения об изделиях, производственной среде, ресурсах и процессах предприятия, обеспечивающая корректность, актуальность, сохранность и… …

    Словарь-справочник терминов нормативно-технической документации

  • 38Гамма-алгоритм — Гамма алгоритм  алгоритм плоской укладки графа и проверки его на планарность. Содержание 1 Определения 2 Алгоритм 3 Реализация …

    Википедия

  • 39галантность — тактичность, предупредительность, деликатность, светскость, учтивость, корректность, изысканность, уважительность, обходительность, вежливость, любезность Словарь русских синонимов. галантность см. вежливость Словарь синонимов русского языка …

    Словарь синонимов

  • 40любезность — См. приятный обменяться любезностями... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. любезность приятный; уважительность, вежливость, галантность, ласковость, приветливость,… …

    Словарь синонимов