-
1 формализованный
Большой русско-немецкий полетехнический словарь > формализованный
-
2 формализованный
adjeng. formalisiert -
3 формализованный
Немецко-русский и русско-немецкий словарь деловой и банковской лексики > формализованный
-
4 формализованный
-
5 формализованный язык
Большой русско-немецкий полетехнический словарь > формализованный язык
-
6 формализованный язык
Универсальный русско-немецкий словарь > формализованный язык
-
7 формализованный язык
Russian-german polytechnic dictionary > формализованный язык
-
8 formalisiert
формализованный -
9 информационно-поисковый язык
- Informationsrecherchesprache Е- Information retrieval language, indexing language F. Langage documentaire
- Informationsrecherchesprache
информационно-поисковый язык
ИПЯ
Формализованный искусственный язык, предназначенный для индексирования документов, информационных запросов и описания фактов с целью последующего хранения и поиска.
[ГОСТ 7.74-96]
информационно-поисковый язык
Искусственный язык, предназначенный для записи и поиска информации в информационно-поисковой системе. Он обычно состоит из словаря (тезауруса) и грамматики различной сложности. Есть языки без грамматики (коды), а есть с весьма развитой грамматикой, имеющей разнообразные средства выражения отношений между словами (дескрипторами), что приближает ИПЯ к естественному.
[ http://slovar-lopatnikov.ru/]Тематики
Синонимы
EN
DE
36. Информационно-поисковый язык
ипя
D. Informationsrecherchesprache Е- Information retrieval language, indexing language F. Langage documentaire
Язык, предназначенный для выражения содержания документов или запросов или описания фактов с целью последующего поиска
Источник: ГОСТ 7.27-80: Система стандартов по информации, библиотечному и издательскому делу. Научно-информационная деятельность. Основные термины и определения оригинал документа
Русско-немецкий словарь нормативно-технической терминологии > информационно-поисковый язык
См. также в других словарях:
формализованный — прил., кол во синонимов: 1 • формализированный (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
формализованный язык — ФОРМАЛИЗОВАННЫЙ ЯЗЫК искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в… … Энциклопедия эпистемологии и философии науки
формализованный метод — формальный метод — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы формальный метод EN formal approach … Справочник технического переводчика
формализованный язык для систем моделирования — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN simulation languageSIMULA … Справочник технического переводчика
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия
Формализованный язык — В широком смысле любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис формализованного языка) и приписывания этим выражениям определённого… … Википедия
формализованный — формализ ованный; кратк. форма ан, ана … Русский орфографический словарь
формализованный — прич.; кр.ф. формализо/ван, формализо/вана, вано, ваны … Орфографический словарь русского языка
формализованный — форм/ал/из/ова/нн/ый … Морфемно-орфографический словарь
Формализованный язык — 1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого… … Большая советская энциклопедия
ФОРМАЛИЗОВАННЫЙ МЕТОД РАСЧЕТА — способ действий, основанный на строгом соблюдении заранее заданных правил, алгоритмов, расчет по формулам, математическим зависимостям … Энциклопедический словарь экономики и права