En İyi Sorular
Zaman Çizelgesi
Sohbet
Bakış Açıları
Lamda kalkülüs
Vikipedi'den, özgür ansiklopediden
Remove ads
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. |
Remove ads
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads