Лямбда-ларар
Ля́мбда-лара (λ-ларар) — америкин математико Чёрч Алонзос, ларадаларан кхетамна формализаци а, анализ а ярхьама, кхоьллина формалан система.
ЦӀена λ-ларар
бӀаьра нисйанЦӀена λ-ларар, термаш, цунах кхин а олу объекташ («обаш»), я λ-термаш, хиттийна еккъа хийцалуш йолчу аппликаци а, абстракци а лелош. Юьхьанца цхьан констант а хилар дуьцуш а дац.
Аппликаци а, абстракци а
бӀаьра нисйанλ-лараран бухе йиллина шиъ фундаментан операци:
- Аппликаци (лат. applicatio — тӀедилла, тӀехоттар) деллачу терхьийна хьалха функци лелор я кхайкхар бохург ду. Иза билгалдоккху
,
— функци ю, ткъа
— аргумент ю. Иза догӀу массара а математикехь тӀеэцнадолчу яздарца
, иза а наггахь лелош ду, амма λ-ларарна коьрта ду,
алгоритм маьӀнехь ларар, лоруш долу жамӀ деллачу чудогӀучу терахьца. Оцу маьӀнехь аппликаци
тӀиера
тӀе ган тарло шалха: цхьаъ — жамӀ лелор
тӀиера
тӀе, шиъ —
лараран процесс санна. ТӀаьххьара аппликацин интерпретаци йоьзна ю β-редукци кхетамах.
- Абстракцино я λ-абстракцино (лат. abstractio — тергояйар, дӀакъастар) шен агӀора функцеш хиттайо деллачу терхьашца. Мадарра, нагахь
— терахь делахь, паргӀата
юкъахь долуш, тӀаккха
яздаран маьӀна ду:
функци
аргументах, цуьнан ю
кеп, цуо гойту
функци. Иштта, абстракцин гӀоьнца мега керла функцеш кхолла. Оьшург,
паргӀата юкъадахар
, доккха хьесап долуш дац — тоьуш ду дагахь хилар,
, нагахь иза иштта дацахь.
🔥 Top keywords: Коьрта агӀоВикипеди:ФорумВикипеди:Администраторийн форумШолгӀа дуьненан тӀомВикипедиВикипеди:Цуьнах лаьцнаКов:Карара хилларшГӀирс:ЛахарНохчийн мотт.neВикипеди:ГӀоВикипеди:Йукъараллин ковЭджворт (Пенсильвани)НухьТаьӀна-цӀенВикипеди:Категорешца лахарВикипеди:File Upload WizardНохчийчоьВикипеди:Элпнашца гайтарЦийн Халкъан РеспубликаГӀирс:Керла нисдаршРоссиМежиева, Макка ШахидовнаMediaWikiВикипеди:Хаьржина йаззамашВикипеди:Массо а маттахь хилайеза агӀонашHTMLАмерикин Цхьаьнатоьхна ШтаташКриштиану РоналдуСагаипова, Макка УмаровнаВикипеди:Жоьпалла тӀецалацарМонтгӀей (ЭгӀ а, ЛуагӀ а)СалихьМаьрша гӀирсашАтертон (Калифорни)Ислам18 июньЭсватиниНадир Салифов