правила подстановки
1Принцип подстановки Барбары Лисков — (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе под названием Абстракция данных и… …
2Принцип подстановки Лисков — Принцип подстановки Барбары Лисков (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе… …
3ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… …
4ЛОГИКА КОМБИНАТОРНАЯ — одно из направлений логики, занимающихся ее основаниями, т.е. такими осн. понятиями и методами, к рые при построении формальных логич. систем или исчислений предполагаются обычно не нуждающимися в пояснениях (содержательно понятными) и не… …
5Дедукция — (от лат. deductio выведение) переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений посылок к …
6логика комбинаторная — (от лат. combinare соединять, сочетать) одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения (напр., понятия переменная , функция ,… …
7АКСИОМ СХЕМА — единый способ задания аксиом, обладающих одной и той же синтаксич. структурой. Конкретная А. с. обычно реализуется при помощи фиксирующего ее синтаксич. структуру выражения (чаще всего не принадлежащего языку, в к ром записываются аксиомы) и… …
8Простая литорея — Литорея (от littera)  тайнописание, род шифрованного письма, употреблявшегося в древнерусской рукописной литературе. Известна литорея двух родов: простая и мудрая. Простая, иначе называемая тарабарской грамотой, заключается в следующем:… …
9СОВМЕСТИМОСТЬ — свойство дедуктивных (в частности, формальных) теорий и отд. их предложений (соответственно формул) или множеств предложений (формул). Предложение дедуктивной теории наз. совместимым с постулатами (аксиомами и правилами вывода) этой теории, если… …
10МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА — математическая дисциплина, предметом к рой является разработка и изучение понятий, образующих основу формального аппарата для описания строения естественных языков (т. е. метаязыка лингвистики). Возникновение М. л. можно отнести приблизительно к… …