-
English
-
Russian
-
English
-
Russian
Denotational
UK
/ˌdiːnəʊˈteɪʃənl/
US
/ˌdinəˈteɪʃənl/
Translation denotational into russian
denotational
Adjective
UK
/ˌdiːnəʊˈteɪʃənl/
US
/ˌdinəˈteɪʃənl/
The denotational meaning of a word is its literal meaning.
Денотативное значение слова - это его буквальное значение.
Definitions
denotational
Adjective
UK
/ˌdiːnəʊˈteɪʃənl/
US
/ˌdinəˈteɪʃənl/
Relating to the explicit or direct meaning of a word or expression, as opposed to its connotations or associated meanings.
The denotational meaning of the word 'rose' is simply a type of flower, without any of the romantic connotations.
Idioms and phrases
denotational semantics
Denotational semantics is a formal method for describing the meaning of programs.
денотационная семантика
Денотационная семантика - это формальный метод описания смысла программ.
denotational theory
The denotational theory provides a mathematical framework for understanding programming languages.
денотационная теория
Денотационная теория предоставляет математическую основу для понимания языков программирования.
denotational approach
The denotational approach is often used in formal verification.
денотационный подход
Денотационный подход часто используется в формальной проверке.
denotational definition
A denotational definition can help clarify the functional behavior of a system.
денотационное определение
Денотационное определение может помочь прояснить функциональное поведение системы.
denotational method
We applied a denotational method to analyze the algorithm's correctness.
денотационный метод
Мы применили денотационный метод для анализа корректности алгоритма.
Examples
In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.
Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками.
Event Structures were first mentioned in the works of G. Kahn and G. Plotkin in connection with their investigation of fundamental questions of denotational semantics.
Впервые Event Structures упоминаются в работах авторов G. Kahn и G. Plotkin в связи с их исследованием фундаментальных вопросов денотационной семантики.
Students select five taught modules from a wide range of advanced topics in computer science from networking and systems measurements to denotational semantics, and from natural language processing to current applications and research in computer security.
Студенты выбирают пять обучаемых модулей из широкого спектра передовых тем в области информатики из сетевых и системных измерений в денотационную семантику и от обработки естественного языка до современных приложений и исследований в области компьютерной безопасности.
The significational, connotational and denotational saturation of writing in Japan augmented by ethical content has a huge impact on the process of a personal self-identification through non-locality mechanisms, initiating one or the other cultural phase in the development of society.
Сигнификационная, коннотационная и денотационная нагруженность письменности в Японии, дополненная этическим содержанием, оказывает огромное влияние на сам процесс самоидентификации личности посредством механизмов нелокальности, инициируя тот или иной культурный этап в развитии общества.
For example, Lee and Sangiovanni-Vincentelli have demonstrated that a so-called "tagged-signal" model can be used to provide a common framework for defining the denotational semantics of a variety of different models of concurrency,[7] while Nielsen, Sassone, and Winskel have demonstrated that category theory can be used to provide a similar unified understanding of different models.[8]
Например, Ли и Санджованни-Винсентелли показали, что так называемую модель «меченых сигналов» можно использовать для создания общей основы для описания денотационной семантики различных моделей параллелизма,[4] а Нильсен, Сассун и Винскль показали, что теория категорий может быть использована для обеспечения единого понимания различных моделей.[5]