Абстракції оператор

Абстра́кції опера́тор, оператор функціональної абстракції, ламбда-оператор (λ-оператор) — операція над виразами, яка дає змогу відрізняти функцію як абстрактний об'єкт від будь-якого елементу з інтервалу значень цієї функції; позначається символом λ з подальшим приписуванням змінних. Нехай, наприклад, φ є функцією двох змінних. Якщо немає потреби розрізняти цю функцію і довільний елемент з інтервалу її значень, то їх обох позначають однаково: φ (x, y). Користуючись λ-оператором, можна розрізняти:

  • φ (x, y) — довільний елемент з інтервалу значень функції φ;
  • λxφ (x, y) — сімейство функцій однієї змінної, залежне від параметра x;
  • λxyφ (х, у) — функцію двох змінних, з яких x — перша, а y — друга;
  • λyxφ (x, y) — функцію двох змінних, з яких першою є y, а другою x і т. д.

Ідею оператора абстракції висунув американський математик і логік А. Черч для перетворення висловлювань, пропозиційних функцій на складні імена абстрактних об'єктів (класів функцій) з метою усунення, зокрема, парадоксів найменування (див. Ім'я в логіці, Логічні операції, Абстракція). Теорію ламбда-перетворень (λ-конверсій) розглядають як частину комбінаторної логіки.

Література

Див. також

Read other articles:

دوري الدرجة الأولى الروماني 1921–22

دوري الدرجة الأولى الروماني 1921–22 تفاصيل الموسم دوري الدرجة الأولى الروماني  النسخة 10  البلد رومانيا  التاريخ بداية:أغسطس 1922  نهاية:17 سبتمبر 1922  المنظم اتحاد رومانيا لكرة القدم  البطل نادي تشينزول تيميشوارا  عدد المشاركين 7   دوري الدرجة الأولى الرومان�...

 

Serie B 2007-2008

Disambiguazione – Se stai cercando altri significati, vedi Serie B 2007-2008 (disambigua). Serie B 2007-2008Serie B TIM 2007-2008 Competizione Serie B Sport Calcio Edizione 76ª Organizzatore Lega Calcio Date dal 25 agosto 2007al 1º giugno 2008 Luogo  Italia Partecipanti 22 Formula girone unico, play-off e play-out Risultati Vincitore Chievo(1º titolo) Altre promozioni BolognaLecce Retrocessioni (le squadre scritte in corsivo sono poi state ripescate)AvellinoRavennaSpeziaCes...

 

الدوري الجورجي الممتاز 1992–93

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (نوفمبر 2019) الدوري الجورجي الممتاز 1992–93 تفاصيل الموسم الدوري الجورجي الممتاز  النسخة 4  البلد جورجيا  التاري...

اتساع الأمم المتحدة

خريطة للدول الأعضاء الحالية في الأمم المتحدة حسب سنوات قبولهم.  1945 (الأعضاء الأصليين)   1946 - 1959   1960 - 1989   1990 - حتى الأن   الدول المراقبة غير الأعضاء مصطلح اتساع منظمة الأمم المتحدة معني بعدد أعضاء الأمم المتحدة منذ نشأتها وحتى يوم 16 أبريل 2024، والتي تض�...

 

2011–12 EWHL Super Cup

2011-12 EWHL Super CupTournament detailsDates3 September 2011 – 29 February 2012Teams5Final positionsChampions  ESC Planegg/Würmtal (1st title)Runner-up  ZSC LionsThird place  HC Slovan BratislavaTournament statisticsGames played102012–13 → The 2011–12 EWHL Super Cup was the first edition of the EWHL Super Cup, a women's ice hockey tournament organized by the Elite Women's Hockey League (EWHL). The top two teams from the previous season in the Elite Women...

 

Chau Say Tevoda

Archaeological site in Cambodia Chau Say TevodaEntire view of Chau Say Tevoda templeReligionAffiliationHinduismProvinceSiem ReapDeityShiva and VishnuLocationLocationAngkorCountryCambodiaLocation in CambodiaGeographic coordinates13°26′43″N 103°52′40″E / 13.4454°N 103.8778°E / 13.4454; 103.8778ArchitectureTypeKhmer (Angkor Wat style)CreatorSuryavarman II, continued by Yasovarman II, additions by Jayavarman VIIICompletedmid-12th century Chau Say Tevoda (Khmer:...

Кранах, Лукас (Старший)

В Википедии есть статьи о других людях с такой фамилией, см. Кранах; Кранах, Лукас. Лукас Кранах Старшийнем. Lucas Cranach der Ältere Автопортрет. 1550Уффици, Флоренция Имя при рождении Лукас Зундер Дата рождения 4 октября 1472[1][2][…] Место рождения Кронах, Верхняя Франкония...

 

Hå

Lambang kotamadya Untuk kegunaan lain, lihat Ha. Hå adalah sebuah kotamadya di provinsi Rogaland, Norwegia. Desa-desa utamanya ialah Nærbø, Varhaug dan Vigrestad, yang berhubungan dengan 3 kotamadya sebelumnya yang bergabung menjadi Hå. Dalam politik setempat, pembagian antara ketiga bekas kotamadya itu amat terlihat. Nama Kotamadya ini dinamai menurut pertanian kuno Hå (Norse Háar). Arti nama itu tidak diketahui. Lambang Lambangnya berasal dari masa modern (1991). Pantai berpasir di Og...

 

2K12 Kub

SA-6 redirects here. For the Apollo flight, see AS-101. 2K12 redirects here. For other uses, see 2K12 (disambiguation). Tracked medium-range surface-to-air missile system 2K12 “Kub” NATO reporting name: SA-6 Gainful 2P25 TEL with missiles elevated (2K12 Kub SAM of Serbian 250th Air Defence Missile Brigade)TypeTracked medium-range surface-to-air missile systemPlace of originSoviet UnionService historyIn service1967–presentUsed bySee list of operatorsWars List Yom Kipp...

Повітряні сили Збройних сил України

Ця стаття потребує додаткових посилань на джерела для поліпшення її перевірності. Будь ласка, допоможіть удосконалити цю статтю, додавши посилання на надійні (авторитетні) джерела. Зверніться на сторінку обговорення за поясненнями та допоможіть виправити недоліки. Мат...

 

Saison 1994 de l'ATP

Cet article traite de la saison 1994 masculine. Pour la saison 1994 féminine, voir Saison 1994 de la WTA. Article principal : ATP World Tour. Cet article est une ébauche concernant le tennis. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Saison 1994 de l'ATP Généralités Durée de la saison Du 3 janvier 1994au 13 décembre 1994 Nombre de tournois ? No1 en simple Pete Sampras No1 en double Jacco El...

 

Gentle Ben

Bear character featured in American television series Dust jacket of the original 1965 E.P. Dutton edition of Gentle Ben by Walt Morey Gentle Ben is a bear character created by author Walt Morey and first introduced in a 1965 children's novel, Gentle Ben.[1][2] The original novel told the story of the friendship between a large male bear named Ben and a boy named Mark. The story provided the basis for the 1967 film Gentle Giant, the popular late 1960s U.S. television series Ge...

Причитания

Мать плачет, сидя на сундуке с приданным дочери. Беломорская Карелия, 1894 В. М. Васнецов. «Тризна по Олегу», 1899 год. Причита́ние (при́чет, причёт, причеть, заплачка, плач, вой, вытье, вопли, голосьба, голоше́ние) — жанр обрядового фольклора, характерный для многих мировых ку�...

 

托克勞人

托克勞人是主要分布於南太平洋托克勞島上的民族，托克勞島由阿塔富、努庫諾努及法考福所組成。托克勞人多說托克勞語、英語及薩摩亞語。從十九世紀末期，因受外來殖民影響，後多信仰基督教、天主教，影響其社會風俗。近年來因追求更好的生活品質，托克勞人大舉遷移至新西兰。 托克勞人托克勞自治區旗幟總人口8512分佈地區托克勞，紐西蘭語言英語，托克勞語，薩...

 

Vengeur-class ship of the line

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (February 2013) (Learn how and when to remove this message) HMS Asia Class overview NameVengeur Operators Royal Navy Preceded bySwiftsure class Succeeded byBlack Prince class In service2 May 1809 – 1957 Completed40 General characteristics TypeShip of the line Length ...

Lincoln in the White House

1939 film directed by William C. McGann Lincoln in the White HouseFrank McGlynn Sr. (right) asLincoln in the 1939 shortDirected byWilliam McGann[1]Written byCharles TedfordStarringFrank McGlynn, Sr.Dickie MooreCinematographyWilfred M. Cline[2]Natalie Kalmus[1] (color)Edited byEverett DoddMusic byHoward Jackson(uncredited)ProductioncompanyWarner Bros.Distributed byWarner Bros.Release date February 11, 1939 (1939-02-11) Running time21 minutesCountryUnited ...

 

FA Cup 1919-1920

FA Cup 1919-1920 Competizione FA Cup Sport Calcio Edizione 45ª Organizzatore FA Date dal 13 settembre 1919al 24 aprile 1920 Luogo  Inghilterra Partecipanti 64 Formula Eliminazione diretta Risultati Vincitore  Aston Villa(6º titolo) Secondo  Huddersfield Town Semi-finalisti  Bristol City Chelsea Cronologia della competizione 1914-1915 1920-1921 Manuale La FA Cup 1919-1920 fu la quarantacinquesima edizione del torneo calcistico più vecchio del mondo, la prim...

 

Vice President of Yugoslavia

Politics of Yugoslavia Constitution 1921 1931 1946 1953 1963 1974 ExecutiveLegislative Head of StateDeputy Head of State President (1953–80) Vice President (1963–67) Presidency (1971–91) President of the Presidency (1980–91) Vice President of the Presidency (1971–91) Members Government (1918–53) Prime MinisterDeputy Prime Minister Assembly (list) President Federal Executive Council (1953–92) President (1963–92) Federal Council for Protection of the Constitutional Order (1975�...

Henry S. Geyer

American politician Henry S. GeyerUnited States Senatorfrom MissouriIn officeMarch 4, 1851 – March 3, 1857Preceded byThomas Hart BentonSucceeded byTrusten PolkMember of the Missouri House of RepresentativesIn office1820-18241834-1835 Personal detailsBornHenry Sheffie Geyer(1790-12-09)December 9, 1790Frederick, MarylandDiedMarch 5, 1859(1859-03-05) (aged 68)St. Louis, MissouriPolitical partyWhig, OppositionProfessionPolitician, LawyerMilitary serviceBranch/serviceUnited States ArmyY...

 

أنور خوجة

أنور خليل خوجة (بالألبانية: Enver Halil Hoxha)‏  سكرتير الحزب الشيوعي الالباني في المنصبنوفمبر 1941 – ابريل 1985 لا أحد رامز علياء الرئيس الاول لمجلس جمهورية البانيا في المنصبأكتوبر 1944 – تموز 1954 إبراهيم بيكاكسي كـ رئيس وزراء البانيا محمد شاهو معلومات شخصية الميلاد 16 أكتوبر 19...