Lamda kalkülüs
Gezinti kısmına atla
Arama kısmına atla
 | Bu madde herhangi bir kaynak içermemektedir. (Şubat 2017) |
| Fonksiyon | |||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| x ↦ f (x) | |||||||||||||||||||||||||||||
| tanım ve değer kümesine göre | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
| Sınıflar/özellikler | |||||||||||||||||||||||||||||
| Sabit · Birim · Doğrusal · Polinom · Rasyonel · Cebirsel · Analitik · Yumuşak · Sürekli · Ölçülebilir · Birebir · Örten · Birebir örten | |||||||||||||||||||||||||||||
| Yapılar | |||||||||||||||||||||||||||||
| Kısıtlama · Bileşim · λ · Terslik | |||||||||||||||||||||||||||||
| Genellemeler | |||||||||||||||||||||||||||||
| Parçalı · Çokdeğerli · Kapalı | |||||||||||||||||||||||||||||
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 bir taslaktır. Madde içeriğini geliştirerek Vikipedi'ye katkıda bulunabilirsiniz. |
