соответствие типов

  • 61Ada — У этого термина существуют и другие значения, см. Ада. Ада Семантика: мультипарадигменный: конкурентное, обобщённое, императивное, объектно ориентированное, распределённое, программирование Тип исполнения: компилируемый Появился в …

    Википедия

  • 62Инфраструктура — (Infrastructure) Инфраструктура это комплекс взаимосвязанных обслуживающих структур или объектов Транспортная, социальная, дорожная, рыночная, инновационная инфраструктуры, их развитие и элементы Содержание >>>>>>>> …

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

  • 63Модернизация — (Modernization) Модернизация это процесс изменения чего либо в соответствии с требованиями современности, переход к более совершенным условиям, с помощью ввода разных новых обновлений Теория модернизации, типы модернизации, органическая… …

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

  • 64маркировка — 3.4 маркировка (mark): Юридически зарегистрированный товарный знак или защищенный иным образом символ, который выпускается по правилам органа аккредитации или органа сертификации, указывающий на то, что орган достаточно уверен в системах или что… …

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

  • 65ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… …

    Философская энциклопедия

  • 66ГЕОМЕТРИИ ОБЗОР — Геометрия раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. Предполагается, что читатель, приступая к чтению этой статьи, обладает некоторыми… …

    Энциклопедия Кольера

  • 67КВАДРАТИЧНАЯ ФОРМА — над коммутативным люльцом с единицей однородный многочлен от n=n(q)переменных с коэффициентами Обычно R это поле С, R или Q, либо кольцо Z, кольцо целых элементов алгебраич. числового поля, а также их пополнения по неархимедовым нормам.… …

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

  • 68Системы типизации — в достаточной степени развиты в современных языках программирования и отражают общую технику использования объектов. При этом считается, что имеется две системы объектов, причем элементам одной из них ставятся в соответствие элементы другой. В… …

    Википедия

  • 69ЕСТЕСТВЕННОЕ ПРАВО — одна из наиболее устойчивых концепций философии права, заключающаяся в возведении конкретных правовых норм к совокупности закономерностей либо принципов, наделяемых качествами объективности, всеобщности, безграничности сферы и сроков действия.… …

    Современный философский словарь

  • 70Дополнительная — изоляция Независимая изоляция, предусмотренная дополнительно к основной для защиты от поражения электрическим током в случае повреждения основной изоляции. Источник …

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