Оператор абстракції – це
ОПЕРАТОР АБСТРАКЦІЇ — оператор функціональної абстракції, λ про пе р а т о р, – логічний символ [знак λ, після якого ставиться змінна (змінні) ], що служить для вираження операції абстрагування функції (в т.ч. ч. логічні функції, або предикату) як особливого ... ... Філософська енциклопедія
АБСТРАКЦІЯ - (від лат. abstractio відволікання, відділення) процес уявного відволікання одних властивостей і відносин речей та явищ від інших. А. ототожнення виділяє загальну властивість об'єктів шляхом встановлення відношення еквівалентності чи рівності між ними… Філософська енциклопедія
ІЗОЛЮЮЧА АБСТРАКЦІЯ - уявне виділення словесно позначається отд. ознаки к. л. предмета або предметів, що відповідає тому чи іншому їх властивості або їх відношенню до інших предметів; при цьому виділена ознака мислиться ізольованим від ін. ознак, що охоплюють …
ФОРМАЛЬНА ЛОГІКА - наука, що займається аналізом структури висловлювань і доказів, що звертає основну увагу на форму відволікання від змісту. Визначення «формальна» було запроваджено І. Кантом із наміром підкреслити провідну особливість Ф.Л. у підході до … … Філософська енциклопедія
ЛОГІКА В УКАЇНІ - еволюція сучасної (математичної) логіки в УКАЇНІ. Кін. 19 ст. та поч. 20 ст. знаменують вихід логіки за рамки силлогістики та поява логіків новаторів, таких як П.С. Порецький, М.В. Карінський, Л.В. Рутковський, СІ. Поварнін, та ін Казанський ... ... Філософська енциклопедія
Лямбда-обчислення - (λ обчислення) формальна система, розроблена американським математиком Алонзо Черчем, для формалізації та аналізу поняття обчислюваності. λ обчислення може розглядатися як сімейство прототипних мов програмування. Їхня основна… …Вікіпедія
Λ-обчислення — Лямбда обчислення (λ обчислення, лямбда обчислення) формальна система, розроблена американським математиком Алонзо Черчем, для формалізації та аналізу поняття обчислюваності. λ обчислення може розглядатися як сімейство прототипних мов.
Ламбда-обчислення — Лямбда обчислення (λ обчислення, лямбда обчислення) формальна система, розроблена американським математиком Алонзо Черчем, для формалізації та аналізу поняття обчислюваності. λ обчислення може розглядатися як сімейство прототипних мов.
Лямбда обчислення - (λ обчислення, лямбда обчислення) формальна система, розроблена американським математиком Алонзо Черчем, для формалізації та аналізу поняття обчислюваності. λ обчислення може розглядатися як сімейство прототипних мов програмування. Їх… … Вікіпедія
ОПИС ОПЕРАТОРЫ - (оператори дескрипції) - логіч. оператори, за допомогою яких вводяться в розгляд т.зв. описи (описові визначення) – мовні конструкції (вирази), які відіграють роль прив. імен (на додаток до власних імен, що входять у … …