- неявное представление
- мат. implicit representation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Орфография английского языка — Орфография английского языка совокупность правил, регламентирующих написание слов английского языка. Английский язык имеет более сложные правила правописания по сравнению с другими языками, что связано со сложной историей формирования… … Википедия
Устройство Даффа — В информатике, Устройство Даффа (англ. Duff s device) это оптимизированная реализация последовательного копирования, использующая ту же технику, что применяется для размотки циклов. Первое описание сделано Томом Даффом (Tom Duff) в… … Википедия
Метод Даффа — В информатике, Метод Даффа (англ. Duff s device) это оптимизированная реализация последовательного копирования, использующая ту же технику, что применяется для размотки циклов. Первое описание сделано в ноябре 1983 года Томом Даффом… … Википедия
UniTesK — (Unified Testing specification toolKit) технология тестирования программного и аппаратного обеспечения на основе формальных спецификаций, разработанная в Институте системного программирования РАН. Технология представляет собой сочетание хорошо… … Википедия
Технология UniTESK — Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка. Статью следует исправить согласно стилистическим правилам Википедии. UniTESK (Unified Testing specification toolKit) технология тестировани … Википедия
UniTESK — (Unified Testing specification toolKit) технология тестирования программного и аппаратного обеспечения на основе формальных спецификаций, разработанная в Институте системного программирования РАН. Технология представляет собой сочетание хорошо… … Википедия
ИНТЕРПРЕТАЦИЯ — 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержат, знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и смыслосчитывающая операции, изучаемые в семантике и… … Энциклопедия культурологии
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
ЗНАНИЕ — результат процесса познания, обычно выраженный в языке или в к. л. знаковой форме. Стремление понять, что такое З. и чем оно отличается от др. продуктов человеческого сознания, характерно уже для философов античности, которые поставили и пытались … Философская энциклопедия
ГОСТ 28397-89: Языки программирования. Термины и определения — Терминология ГОСТ 28397 89: Языки программирования. Термины и определения оригинал документа: 38. Автоматическое распределение памяти Automatic storage allocation Выделение памяти при входе в программный блок для локальных переменных и ее… … Словарь-справочник терминов нормативно-технической документации
ФИЛОСОФИЯ — (от греч. phileo люблю, sophia мудрость, philosophia любовь к мудрости) особая форма общественного сознания и познания мира, вырабатывающая систему знаний о фундаментальных принципах и основах человеческого бытия, о наиболее общих сущностных… … Философская энциклопедия