Lamda kalkülüs
Görünüm
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.
![]() | Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |