Lamda kalkülüs
Fonksiyon |
---|
Fonksiyon kavramının tarihi |
Tanım ve değer kümelerine göre |
Sınıflarına/özelliklerine göre |
|
Yapılarına göre |
Genellemelere göre |
|
Özel fonksiyonların listesi |
Lamda kalkülüs (λ-calculus), herhangi bir tek bantlı Turing makinesini simule edebilen evrensel bir hesaplama modelidir. Soyutlama ve işlev çağırmaya dayanmaktadır. Matematikçi Alonzo Church tarafından 1930'larda matematiğin temelleri üzerine bir araştırma olarak ortaya koyulmuştur.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.