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.
 | Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
