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, 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. |
