Lamda kalkülüs
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.
| 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ı | |||||||||||||||||||||||||||||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.