Английский - русский
Перевод слова Semantics

Перевод semantics с английского на русский

с примерами в контексте

Все варианты переводов:
Примеры:
Семантика (примеров 77)
Proof-theoretic semantics associates the meaning of propositions with the roles that they can play in inferences. Теоретико-доказательная семантика связывает смысл утверждений с ролями, которые они играют в рассуждении.
This is the semantics of remote promises in E. potentially, the access could succeed if the future is already resolved, but signal an error if it is not. Это семантика удалённых promise в E. теоретически возможна такая ситуация, что доступ будет получен, если future разрешён, а иначе будет вызвана ошибка.
Write-once semantics in streaming production precludes the use of ''. Семантика однократной записи при потоковой работе не позволяет использовать.
He developed a semantics of intuitionistic logic based on Husserl's phenomenology, and this semantics was used by Arend Heyting in his own formalization. Он разработал семантику интуиционистской логики на основе гуссерлевской феноменологии, и эта семантика впоследствии была использована Арендом Гейтингом для развития собственного подхода.
Model-theoretic semantics provides the foundations for an approach to the theory of meaning known as Truth-conditional semantics, which was pioneered by Donald Davidson. На модельно-теоретической семантике основан подход в теории смысла под названием семантика условной Истины, который впервые был предложен Дональдом Девидсоном.
Больше примеров...
Пустые слова (примеров 2)
It's all semantics to you, right? Для тебя это пустые слова, да?
Do you really want to be wasting time on semantics? Да. Ты правда хочешь тратить время на пустые слова?
Больше примеров...
Семантик (примеров 2)
The obtained model of modification predicate query are considered, as one of its independent semantics, which are being interpreted as classes of arrows. Полученная модель модификационного предикатного запроса рассматривается, как один из видов его целенезависимых семантик, которые интерпретируются как классы стрелок.
During the same month the UML Partners formed a Semantics Task Force, chaired by Cris Kobryn, to finalize the semantics of the specification and integrate it with other standardization efforts. В том же месяце UML Partners сформировали рабочую группу по семантике (Semantics Task Force), под руководством Криса Кобрина, для завершения семантик спецификации и интеграции в подготовленную к стандартизации спецификацию.
Больше примеров...