подстановка вместо
Смотреть что такое "подстановка вместо" в других словарях:
Подстановка — Это статья о подстановке как о синтаксической операции над термами. Возможно, вас интересует перестановка. В математике и компьютерных науках подстановка это операция синтаксической замены подтермов данного терма другими термами, согласно… … Википедия
СВЯЗАННАЯ ПЕРЕМЕННАЯ — связанное вхождение переменной, тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка свое и зависит от правил образования этого языка. Вместо С. н. нельзя подставлять объекты. Такая подстановка… … Математическая энциклопедия
СИНЕКДОХА — (греч., synecdoche понятливость). В стилистике: троп, состоящий в переносном употреблении слов по количеству, напр. поставление целого, вместо части, и наоборот; напр. купить лисицу вместо лисий мех, куплено столько то голов скота вместо целых… … Словарь иностранных слов русского языка
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Отношение (логика) — У этого термина существуют и другие значения, см. Отношение. Отношение в логике первого порядка двух и более аргументный предикат (многоместный предикат), двух и более предикатное свойство. Знак отношения: R.[уточнить] В терминах отношений… … Википедия
АЛГЕБРА АБСТРАКТНАЯ — (общая алгебра), раздел современной математики, выросший из исследования уравнений и теории чисел. Свою теперешнюю форму абстрактная алгебра начала приобретать лишь в двадцатом веке. Занимается главным образом изучением систем, элементы которых… … Энциклопедия Кольера
КВАЗИГРУППА — множество с одной бинарной операцией (наз. обычно умножением), в к ром каждое из уравнений ах=Ь и уа=Ь имеет единственное решение для любых элементов а, b этого множества. К. с единицей наз. лупой. К. естественное обобщение понятия группы. К.… … Математическая энциклопедия
Шифрование в аналоговой телефонии — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. Существуют два класса систем связи: цифровые и аналоговые … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
IDEA — У этого термина существуют и другие значения, см. IDEA (значения). IDEA, International Data Encryption Algorithm … Википедия
замена — Вознаграждение, возмещение, выкуп, воздаяние, субститут, суррогат. ... .. Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. замена вознаграждение, возмещение, выкуп, воздаяние, субститут,… … Словарь синонимов
