Lamda kalkülüs
| 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 taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
