| In contrast to description logic based ontology formalism the semantics of F-logic are normally that of a closed world assumption as opposed to DL's open world assumption. | В отличие от формализма дескриптивной онтологии, семантика F-логики совместима с гипотезой замкнутого мира. |
| Anyway, we are looking forward to other language innovations, such as lambda expressions, rvalue references and move semantics, generalized constant expressions, etc. | Ну а мы с нетерпением будем ждать других нововведений в язык, таких как лямбда-выражения, семантика переноса и rvalue-ссылки, обобщенные константные выражения и др. |
| Horowitz teaches a class at the University of Toronto entitled The Spirit of Democratic Citizenship which revolves around general semantics, a non-Aristotelian educational discipline first theorized by Polish engineer Alfred Korzybski. | Горовиц преподает спецкурс «The Spirit of Democratic Citizenship» (Дух демократического гражданства) в Университете Торонто, в рамках которого рассматривается общая семантика - неаристотелевская образовательная дисциплина, впервые разработанная польским инженером Альфред Коржибски. |
| However, by at least one line of argument, truth-conditional semantics seems to be able to capture the meaning of belief-sentences like "Frank believes that the Red Sox will win the next game" by appealing to propositional attitudes. | Однако, существует предположение, что при их помощи семантика явления-условия всё же сможет зафиксировать смысл предложения, выражающего чьё-либо мнение, такого как «Фрэнк считает, что Ред Сокс победят в следующей игре». |
| Like TCP, BSP's semantics and operation were in terms of bytes; this was discarded in favour of packets for the equivalent protocol in XNS, Sequenced Packet Protocol. | Подобно ТСР, семантика BSP основывалась на байтах; в более позднем XNS в соответствующем протоколе (Sequenced Packet Protocol) это было заменено на пакеты. |
| Agreed semantics should extend across the different disciplines that need to collaborate within a single NSI (statistical business staff, methodologists and ICT professionals) and across different NSIs that want to collaborate. | Согласованная семантика должна распространяться на различные дисциплины, которые нуждаются во взаимодействии в рамках одного национального статистического управления (профессиональные статистики, методологи и профессионалы в области ИКТ) и между желающими сотрудничать национальными статистическими учреждениями. |
| However, the new e-business programmes developed in the United States and the European Union have been designed separately, and - despite their important commonalities and identical basic assumptions - business processes and semantics are not aligned. | Однако новые программы электронных деловых операций разрабатывались в Соединенных Штатах и Европейском союзе изолированно друг от труда, и, несмотря на присущие им важные общие особенности и идентичные базовые допущения, сами процессы и семантика деловых операций не согласованы. |
| In treating linguistic knowledge as being a piece with everyday knowledge, the question is raised: how can cognitive semantics explain paradigmatically semantic phenomena, like category structure? | Если понимать лингвистическое знание как идентичное повседневному знанию, то встаёт вопрос: как когнитивная семантика может объяснить такие семантические парадигмы как структура языковых категорий? |
| Cognitive semantics has sought to challenge traditional theories in two ways: first, by providing an account of the meaning of sentences by going beyond truth-conditional accounts; and second, by attempting to go beyond accounts of word meaning that appeal to necessary and sufficient conditions. | Когнитивная семантика стремится бросить двойной вызов традиционным теориям: во-первых, она пытается объяснить смысл предложения способами, выходящими за границы теории явления-условия; и, во-вторых, она стремится выйти за рамки понимания смысла слова с помощью необходимых и достаточных условий. |
| Since a prerequisite for building such metadata-enabled systems is the use of a semantically rich metadata model, an example of a statistical metadata model developed under the IPIS project is illustrated using the Universal Modelling Language, while the properties and semantics of this model are further examined. | Поскольку предварительным условием построения таких оснащенных метаданными систем является использование семантически богатой модели метаданных, в качестве иллюстрации приводится пример статистических метаданных, разработанных в рамках проекта IPIS с использованием универсального языка моделирования, хотя свойства и семантика этой модели еще не полностью изучены. |
| What, Is This Semantics Here? | Это что, семантика? |
| Semantics. -No, it's not semantics. | Семантика. - Нет, это не семантика. |
| When the join point corresponds to the execution of a method, an after advice can be executed after the method returned or after raising an exception as the join point is reached, with explicit control over whether the base semantics is executed. | Если точка соединения - выполнение метода, то совет выполняется после того, как метод возвратится либо при возникновении исключения как только точка соединения достигнута, причём аспект определяет выполнится ли основная семантика. |
| Semantics provide the building blocks for features like per-user-namespace, "files as directories" and versioned file systems. | Семантика включает такие свойства как возможность использования пространства имен для каждого пользователя, "файлы как папки" и файловые системы версий. |
| It takes its semantics from a subset of the dimensions of the Dimensional Data Structure. | Ее семантика связана с подгруппой размеров в структуре размерных данных. |
| The library may be adapted to better suit the language's structure, but the operational semantics are kept similar. | Библиотека может быть адаптирована для структур языка, но семантика операций остается схожей. |
| Message syntax and semantics is defined with BEEP profiles associated to one or more BEEP channels, where each channel is a full-duplex pipe. | Синтаксис и семантика этого протокола определяются профилями ВЕЕР, соответствующим одному или нескольким каналам ВЕЕР, каждый из которых является полнодуплексным. |
| That's just semantics. | Это всего лишь семантика. |
| It's semantics, Shawn. | Это всё семантика, Шон. |
| I'm curious about Semantics. | Меня очень интересует "Семантика". |
| Semantics? really, sheriff? | Всё это семантика, Шериф. |
| Therefore, cognitive semantics studies much of the area traditionally devoted to pragmatics as well as semantics. | Таким образом, когнитивная семантика изучает многое из того, что традиционно входило в сферу прагматики, а также семантики. |
| He developed a semantics of intuitionistic logic based on Husserl's phenomenology, and this semantics was used by Arend Heyting in his own formalization. | Он разработал семантику интуиционистской логики на основе гуссерлевской феноменологии, и эта семантика впоследствии была использована Арендом Гейтингом для развития собственного подхода. |
| The main modern approaches to semantics for formal languages are the following: Model-theoretic semantics is the archetype of Alfred Tarski's semantic theory of truth, based on his T-schema, and is one of the founding concepts of model theory. | Основными современными подходами к семантике для формальных языков являются: Теоретико-модельная семантика, архетип семантики теории истинности Альфреда Тарского, основанной на его Т-схеме, является одной из ключевых концепций модельной теории. |
| The semantics were refined in 1984 (SDL-84), the textual form was introduced for machine processing and data was introduced. | В 1984 была улучшена семантика (SDL-84), а также была введена текстовая форма для машинной обработки. |