| English | Russian |
| Beginner's All-purpose Symbolic Instruction Code | Бейсик |
| bundle symbolic name | символическое имя комплекта (напр., строка в файле manifest.mf, используемая для идентификации уникального комплекта вместе с версией комплекта в среде OSGi ssn) |
| corresponding symbolic name | соответствующее символьное имя (ssn) |
| corresponding symbolic name of a variable in the application program | соответствующее символьное имя переменной в прикладной программе (ssn) |
| CTL symbolic model checking | символьная верификация моделей для CTL (Computation Tree Logic ssn) |
| CTL symbolic model checking algorithm | алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn) |
| LTL symbolic model checking | символьная верификация моделей для LTL (Linear Temporal Logic ssn) |
| LTL symbolic model checking algorithm | алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn) |
| replace magic number with symbolic constant | замена магического числа символической константой (ssn) |
| resolve symbolic names for memory locations | разрешать символические имена адресов памяти (установить соответствие между символическими именами и адресами памяти Technical) |
| String-Oriented Symbolic Language | Снобол (SNOBOL) |
| string-oriented symbolic language | язык программирования SNOBOL (ssn) |
| string-oriented symbolic language | строчно-ориентированный символический язык (сокр. SNOBOL ssn) |
| symbolic abstraction | символьная абстракция (ssn) |
| symbolic address of the timer | относительный адрес таймера (ssn) |
| symbolic address of the timer | символический адрес таймера (ssn) |
| symbolic addressing | символьная адресация (т.ж. символическая адресация; адресация памяти, использующая символьные обозначения (а не цифровой адрес). Может быть прямой и косвенной. Ассемблеры для процессоров типа Itanium не поддерживают прямую символьную адресацию ssn) |
| symbolic algebra | символьная алгебра (ssn) |
| symbolic algorithm | символьный алгоритм (ssn) |
| symbolic algorithms | символьные алгоритмы (ssn) |
| symbolic and algebraic computing | символьные и алгебраические вычисления (ssn) |
| symbolic coding | программирование на символическом языке (ssn) |
| symbolic coding | программирование на символическом псевдоязыке (ssn) |
| symbolic coding | программирование в условных адресах (ssn) |
| symbolic coding | символьное программирование (ssn) |
| symbolic constant | символьная константа (в программировании – константа, представляющая собой строку символов. Syn: string constant, character constant ssn) |
| symbolic constants | символьные константы (ssn) |
| symbolic constants | символические константы (ssn) |
| symbolic data | символьные данные (ssn) |
| symbolic debugger | отладчик на уровне исходного текста (ssn) |
| symbolic debugging | символьная отладка (в отличие от отладки в машинных адресах ssn) |
| symbolic-debugging information | информация об именах, используемых в программе, создаваемая во время компиляции в режиме отладки (ssn) |
| symbolic declaration | символическое объявление (ssn) |
| symbolic declarations | символические объявления (ssn) |
| symbolic differentiation | символьное дифференцирование (ssn) |
| symbolic evaluation operator | оператор аналитического преобразования (ssn) |
| symbolic execution | символьное выполнение (zukka) |
| symbolic execution | символическое выполнение (программы ssn) |
| symbolic expression | символьное представление (ssn) |
| symbolic expression | символьное выражение (ssn) |
| symbolic expressions | символьные выражения (ssn) |
| symbolic-form model | математическая модель (ssn) |
| symbolic-form model | символическая модель (напр., процесса мышления ssn) |
| symbolic label | символическая метка (ssn) |
| symbolic link | символическая ссылка (тип связи, позволяющий указывать файл или каталог, расположенный во внесистемном физическом ЗУ ssn) |
| symbolic link file | файл символьной ссылки (ssn) |
| symbolic link object | объект символьной ссылки (ssn) |
| symbolic logic | бессодержательная логика (ssn) |
| symbolic logic | формальная логика (ssn) |
| symbolic logic | символьная логика (ssn) |
| symbolic model | символьная модель (ssn) |
| symbolic model checker | средство символьной верификации моделей (Alex_Odeychuk) |
| symbolic model checking | символьная верификация моделей (ssn) |
| symbolic model verifier | символьный верификатор моделей (сокр. SMV ssn) |
| symbolic model-checking techniques | символьные методы верификации моделей (ssn) |
| symbolic modeling | символическое моделирование (ssn) |
| symbolic name | символьное имя (ssn) |
| symbolic name of a variable | символьное имя переменной (ssn) |
| symbolic name of a variable in the application program | символьное имя переменной в прикладной программе (ssn) |
| symbolic names associated with the register addresses | символические имена, связанные с адресами регистров (ssn) |
| symbolic names instead of variables | символические имена вместо переменных (ssn) |
| symbolic operator | символьный оператор (ssn) |
| symbolic presentation | символическое представление (ssn) |
| symbolic presentation of properties | символическое представление свойств (см. ГОСТ Р ИСО 10303-46-2002 ssn) |
| symbolic programing language | символический язык программирования (ssn) |
| symbolic programming for automatic control | символическое программирование для автоматизированных систем управления (ssn) |
| symbolic reference | символьная ссылка (ssn) |
| symbolic substitution | символическая подстановка (ssn) |
| symbolic system | система символов (ssn) |
| symbolic translator | транслятор для задач символьной обработки (ssn) |
| symbolic variable | символическая переменная (ssn) |
| symbolic variables | символические переменные (ssn) |
| systems variables and their corresponding symbolic constants | системные переменные и соответствующие им символьные константы (ssn) |
| use of symbolic declarations | использование символических объявлений (ssn) |
