семантическая эквивалентность
1семантическая эквивалентность производного и производящего — наблюдается: 1) при образовании усеченных слов: специалист спец; 2) при образовании аббревиатур …
2семантическая эквивалентность производного и производящего наблюдается: — 1) при образовании усеченных слов: специалист – спец; 2) при образовании аббревиатур …
3Синонимия — (от греч. συνωνυμία одноимённость) тип семантических отношений языковых единиц, заключающийся в полном или частичном совпадении их значений. Синонимия свойственна лексической, фразеологической, грамматической, словообразовательной системам… …
4Исчисление общающихся систем — Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS)  это исчисление процессов, введённое Робином Милнером около 1980, и название его книги, описывающей это исчисление. Исчисление работает с моделью… …
5Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике  исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… …
6ТОРМОЖЕНИЕ — 1. Ограничение, предотвращение, подавление, уменьшение или запрещение какого то процесса, или процесс, который вызывает такое ограничение. Несколько более специальное значение 2. 2. В физиологии – сдерживание текущего органического процесса или… …
7КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …
8ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …
9ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …
10Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …
- 1
- 2