семантика

Как уже указывалось, семантика языка первого порядка состоит из универсума и содержательного смысла каждого нелогического символа.

As already indicated, a meaning for a first-order language consists of a universe and a meaning of the appropriate sort for each nonlogical symbol.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Конечно, большинство наших языков будут иметь определенную семантику (возможно, не единственную), но эта семантика не считается частью языка.

Of course, most of our languages will have a meaning (or several meanings); but the meaning is not considered to be a part of the language.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

приложения (семантика и управление приложениями MIDP);

application (MIDP application semantics and control)

Пирумян, Вартан / Платформа программирования J2ME для портативных устройствPiroumian, Vartan / Wireless J2ME™ Platform Programming

Wireless J2ME™ Platform Programming

Piroumian, Vartan

© 2002 Sun Microsystems, Inc.

Платформа программирования J2ME для портативных устройств

Пирумян, Вартан

© НОУ "ОЦ КУДИЦ-ОБРАЗ", 2003

Семантика команд

Command Semantics

Пирумян, Вартан / Платформа программирования J2ME для портативных устройствPiroumian, Vartan / Wireless J2ME™ Platform Programming

Wireless J2ME™ Platform Programming

Piroumian, Vartan

© 2002 Sun Microsystems, Inc.

Платформа программирования J2ME для портативных устройств

Пирумян, Вартан

© НОУ "ОЦ КУДИЦ-ОБРАЗ", 2003

Семантика блокировки на уровне объектов.

Object-level locking semantics.

Александреску, Андрей / Современное проектирование на C++Alexandrescu, Andrei / Modern C++ Design: Generic Programming and Design Patterns Applied

Modern C++ Design: Generic Programming and Design Patterns Applied

Alexandrescu, Andrei

© 2001 by Addison-Wesley

Современное проектирование на C++

Александреску, Андрей

© Addison-Wesley Publishing Company, Inc.

© Издательский дом "Вильямс", 2002

Интерфейс StreamConnection извлекает подробную информацию о механизме соединения - протоколе, используемом в реализации определенного типа соединения, а также его синтаксисе и семантике.

The StreamConnection interface abstracts the details of the connection mechanism—the protocol used in an implementation of a particular type of connection, and its syntax and semantics.

Пирумян, Вартан / Платформа программирования J2ME для портативных устройствPiroumian, Vartan / Wireless J2ME™ Platform Programming

Wireless J2ME™ Platform Programming

Piroumian, Vartan

© 2002 Sun Microsystems, Inc.

Платформа программирования J2ME для портативных устройств

Пирумян, Вартан

© НОУ "ОЦ КУДИЦ-ОБРАЗ", 2003

Если отбросить семантику, останется одно обстоятельство.

Semantics aside, one fact remains.

Лаундес, Лейл / Как влюбить в себя любогоLowndes, Leil / How to Make Anyone Fall in Love with You

How to Make Anyone Fall in Love with You

Lowndes, Leil

© 1995 by Debra McCarthy-Anderson and Carol Bruce-Thomas

© 1996 by Leil Lowndes

Как влюбить в себя любого

Лаундес, Лейл

© Leil Lowndes, 1996

© «Добрая книга», 2001 - Перевод и оформление

Стандарт ANSI проясняет еще и семантику не инициализируемых явно объединений.

Besides allowing unions to be explicitly initialized in at least a primitive way, this ansi rule makes definite the semantics of static unions not explicitly initialized.

Керниган, Б.,Ритчи, Д. / Язык программирования СиKernighan, Brian W.,Ritchie, Dennis M. / The C Programming Language

The C Programming Language

Kernighan, Brian W.,Ritchie, Dennis M.

© 1988, 1978 by Bell Telephone Laboratories, Incorporated

Язык программирования Си

Керниган, Б.,Ритчи, Д.

© 1998,1978 by Bell Telephone Laboratories, Incorporated

© "Невский Диалект", 2001

Рассмотрели синтаксис, семантику и использование таких таблиц.

We reviewed the syntax, semantics, and usage of these types of tables.

Кайт, Том / Oracle для профессионаловKyte, Tom / Expert One-on-One Oracle

Expert One-on-One Oracle

Kyte, Tom

© Wrox Press Ltd, 2002

Oracle для профессионалов

Кайт, Том

© Перевод на русский язык. ООО «ДиаСофтЮП», 2003

© Wrox Press Ltd, 2002

Интеллектуальные указатели, обладающие семантикой разрушающего копирования, являются единственным стандартом. Это значит, что многие программисты рано или поздно станут их использовать.

Smart pointers with destructive copy semantics are the only smart pointers that the standard provides, which means that many programmers will get used to their behavior sooner or later.

Александреску, Андрей / Современное проектирование на C++Alexandrescu, Andrei / Modern C++ Design: Generic Programming and Design Patterns Applied

Modern C++ Design: Generic Programming and Design Patterns Applied

Alexandrescu, Andrei

© 2001 by Addison-Wesley

Современное проектирование на C++

Александреску, Андрей

© Addison-Wesley Publishing Company, Inc.

© Издательский дом "Вильямс", 2002

Используя интеллектуальный указатель на объект класса Printer, мы обнаруживаем его странную синтаксическую схожесть с конструкциями, имеющими совершенно иную семантику.

As you use a smart pointer to Printer, you may notice a strange syntactical closeness to things that are very far apart semantically.

Александреску, Андрей / Современное проектирование на C++Alexandrescu, Andrei / Modern C++ Design: Generic Programming and Design Patterns Applied

Modern C++ Design: Generic Programming and Design Patterns Applied

Alexandrescu, Andrei

© 2001 by Addison-Wesley

Современное проектирование на C++

Александреску, Андрей

© Addison-Wesley Publishing Company, Inc.

© Издательский дом "Вильямс", 2002

Эта проблема - из области семантики.

The problem is one of semantics.

ДиНаполи, Джо / Торговля с использованием уровней ДиНаполи.DiNapoli, Joe / Trading with DiNapoli Levels

Trading with DiNapoli Levels

DiNapoli, Joe

© 1998, Coast Investment Software, Inc. and Joe DiNapoli

Торговля с использованием уровней ДиНаполи.

ДиНаполи, Джо

© 1998 Coast Investment Software, Inc. and Joe DiNapoli

© Перевод на русский язык, оформление «ИК«Аналитика», 2001

Например, сама сетевая служба не определена, нет определения синтаксиса или семантики сообщения протокола уровня приложений.

For instance, the networking service itself is undefined; there's no definition of the application-level protocol message syntax or semantics.

Пирумян, Вартан / Платформа программирования J2ME для портативных устройствPiroumian, Vartan / Wireless J2ME™ Platform Programming

Wireless J2ME™ Platform Programming

Piroumian, Vartan

© 2002 Sun Microsystems, Inc.

Платформа программирования J2ME для портативных устройств

Пирумян, Вартан

© НОУ "ОЦ КУДИЦ-ОБРАЗ", 2003

Интересно, что здесь нельзя применить семантику захвата объектов.

Interestingly enough, we cannot apply object-level locking semantics here.

Александреску, Андрей / Современное проектирование на C++Alexandrescu, Andrei / Modern C++ Design: Generic Programming and Design Patterns Applied

Modern C++ Design: Generic Programming and Design Patterns Applied

Alexandrescu, Andrei

© 2001 by Addison-Wesley

Современное проектирование на C++

Александреску, Андрей

© Addison-Wesley Publishing Company, Inc.

© Издательский дом "Вильямс", 2002

Такие изменения могут создать для существующих приложений значительную несовместимость и усложнить жизнь для разработчиков приложений, которые могут не знать о различной семантике безопасности на различных системах.

These changes can introduce significant incompatibility for existing applications and make life more difficult for application developers who may not be aware of differing security semantics on different systems.

МакКузик, Маршалл Кирк,Невилл-Нил, Джордж В. / FreeBSD: архитектура и реализацияMcKusick, Marshall Kirk,Neville-Neil, George V. / The design and implementation of the FreeBSD operating system

The design and implementation of the FreeBSD operating system

McKusick, Marshall Kirk,Neville-Neil, George V.

© 2005 by Pearson Education, Inc.

FreeBSD: архитектура и реализация

МакКузик, Маршалл Кирк,Невилл-Нил, Джордж В.

© 2005 by Pearson Education, Inc.

© Перевод «ИД КУДИЦ-ОБРАЗ», 2006