Типізоване лямбда-числення — це система лямбда-числення, у якій кожний вислів має тип. У цьому контексті тип — це формула певної системи числення, як-от (інтуїціоністської) пропозиційної логіки або логіки першого порядку. Типізоване Лямбда-числення з простими типами (де типи — це формули імплікаційного фрагменту інтуїціоністської логіки) має застосування на практиці в функціональних мовах програмування, як от Haskell. Складніші типізовані системи є важливими для вивчення загальних характеристик обчислюваності та у сфері автоматиції автоматичних доведень.
Див. також
Посилання
Ця стаття не містить . (грудень 2015) |
Цю статтю треба для відповідності Вікіпедії. (січень 2016) |
![]() | Це незавершена стаття про інформаційні технології. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Tipizovane lyambda chislennya ce sistema lyambda chislennya u yakij kozhnij visliv maye tip U comu konteksti tip ce formula pevnoyi sistemi chislennya yak ot intuyicionistskoyi propozicijnoyi logiki abo logiki pershogo poryadku Tipizovane Lyambda chislennya z prostimi tipami de tipi ce formuli implikacijnogo fragmentu intuyicionistskoyi logiki maye zastosuvannya na praktici v funkcionalnih movah programuvannya yak ot Haskell Skladnishi tipizovani sistemi ye vazhlivimi dlya vivchennya zagalnih harakteristik obchislyuvanosti ta u sferi avtomaticiyi avtomatichnih doveden Div takozhSistema FPosilannyaCya stattya ne mistit posilan na dzherela Vi mozhete dopomogti polipshiti cyu stattyu dodavshi posilannya na nadijni avtoritetni dzherela Material bez dzherel mozhe buti piddano sumnivu ta vilucheno gruden 2015 Cyu stattyu treba vikifikuvati dlya vidpovidnosti standartam yakosti Vikipediyi Bud laska dopomozhit dodavannyam dorechnih vnutrishnih posilan abo vdoskonalennyam rozmitki statti sichen 2016 Ce nezavershena stattya pro informacijni tehnologiyi Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi