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