- логическая интерпретация
- мат. logical interpretation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ИНТЕРПРЕТАЦИЯ — (от лат. interpretatio истолкование, разъяснение) 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержательного знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и… … Философская энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
ИНТЕРПРЕТАЦИЯ — 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержат, знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и смыслосчитывающая операции, изучаемые в семантике и… … Энциклопедия культурологии
Интерпретация (объяснение) — Интерпретация (лат. interpretatio), истолкование, объяснение, разъяснение. 1) В буквальном понимании термин «И.» употребляется в юриспруденции (например, И. закона адвокатом или судьей ‒ это «перевод» «специальных» выражений, в которых… … Большая советская энциклопедия
интерпретация — 3.3.7 интерпретация (interpretation): Функция, которая возвращает семантику, связанную с каждой переменной. Примечание Данная функция использует среду, которая связывает переменную с соответствующей ей семантикой (и, может быть, с ее возможным… … Словарь-справочник терминов нормативно-технической документации
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
Интерпретация (методология) — У этого термина существуют и другие значения, см. Интерпретация. Интерпретация в математике, логике, методологии науки, теории познания: совокупность значений (смыслов), придаваемых тем или иным способом элементам (выражениям, формулам, символам… … Википедия
Интерпретация — I Интерпретация (лат. interpretatio) истолкование, объяснение, разъяснение. 1) В буквальном понимании термин «И.» употребляется в юриспруденции (например, И. закона адвокатом или судьей это «перевод» «специальных» выражений, в… … Большая советская энциклопедия
интерпретация логическая (семантическая) — Такая форма интерпретации, при которой результаты эксперимента и сама теория оцениваются с точки зрения непротиворечивости, простоты, возможности вхождения в более общую теорию … Словарь лингвистических терминов Т.В. Жеребило
ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений — Терминология ГОСТ Р ИСО 13584 20 2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа: 3.3.1 арность оператора (arity of an operator):… … Словарь-справочник терминов нормативно-технической документации
семантика логическая — раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже… … Словарь терминов логики