верификация

  • 181Доказательное программирование — использовавшаяся в 1980 х годах в академических кругах технология разработки программ для ЭВМ с доказательствами правильности доказательствами отсутствия ошибок в программах (понимая, в рамках данной теории, ошибки как несоответствия между… …

    Википедия

  • 182подтверждение — См …

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

  • 183проверка — См …

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

  • 184свидетельство — Показание (свидетельское), удостоверение; аттестат, билет, патент, паспорт, документ, бумага, акт. Вызван в суд для дачи показания. Аттестат зрелости. Свидетельство о бедности. Он взял патент на свое изобретение. Волчий билет (волчий аттестат).… …

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

  • 185сличение — См …

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

  • 186истина —         ИСТИНА категория философии и культуры, обозначающая идеал знания и способ его достижения (обоснования). Это ценностно теоретическое понятие, предполагающее, с одной стороны, рефлексивно конструктивную разработку критериев совершенства и… …

    Энциклопедия эпистемологии и философии науки

  • 187Cadence Design Systems — Тип …

    Википедия

  • 188Cognitive Forms — Тип Прикладное программное обеспечение Разработчик Cognitive Technologies Операционная система Microsoft Windows, Unix like Лицензия Проприетарная Сайт …

    Википедия

  • 189RSASSA-PSS — (RSA Signature Scheme with Appendix Probabilistic Signature Scheme) асимметричный алгоритм цифровой подписи. Основан на принципе кодирования PSS, предложенном в 1996 году авторами Mihir Bellare и Phillip Rogaway[1]. Внесён в стандарт PKCS#1 v2.1… …

    Википедия

  • 190Rainforest Alliance — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/16 ноября 2012. Пока процесс обсуждени …

    Википедия

  • 191SFLASH — SFLASH  асимметричный алгоритм цифровой подписи рекомендованный проектом NESSIE European в 2003 году. SFLASH основан на Matsumoto Imai(MI) схеме, так же называемой C*. Алгоритм принадлежит к семейству многомерных схем с открытым ключом, то… …

    Википедия

  • 192ДИСКУРСИВНЫЕ ЭПИСТЕМИЧЕСКИЕ ТРАНСФОРМАЦИИ — трансформации, которым подвергаются в разных дискурсивных сферах основные эпистемические сущности (знание, мнение, вера, факт) и процедуры (верификация, истинностная оценка и т.п.). Содержательная специфика и степень значимости основных… …

    Социология: Энциклопедия

  • 193МИФ — (от греч. mythos слово, повествование, предание) специфический, свойственный прежде всего архаической эпохе человечества, способ функционирования мировоззренческих конструктов, при котором условные и логически недоказуемые умозрительные феномены… …

    Социология: Энциклопедия

  • 194ПОППЕР Карл Раймунд (1902-1994) — британский философ, логик и социолог. До 1937 работал в Вене, с 1946 до середины 1970 х профессор Лондонской школы экономики и политических наук. Автор и представитель школы критического рационализма попытки конструктивного теоретического… …

    История Философии: Энциклопедия

  • 195Логистика — (Logistics) Определения логистики, история логистики, логистические системы Цель и обьект логистики, проблемы логистики, виды логических систем, основные задачи логистики, экономический эффект от использования логистики Содержание Содержание… …

    Энциклопедия инвестора

  • 196Марсель Габриэль — Христианский неосократизм Защита конкретного     В предисловии к «Таинству бытия» (1951) Габриэль Марсель назвал свою философскую позицию неосократизмом. И в самом деле, неустанную борьбу против духа абстрактности можно считать константой его… …

    Западная философия от истоков до наших дней

  • 197проверка (подлинности) — верификация Процесс сопоставления субъекта с заявленными о нем сведениями. В частности процедура сравнения подписи, созданной с помощью частного ключа, с соответсвующим открытым ключом. [http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=5048] …

    Справочник технического переводчика

  • 198валидация манекена — 3.8 валидация манекена (manikin validation): Подтверждение посредством измерения точности компьютерного манекена того, что требования, предназначенные для конкретного использования или применения, выполнены. Примечание Определение точности… …

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

  • 199маркерные точки размеров — 3.5 маркерные точки размеров (measurement landmarks): Точки, расположенные на поверхности тела человека или на компьютерном манекене, используемые для определения размеров расстояний или перемещений. Источник …

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

  • 200печать — 2.1 печать: Устройство, содержащее клише печати для нанесения оттисков на бумагу. Источник: ГОСТ Р 51511 2001: Печати с воспроизведением Государственного герба Российской Федера …

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